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