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