Robert M. Solovay - Robert M. Solovay
Robert M. Solovay | |
---|---|
Doğmak |
Brooklyn, New York , ABD
|
15 Aralık 1938
Milliyet | Amerikan |
gidilen okul | Chicago Üniversitesi |
Bilinen |
Solovay modeli Solovay–Strassen asallık testi Sıfır keskin Martin aksiyomu Solovay–Kitaev teoremi |
Ödüller | Paris Kanellakis Ödülü (2003) |
Bilimsel kariyer | |
Alanlar | Matematik |
kurumlar | Kaliforniya Üniversitesi, Berkeley |
Doktora danışmanı | Saunders Mac Lane |
Doktora öğrencileri |
Matthew Foreman Judith Roitman W. Hugh Woodin |
Robert Martin Solovay (15 Aralık 1938 doğumlu) küme teorisinde uzmanlaşmış Amerikalı bir matematikçidir .
biyografi
Solovay doktora derecesini aldı. dan Chicago Üniversitesi başkanlığında 1964 yılında Saunders Mac Lane üzerinde bir tez ile, Diferensiyellenebilen A Funktor Formu Riemann-Roch teoremi . Solovay, kariyerini Berkeley'deki California Üniversitesi'nde geçirmiştir . Doktora derecesi buradadır . öğrenciler arasında W. Hugh Woodin ve Matthew Foreman bulunmaktadır .
Çalışmak
Solovay teoremleri şunları içerir:
- Solovay teoremi kimse bir varlığını varsayar eğer gösteren ulaşılmaz kardinal , ardından ifadesi "her set arasında gerçek sayılar olduğu Lebesgue ölçülebilir " ile tutarlıdır Zermelo-Fraenkel küme kuramı olmadan seçim belitinin ;
- 0 # kavramını izole etmek ;
- Bir varlığı kanıtlayan reel değerli ölçülebilir kardinal olduğu equiconsistent ölçülebilir bir kardinal varlığı ile;
- Eğer güçlü bir limit tekil kardinal ise , güçlü kompakt bir kardinalden büyük olduğunu kanıtlamak, o zaman geçerlidir;
- Eğer kanıtlayan bir sayılamayan düzenli kardinal olduğu ve bir olduğu sabit seti daha sonra, birliği ayrılacak olabilir ayrık durağan setleri;
- İle Stanley Tennenbaum'un , zorlama ve tutarlılığını gösteren iterated yöntemini geliştirerek Suslin hipotezi .
- İle Donald A. Martin , tutarlılığını gösterdi Martin'in aksiyomuna sonsuz büyüklükte sürekliliğinin kardinalitesi .
- Küme kuramı dışında, (ile gelişmekte Volker Strassen ) Solovay-Strassen asallık testine büyük tanımlamak için kullanılan, doğal sayılar olan asal yüksek olan olasılık . Bu yöntemin kriptografi için etkileri oldu .
- TP Baker ile J. Gill, göreli argümanların kanıtlayamayacağını kanıtladı .
- GL'nin ( şema örneklerini ek aksiyomlar olarak içeren normal modal mantık ), Peano aritmetiğinin kanıtlanabilirlik yükleminin mantığını tamamen aksiyomatize ettiğini kanıtlamak .
- İle Alexei Kitaev , sonlu kümesi olduğunu kanıtlayan kuantum kapıları verimli keyfi bir tahmin edebilirsiniz üniter operatörü biri üzerinde QuBit şimdi olarak bilinen yılında Solovay-Kitaev teoremi .
Seçilmiş Yayınlar
- Solovay, Robert M. (1970). "Her gerçek kümesinin Lebesgue ölçülebilir olduğu bir küme teorisi modeli". Matematik Annals . İkinci Seri. 92 (1): 1-56. doi : 10.2307/1970696 . JSTOR 1970696 .
- Solovay, Robert M. (1967). "Yapılamaz bir Δ 1 3 tamsayı seti". Amerikan Matematik Derneği'nin İşlemleri . Amerikan Matematik Derneği. 127 (1): 50–75. doi : 10.2307/1994631 . JSTOR 1994631 .
- Solovay, Robert M. ve Volker Strassen (1977). "Öncelik için hızlı bir Monte-Carlo testi". SIAM Journal on Computing . 6 (1): 84–85. doi : 10.1137/0206006 .
Ayrıca bakınız
Referanslar
Dış bağlantılar
- Robert M. Solovay at Matematik Şecere Projesi
- Robert Solovay de DBLP Kaynakça Sunucusu