Теодор Сламан
Теодор Аллен Слэман | |
|---|---|
 | |
| Рожденный | 17 апреля 1954 г. (возраст ( 1954-04-17 )70) |
| Гражданство | американский |
| Альма-матер | Гарвардский университет |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Калифорнийский университет в Беркли |
| научный руководитель | Джеральд Э. Сакс |
Теодор Аллен Сламан (родился 17 апреля 1954 года) — профессор математики в Калифорнийском университете в Беркли, работающий в области теории рекурсии .
Слэман и В. Хью Вудин сформулировали гипотезу би-интерпретируемости для степеней Тьюринга , которая предполагает, что частичный порядок степеней Тьюринга логически эквивалентен арифметике второго порядка . Они показали, что гипотеза би-интерпретируемости эквивалентна отсутствию нетривиального автоморфизма степеней Тьюринга. Они также продемонстрировали ограничения на возможные автоморфизмы степеней Тьюринга, показав, что любой автоморфизм будет арифметически определим .
Ссылки
- Сламан, Теодор А. (1991). «Структуры степени». Труды Международного конгресса математиков , т. I, II (Киото, 1990) . стр. 303–316. MR 1159219.
Внешние ссылки
- домашняя страница.
- Теодор Сламан в проекте «Генеалогия математики»
   | Эта статья об американском математике — заглушка . Вы можете помочь Википедии, дополнив ее. |
