Loading article…
レオ・A・ハリントン | |
|---|---|
 | |
| 生まれる | 1946年5月17日（年齢 78) |
| 市民権 | アメリカ合衆国 |
| 母校 | マサチューセッツ工科大学 |
| 受賞歴 | ゲーデル講演（1995年） |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | カリフォルニア大学バークレー校 |
| 博士課程の指導教員 | ジェラルド・E・サックス |
| 博士課程の学生 | |
レオ・アンソニー・ハリントン（1946年5月17日生まれ）は、カリフォルニア大学バークレー校の数学教授であり、再帰理論、モデル理論、集合論を研究している 。数学者を引退したレオ・ハリントン教授は現在、哲学者である。[要出典]
彼の注目すべき成果には、ジェフ・パリスと共にパリス・ハリントン定理を証明したこと[ 1 ] 、決定性公理がすべての解析集合に対して成り立つならばすべての実数xに対してx #が存在すること を示したこと[2]、サハロン・シェラ と共に再帰的に可算なチューリング次数の半順序集合の第一階理論が決定不可能であることを証明したこと[3]などがある。
参考文献
- ^ Paris, J.; Harrington, L. (1977)、「ペアノ算術における数学的不完全性」、Barwise, J. (編)、『数学論理ハンドブック』、North-Holland、pp. 1133–1142
- ^ Harrington, L. (1978)、「解析的決定性と 0 #」、Journal of Symbolic Logic、43 (4): 685–693、doi :10.2307/2273508、JSTOR 2273508、S2CID 46061318
- ^ Harrington, L.; Shelah, S. (1982)、「再帰的に列挙可能な次数の決定不能性」、Bull. Amer. Math. Soc. (NS)、6 (1): 79–80、doi : 10.1090/S0273-0979-1982-14970-9
外部リンク
- ホームページ。
- 数学系譜プロジェクトのレオ・ハリントン