WikiDer > Лео Харрингтон
Leo Harrington
Лео А. Харрингтон | |
|---|---|
 | |
| Родившийся | 17 мая 1946 г. (возраст74) |
| Гражданство | Соединенные Штаты |
| Альма-матер | Массачусетский технологический институт |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Калифорнийский университет в Беркли |
| Докторант | Джеральд Э. Сакс |
| Докторанты | |
Лео Энтони Харрингтон (родился 17 мая 1946 г.) - профессор математика на Калифорнийский университет в Беркли кто работает в теория рекурсии, теория моделей, и теория множеств.
- Харрингтон и Джефф Пэрис доказал Теорема Пэрис – Харрингтона.[1]
- Харрингтон показал, что если аксиома детерминированности относится ко всем аналитические множества тогда Икс# существует для всех реалы Икс.[2]
- Харрингтон и Сахарон Шелах показал, что теория первого порядка из частично заказанный набор из рекурсивно перечислимый Степени Тьюринга является неразрешимый.[3]
Рекомендации
- ^ Paris, J .; Харрингтон, Л. (1977), "Математическая неполнота в арифметике Пеано", в Барвайз, Дж. (ред.), Справочник по математической логике, Северная Голландия, стр. 1133–1142.
- ^ Харрингтон, Л. (1978), "Аналитическая детерминация и 0#", Журнал символической логики, 43 (4): 685–693, Дои:10.2307/2273508, JSTOR 2273508
- ^ Harrington, L .; Шелах, С. (1982), «Неразрешимость рекурсивно перечислимых степеней», Бык. Амер. Математика. Soc. (Н.С.), 6 (1): 79–80, Дои:10.1090 / S0273-0979-1982-14970-9
внешняя ссылка
   | Эта статья об американском математике - заглушка. Вы можете помочь Википедии расширяя это. |