로버트 솔로베이
둘러보기로 이동
검색으로 이동
틀:위키데이터 속성 추적 틀:Infobox scientist
로버트 마틴 솔로베이(틀:Llang 틀:IPA2, 1938–)는 미국의 수학자이다. 집합론에 공헌하였다.
생애
1938년 뉴욕 브루클린에서 태어났다. 시카고 대학교에서 1964년에 손더스 매클레인 아래 박사 학위를 수여받았다. 이후 캘리포니아 대학교 버클리에서 교수로 있다.
주요 업적
솔로베이의 주요 업적으로는 다음을 들 수 있다.
- 솔로베이 정리: 만약 도달 불가능한 기수가 존재한다면, 체르멜로-프렝켈 집합론 + "모든 실수 집합은 르베그 가측 집합"은 무모순적이다.
- 의 정의
- 가측 기수의 존재는 실수값 가측 기수(틀:Llang)의 존재와 등무모순적이다.
- 강콤팩트 기수보다 더 큰 기수에 대하여 특이 기수 가설이 성립한다.
- 수슬린 가설이 선택 공리를 추가한 체르멜로-프렝켈 집합론과 등무모순적이다.
- 솔로베이-스트라센 소수판별법(틀:Llang)