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