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