ロバート・M・ソロベイ
ロバート・M・ソロベイ | |
|---|---|
 1993年のロバート・ソロヴェイ（ジョージ・バーグマン撮影） | |
| 生まれる | 1938年12月15日 ブルックリン、ニューヨーク、アメリカ |
| 母校 | シカゴ大学 |
| 知られている | ソロベイ モデルソロベイ – ストラッセンの素数検定ゼロシャープマーティンの公理ソロベイ – キタエフの定理 |
| 受賞歴 | パリ・カネラキス賞（2003年） |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | カリフォルニア大学バークレー校 |
| 博士課程の指導教員 | サンダース・マックレーン |
| 博士課程の学生 | ケン・マカルーンマシュー・フォアマン ジュディス・ロイトマン ベトゥル・タンベイW. ヒュー・ウッディン |
ロバート・マーティン・ソロベイ（1938年12月15日生まれ）は、集合論を研究するアメリカの数学者です。
バイオグラフィー
ソロヴェイは1964年、サンダース・マクレーンの指導の下、シカゴ大学で「微分可能リーマン・ロッホ定理の関手形式」に関する論文で博士号を取得した。[ 1 ]ソロヴェイはカリフォルニア大学バークレー校でキャリアを積み、そこではW・ヒュー・ウッディンやマシュー・フォアマンといった博士課程の学生を指導した。[ 2 ]
仕事
ソロヴェイの定理には以下のものがあります:
- ソロヴェイの定理は、到達不可能な基数の存在を仮定した場合、「すべての実数の集合はルベーグ測定可能である」という命題が、選択公理のないツェルメロ-フランケル集合論と一致することを示しています。
- 0 #の概念を分離する;
- 実数値の測定可能な基数の存在が測定可能な基数の存在と一致することを証明する。
- が強極限特異基数である場合、 が強コンパクト基数より大きいことを証明すると、次が成り立ちます。
- が非可算な正則基数であり、が定常集合である場合、 は互いに素な定常集合の和集合に分解できることを証明します。
- スタンレー・テネンバウムとともに反復強制法を開発し、サスリンの仮説の一貫性を示す。
- ドナルド・A・マーティンとともに、連続体の任意の大きな基数でのマーティンの公理の一貫性を示した。
- 集合論以外では、フォルカー・シュトラッセンと共同でソロベイ・シュトラッセン素数判定法を開発し、高い確率で素数となる大きな自然数を識別することに成功した。この手法は暗号学にも影響を与えている。
- P対NP問題に関しては、彼はTPベイカーとJ.ギルとともに、相対化議論では証明できないことを証明した。[ 3 ]
- GL (スキーマのインスタンスを追加の公理として持つ通常の様相論理) がペアノ算術の証明可能性述語の論理を完全に公理化することを証明します。
- アレクセイ・キタエフと共に、有限の量子ゲート集合が 1 つの量子ビット上の任意のユニタリ演算子を効率的に近似できることを証明しました。これは現在ソロベイ・キタエフの定理として知られています。
選定された出版物
- Solovay, Robert M. (1970). 「実数のすべての集合がルベーグ測定可能である集合論のモデル」Annals of Mathematics . Second Series. 92 (1): 1– 56. doi : 10.2307/1970696 . JSTOR 1970696 .
- Solovay, Robert M. (1967). 「Δ 1 3の整数の非構成的集合」.アメリカ数学会誌. 127 (1). アメリカ数学会誌: 50–75 . doi : 10.2307/1994631 . JSTOR 1994631 .
- Solovay, Robert M.、Volker Strassen (1977). 「素数判定のための高速モンテカルロ検定」SIAM Journal on Computing . 6 (1): 84– 85. doi : 10.1137/0206006 .
参照
参考文献
- ^数学系譜プロジェクトのロバート・M・ソロベイ
- ^ 「Robert M. Solovay | カリフォルニア大学バークレー校数学科」。
- ^エマーソン, T. (1994-10-10). 「実数体（およびその他の順序付き環）上のP=?NP問題の相対化」 .理論計算機科学. 133 (1): 15– 22. doi : 10.1016/0304-3975(94)00068-9 . ISSN 0304-3975 .
外部リンク
