![]()
Харрингтон, Лео
Лео Энтони Харрингтон (англ. Leo Anthony Harrington; род. 17 мая 1946 США) — американский математик, профессор Калифорнийского университета в Беркли[1], специалист по теориям вычислимости, моделей и множеств[2].
- В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона[3][4][5].
- Харрингтон доказал, что аксиома
детерминации
[en] точна для всех
аналитических множеств
[en], то есть существует для каждого числа[6].
- Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых
степеней неразрешимости
[en][7].
| Лео Энтони Харрингтон | |
|---|---|
 | |
| Дата рождения |
|
| Страна | |
| Научная сфера |
|
| Место работы | |
| Альма-матер | |
| Научный руководитель |
|
| Награды и премии | |
| Сайт |
|
 Медиафайлы на Викискладе |
![]()
![]()
Примечания![]()
Править
↑
Leo Anthony Harrington | Department of Mathematics at University of California Berkeley
(англ.). math.berkeley.edu. Дата обращения: 2 октября 2018.
↑
The Mathematics Genealogy Project - Leo Harrington, archive.li (2 июля 2014). Дата обращения: 2 октября 2018.
↑
Paris, J.; Harrington, L,. A Mathematical Incompleteness in Peano Arithmetic / Barwise, J,. — Handbook of Mathematical Logic. — North-Holland, 1977. — С. 1133–1142.
↑
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem | Sciweavers
(англ.). www.sciweavers.org. Дата обращения: 2 октября 2018.
↑
Gyesik Lee. Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (англ.) // Mathematical Theory and Computational Practice. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. —
P. 310–323. —
ISBN 9783642030727, 9783642030734. — doi:10.1007/978-3-642-03073-4_32.
↑
Harrington, L. Analytic Determinacy and 0# // Journal of Symbolic Logic. — 1978. —
Вып. 43,
№ 4. —
С. 685–693. — P. https://www.jstor.org/stable/2273508. — doi:10.2307/2273508.
↑
Leo Harrington, Saharon Shelah. The undecidability of the recursively enumerable degrees (EN) // Bulletin (New Series) of the American Mathematical Society. — 1982-01. —
Т. 6,
вып. 1. —
С. 79–80. — ISSN 1088-9485 0273-0979, 1088-9485. — doi:10.1090/S0273-0979-1982-14970-9.
![]()
![]()
Ссылки![]()
Править
- math.berkeley.edu/~leo/
(англ.) — официальный сайт Лео Харрингтона
- Лео Энтони Харрингтон (англ.) в проекте «Математическая генеалогия»
- Leo Harrington