セオドア・スラマン
セオドア・アレン・スラマン | |
|---|---|
 | |
| 生まれる | 1954年4月17日（年齢 （1954年4月17日）71） |
| 市民権 | アメリカ人 |
| 母校 | ハーバード大学 |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | カリフォルニア大学バークレー校 |
| 博士課程の指導教員 | ジェラルド・E・サックス |
セオドア・アレン・スラマン（1954年4月17日生まれ）は、カリフォルニア大学バークレー校の数学教授であり、再帰理論を研究している。
スラマンとW・ヒュー・ウッディンは、チューリング次数に対する双解釈可能性予想を定式化した。これは、チューリング次数の半順序が二階算術と論理的に同値であると予想するものである。彼らは、双解釈可能性予想は、チューリング次数に非自明な自己同型が存在しないということと同値であることを示した。また、任意の自己同型が算術的に定義可能であることを示すことで、チューリング次数の可能な自己同型に限界があることを示した。
参考文献
- スラマン, セオドア A. (1991). 「次数構造」.国際数学者会議紀要, 第I巻, 第II巻 (京都, 1990) . pp. 303– 316. MR 1159219 .
外部リンク
   | アメリカの数学者に関するこの記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。 |
