로버트 솔로베이

로버트 마틴 솔로베이(영어: Robert Martin Solovay IPA: [ˈrɒbə(r)t ˈmɑː(r)tɪn ˈsoʊloʊveɪ], 1938–)는 미국의 수학자이다. 집합론에 공헌하였다.

로버트 마틴 솔로베이 영어: Robert Martin Solovay
솔로베이 (1972년 사진, 조지 버그먼(영어: George Bergman) 촬영)
출생	1938년 12월 15일(1938-12-15)(85세) 미국 뉴욕 브루클린
국적	미국
교육	시카고 대학교
출신 학교	시카고 대학교
주요 업적	수슬린 가설의 독립성 반복 강제법 강콤팩트 기수 이상에서의 특이 기수 가설
수상	Paris Kanellakis Award (2003)
분야	수학
소속	캘리포니아 대학교 버클리
박사 지도교수	손더스 매클레인
기타 지도교수	손더스 매클레인
박사 지도학생	윌리엄 휴 우딘
유명한 학생	윌리엄 휴 우딘

생애

1938년 뉴욕 브루클린에서 태어났다. 시카고 대학교에서 1964년에 손더스 매클레인 아래 박사 학위를 수여받았다. 이후 캘리포니아 대학교 버클리에서 교수로 있다.

주요 업적

솔로베이의 주요 업적으로는 다음을 들 수 있다.

• 솔로베이 정리: 만약 도달 불가능한 기수가 존재한다면, 체르멜로-프렝켈 집합론 + "모든 실수 집합은 르베그 가측 집합"은 무모순적이다.
• $0^{\#}$의 정의
• 가측 기수의 존재는 실수값 가측 기수(영어: real-valued measurable cardinal)의 존재와 등무모순적이다.
• 강콤팩트 기수보다 더 큰 기수에 대하여 특이 기수 가설이 성립한다.
• 수슬린 가설이 선택 공리를 추가한 체르멜로-프렝켈 집합론과 등무모순적이다.
• 솔로베이-스트라센 소수판별법(영어: Solovay–Strassen primality test)

주요 논문

• Solovay, Robert M. (1970). “A model of set-theory in which every set of reals is Lebesgue measurable”. 《Annals of Mathematics. Second Series》 92 (1): 1–56. doi:10.2307/1970696. 
• Solovay, Robert M. (1967). “A nonconstructible Δ¹₃ set of integers”. 《Transactions of the American Mathematical Society》 (American Mathematical Society) 127 (1): 50–75. doi:10.2307/1994631. JSTOR 1994631. 
• Solovay, Robert M.; Volker Strassen (1977). “A fast Monte-Carlo test for primality”. 《SIAM Journal on Computing》 6 (1): 84–85. doi:10.1137/0206006. 

외부 링크

• “Robert M. Solovay's home page” (영어). 
• Lipton, Richard J. (2009년 5월 21일). “I hate oracle results”. 《Gödel’s Lost Letter and P=NP》 (영어). 
• “Robert M. Solovay”. 《수학 계보 프로젝트》 (영어). 미국 수학회.