ロバート・ローソン・ヴォート
ロバート・ローソン・ヴォート | |
|---|---|
.jpg/1280px-Robert_L._Vaught_1974_(vertical_crop).jpg) 1974年にヴォート | |
| 生まれる | （1926年4月4日）1926年4月4日 |
| 死亡 | 2002年4月2日（2002年4月2日）（75歳） |
| 母校 | カリフォルニア大学バークレー校 |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | カリフォルニア大学バークレー校 |
| 論文 | 算術類とブール代数の理論に関する話題 （1954年） |
| 博士課程の指導教員 | アルフレッド・タルスキ |
| 博士課程の学生 | ジェームズ・バウムガートナー、ロナルド・フェイギン、ジュリア・ナイト、ジャック・シルバー、マイケル・D・モーリー（事実上の）、ダニエル・アンドラー |
.jpg){kind=link}
ロバート・ローソン・ヴォート（1926年4月4日 - 2002年4月2日）はアメリカの数理論理学者であり、モデル理論の創始者の一人である。[ 1 ]
人生
ヴォートは若い頃、特にピアノを弾く音楽の天才でした。16歳でポモナ大学に入学し、第二次世界大戦勃発に伴いアメリカ海軍に入隊しました。カリフォルニア大学のV-12プログラムに配属され、1945年に物理学の学士号を取得して卒業しました。
1946年、ヴォートはバークレー校で数学の博士課程を開始した。当初は位相幾何学者ジョン・L・ケリーの指導の下でC*代数について執筆した。1950年、マッカーシズムの圧力に応えて、バークレー校は全職員に忠誠宣誓書への署名を義務付けた。ケリーはこれを辞退し、チューレーン大学に3年間移った。その後、ヴォートはアルフレッド・タルスキの指導の下で新たなスタートを切り、1954年に数理論理学の論文「算術クラスとブール代数の理論に関する話題」を完成させた。ワシントン大学で4年間過ごした後、ヴォートは1958年にバークレー校に戻り、1991年に退職するまでそこに留まった。
1957年、ヴォートはマリリン・マカと結婚し、2人の子供をもうけた。
仕事
ヴォートの研究は主にモデル理論に焦点を当てている。1957年、彼とタルスキは基本サブモデルとそれらを特徴付けるタルスキ・ヴォートテストを導入した。1962年には、マイケル・D・モーリーと共に飽和構造の概念を開拓した。一階理論の可算モデルに関する研究は、 （可算言語における）完全な一階理論の可算モデルの数は、常に有限、可算無限、または実数と同数のいずれかであるというヴォート予想につながった。ヴォートの「Never 2」定理は、完全な一階理論は正確に2つの非同型可算モデルを持つことはできないと述べている。
彼は、ヴォート変換を導入した論文「位相と論理における不変集合」を最高傑作とみなしている。彼は、基本部分構造のタルスキ＝ヴォートテスト、フェファーマン＝ヴォート定理、完全性と決定可能性のウォシュ＝ヴォートテスト、ヴォートの二基数定理、そして全圏論的理論の非有限公理化可能性に関する予想（この研究は後に幾何学的安定性理論へと繋がった）で知られている。
参照
注記
参考文献
- フェファーマン、アニタ・バードマン、ソロモン・フェファーマン共著、2004年。『アルフレッド・タルスキ：人生と論理』ケンブリッジ大学出版局。ヴォートの索引項目は24項目、特に185～188ページ。
外部リンク
- 数学系譜プロジェクトのロバート・ローソン・ヴォート
- アディソン、JW (2002年秋). 「追悼：ロバート・ローソン・ヴォート」(PDF) .バークレー数学ニュースレター. p. 13.
