Loading article…
セオドア・アレン・スラマン | |
|---|---|
| 生まれる | 1954年4月17日(年齢 70) |
| 市民権 | アメリカ人 |
| 母校 | ハーバード大学 |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | カリフォルニア大学バークレー校 |
| 博士課程の指導教員 | ジェラルド・E・サックス |
セオドア・アレン・スラマン(1954年4月17日生まれ)は、カリフォルニア大学バークレー校の数学教授であり、再帰理論を研究している。
スラマンとW・ヒュー・ウッディンはチューリング次数に対する双解釈可能性予想を定式化した。これはチューリング次数の半順序が論理的に二階算術と同値であると予想するものである。彼らは双解釈可能性予想がチューリング次数の非自明な自己同型が存在しないことに等しいことを示した。彼らはまた、任意の自己同型が算術的に定義可能であることを示すことにより、チューリング次数の可能な自己同型に対する制限を示した。
参考文献
外部リンク
- ホームページ。
- 数学系譜プロジェクトのセオドア・スラマン
