Харрингтон, Лео (}gjjnuimku, Lyk)
Перейти к навигации
Перейти к поиску
| Лео Энтони Харрингтон | |
|---|---|
| англ. Leo Anthony Harrington | |
 | |
| Дата рождения | 17 мая 1946 (78 лет) |
| Страна | |
| Род деятельности | математик, философ, преподаватель университета |
| Научная сфера | теория моделей и теория множеств |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Gerald Sacks[вд] |
| Награды и премии | |
| Сайт | math.berkeley.edu/~leo/ |
 Медиафайлы на Викискладе | |
Лео Энтони Харрингтон (англ. Leo Anthony Harrington; род. 17 мая 1946 США) — американский математик, профессор Калифорнийского университета в Беркли[1], специалист по теориям вычислимости, моделей и множеств[2].
- В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона[3][4][5].
- Харрингтон доказал, что аксиома детерминации[англ.] точна для всех аналитических множеств[англ.], то есть существует для каждого числа[6].
- Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых степеней неразрешимости[англ.][7].
Примечания
[править | править код]- ↑ Leo Anthony Harrington | Department of Mathematics at University of California Berkeley (англ.). math.berkeley.edu. Дата обращения: 2 октября 2018. Архивировано 3 августа 2020 года.
- ↑ "The Mathematics Genealogy Project - Leo Harrington". archive.li. 2014-07-02. Архивировано из оригинала на 2 июля 2014. Дата обращения: 2 октября 2018.
{{cite news}}: Википедия:Обслуживание CS1 (бот: изначальный URL статус неизвестен) (ссылка) - ↑ Paris, J.; Harrington, L,. A Mathematical Incompleteness in Peano Arithmetic / Barwise, J,. — Handbook of Mathematical Logic. — North-Holland, 1977. — С. 1133–1142. Архивировано 7 апреля 2016 года.
- ↑ Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem | Sciweavers (англ.). www.sciweavers.org. Дата обращения: 2 октября 2018. Архивировано 25 октября 2020 года.
- ↑ 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. Архивировано 2 июня 2018 года.
- ↑ 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. Архивировано 14 декабря 2019 года.
Ссылки
[править | править код]
- math.berkeley.edu/~leo/ (англ.) — официальный сайт Лео Харрингтона
- Лео Энтони Харрингтон (англ.) в проекте «Математическая генеалогия»
- Leo Harrington
