로버트 솔로베이 문서 원본 보기

{{위키데이터 속성 추적}}
{{Infobox scientist
| 이름=로버트 마틴 솔로베이
| 원어이름 = {{llang|en|Robert Martin Solovay}}
| image             = Robert solovay.jpg
| caption           = 솔로베이 (1972년 사진, 조지 버그먼({{llang|en|George Bergman}}) 촬영)
| birth_date        = {{출생일과 나이|1938|12|15}}
| birth_place       = [[미국]] [[뉴욕]] [[브루클린]]
| death_date        =
| death_place       = 
| nationality       = [[미국]]
| fields            = [[수학]]
| workplaces        = [[캘리포니아 대학교 버클리]]
| alma_mater        = [[시카고 대학교]]
| doctoral_advisor  = [[손더스 매클레인]]
| doctoral_students = [[윌리엄 휴 우딘]]
| known_for         = [[수슬린 가설]]의 독립성 <br> [[반복 강제법]] <br> [[강콤팩트 기수]] 이상에서의 [[특이 기수 가설]]
| awards            = Paris Kanellakis Award (2003)
}}

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

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

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

== 주요 논문 ==
* {{저널 인용|doi=10.2307/1970696|성=Solovay|이름=Robert M.|title=A model of set-theory in which every set of reals is Lebesgue measurable|journal=Annals of Mathematics. Second Series|volume=92|issue=1|year=1970|pages=1–56}}
* {{저널 인용|성=Solovay|이름=Robert M.|title=A nonconstructible ''Δ<sup>1</sup><sub>3</sub>'' set of integers|journal=Transactions of the American Mathematical Society|volume=127|year=1967|pages=50–75|doi=10.2307/1994631|issue=1|publisher=American Mathematical Society|jstor=1994631}}
* {{저널 인용|성=Solovay|이름=Robert M.|공저자=Volker Strassen|journal=SIAM Journal on Computing|title=A fast Monte-Carlo test for primality|volume=6|year=1977|issue=1|pages=84–85|doi=10.1137/0206006}}

== 외부 링크 ==
{{위키공용분류}}
* {{웹 인용|url=https://math.berkeley.edu/~solovay/|제목=Robert M. Solovay's home page|언어=en}}
* {{웹 인용|url=http://rjlipton.wordpress.com/2009/05/21/i-hate-oracle-results/|제목=I hate oracle results|이름=Richard J.|성=Lipton|날짜=2009-05-21|웹사이트=Gödel’s Lost Letter and P=NP|언어=en}}
* {{MathGenealogy|id=6522|title=Robert M. Solovay}}

{{전거 통제}}

{{기본정렬:솔로베이, 로버트}}
[[분류:1938년 출생]]
[[분류:살아있는 사람]]
[[분류:미국의 논리학자]]
[[분류:20세기 수학자]]
[[분류:집합론자]]