Томас Каллистер Хейлз
Томас Хейлз | |
|---|---|
 | |
| Рожденный | 4 июня 1958 г. |
| Национальность | Американский |
| Альма-матер | Принстонский университет |
| Известный | Доказательство гипотезы Кеплера |
| Награды |
|
| Научная карьера | |
| Поля | Математика |
| Учреждения | Университет Питтсбурга [1] Мичиганский университет |
| Докторантура | Роберт Ленглендс |
| Докторанты | Джулия Гордон |
| Веб-сайт | сайты |
Томас Каллистер Хейлз (родился 4 июня 1958 г.) — американский математик, работающий в области теории представлений , дискретной геометрии и формальной проверки . В теории представлений он известен своей работой над программой Ленглендса и доказательством фундаментальной леммы о группе Sp(4) (многие из его идей были включены в окончательное доказательство фундаментальной леммы, принадлежащее Нго Бо Чау ). В области дискретной геометрии он обосновал гипотезу Кеплера о плотности упаковок сфер и гипотезу сот . В 2014 году он объявил о завершении проекта Flyspeck Project, который формально подтвердил правильность его доказательства гипотезы Кеплера .
Биография [ править ]
Он получил докторскую степень. из Принстонского университета в 1986 году с диссертацией на тему «Субрегулярный росток орбитальных интегралов» . [2] [3] Хейлз преподавал в Гарвардском университете и Чикагском университете . [4] а с 1993 и 2002 годов работал в Мичиганском университете . [5]
В 1998 году Хейлз представил свою статью о компьютерном доказательстве гипотезы Кеплера , многовековой проблемы дискретной геометрии , которая утверждает, что наиболее компактный способ упаковки сфер — это форма тетраэдра. Ему помогал аспирант Сэмюэл Фергюсон. [6] В 1999 году Хейлз доказал гипотезу о сотах , а также заявил, что эта гипотеза, возможно, была в умах математиков до Марка Теренция Варрона . Гипотеза упоминается Паппом Александрийским в его книге V.
После 2002 года Хейлз стал Питтсбургском университете профессором математики Меллона в . В 2003 году Хейлз начал работу над Flyspeck, чтобы подтвердить свое доказательство гипотезы Кеплера. Его доказательство основывалось на компьютерных вычислениях для проверки гипотез. В проекте задействованы два помощника по корректуре , ХОЛ Лайт и Изабель . [7] [8] [9] [10] Annals of Mathematics приняла доказательство в 2005 году; но был уверен в доказательстве только на 99%. [10] В августе 2014 года программное обеспечение команды Flyspeck наконец подтвердило правильность доказательства. [10]
В 2017 году он инициировал проект Formal Abstracts, целью которого является предоставление формализованных изложений основных результатов каждой математической исследовательской работы на языке интерактивного средства доказательства теорем . Цель этого проекта — получить выгоду от повышенной точности и совместимости, которые обеспечивает компьютерная формализация, и в то же время обойти усилия, которые в настоящее время влечет за собой полномасштабная формализация всех опубликованных доказательств. В долгосрочной перспективе проект надеется создать корпус математических фактов, которые позволят применять методы машинного обучения в интерактивном и автоматизированном доказательстве теорем. [11]
и Награды членство
Хейлз выиграл премию Шовене в 2003 году. [12] и премия Лестера Р. Форда в 2008 году. [13] В 2012 году он стал членом Американского математического общества . [14] Его пригласили прочитать лекции Тарского в 2019 году. Его три лекции назывались «Формальное доказательство гипотезы Кеплера», «Формализация математики» и «Интегрирование с логикой». [15] [16]
Публикации [ править ]
- Хейлз, Томас К. (1994). «Статус гипотезы Кеплера» . Математический интеллект . 16 (3): 47–58. дои : 10.1007/BF03024356 . ISSN 0343-6993 . МР 1281754 . S2CID 123375854 .
- Хейлз, Томас К. (2001). «Гипотеза о сотах» . Дискретная и вычислительная геометрия . 25 (1): 1–22. arXiv : математика/9906042 . дои : 10.1007/s004540010071 . МР 1797293 . S2CID 14849112 .
- Хейлз, Томас К. (2005). «Доказательство гипотезы Кеплера» . Анналы математики . 162 (3): 1065–1185. arXiv : math/9811078 . дои : 10.4007/анналы.2005.162.1065 .
- Хейлз, Томас К. (2006). «Исторический обзор гипотезы Кеплера» . Дискретная и вычислительная геометрия . 36 (1): 5–20. дои : 10.1007/s00454-005-1210-2 . ISSN 0179-5376 . МР 2229657 .
- Хейлз, Томас К.; Фергюсон, Сэмюэл П. (2006). «Формулировка гипотезы Кеплера» . Дискретная и вычислительная геометрия . 36 (1): 21–69. arXiv : math/9811078 . дои : 10.1007/s00454-005-1211-1 . ISSN 0179-5376 . МР 2229658 . S2CID 6529590 .
- Хейлз, Томас К.; Фергюсон, Сэмюэл П. (2011), Гипотеза Кеплера: доказательство Хейлса-Фергюсона , Нью-Йорк: Springer, ISBN 978-1-4614-1128-4
- Хейлз, Томас К.; Адамс, Марк; Бауэр, Гертруда; Данг, Тат Дат; Харрисон, Джон; Хоанг, Труонг Ле; Калишик, Цезарь; Магрон, Виктор; Маклафлин, Шон; Нгуен, Тат Тханг; Нгуен, Куанг Чыонг; Нипков, Тобиас; Обуа, Стивен; Плесо, Джозеф; Рут, Джейсон; Соловьев Алексей; Ан Хоай Тхи Та; Тран, Нам Чунг; Трие, Ти Дьеп; Урбан, Йозеф; Ву, Кай; Цумкеллер, Роланд (2017). «Формальное доказательство гипотезы Кеплера» . Форум математики, Пи . 5 : е2. arXiv : 1501.02155 . дои : 10.1017/fmp.2017.1 .
Примечания [ править ]
- ^ «Томас Хейлз | Математический факультет | Питтсбургский университет» .
- ^ «Томас Хейлз — проект математической генеалогии» .
- ^ Хейлз, Томас К. (1992). «Субрегулярный росток орбитальных интегралов» (PDF) . Мемуары Американского математического общества . 99 (476). дои : 10.1090/MEMO/0476 . S2CID 121175826 . Архивировано из оригинала (PDF) 29 февраля 2020 г.
- ^ «Краткая биография Томаса К. Хейлза - Талеспитта» . Архивировано из оригинала 27 декабря 2020 г.
- ^ «Архивная копия» . Архивировано из оригинала 17 июня 2018 г. Проверено 29 декабря 2016 г.
{{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка ) - ^ «Университет Питтсбурга: факультет математики» . Архивировано из оригинала 27 сентября 2011 г. Проверено 29 декабря 2016 г.
- ^ «Тейлпитт» .
- ^ Проект Flyspeck
- ↑ Хейлз решает старейшую задачу в дискретной геометрии. Архивировано 29 мая 2007 г. в Wayback Machine The University Record (Мичиганский университет), 16 сентября 1998 г.
- ↑ Перейти обратно: Перейти обратно: а б с Арон, Джейкоб (12 августа 2014 г.). «Подтверждено доказательство 400-летней проблемы со штабелированием фруктов» . Новый учёный . Проверено 10 мая 2017 г.
- ^ Веб-сайт проекта https://formalabstracts.github.io/ , получено 10 января 2020 г.
- ^ Хейлз, Томас К. (2000). «Пушечные ядра и соты» . Уведомления АМС . 47 (4): 440–449.
- ^ Хейлз, Томас К. (2007). «Теорема Жордана о кривой, формально и неформально» . Американский математический ежемесячник . 114 (10): 882–894. дои : 10.1080/00029890.2007.11920481 . JSTOR 27642361 . S2CID 887392 .
- ^ Список членов Американского математического общества , получено 19 января 2013 г.
- ^ «Лекции Тарского 2019 | Кафедра математики Калифорнийского университета в Беркли» . math.berkeley.edu . Проверено 2 ноября 2021 г.
- ^ «Группа по логике и методологии науки — Лекции Тарского» . logic.berkeley.edu . Проверено 2 ноября 2021 г.
Внешние ссылки [ править ]
- Американские математики XX века
- Американские математики XXI века
- 1958 рождений
- Живые люди
- Факультет Мичиганского университета
- Выпускники Принстонского университета
- Ученые из Питтсбурга
- факультет Питтсбургского университета
- Члены Американского математического общества
- Люди из Сан-Антонио
- Математики из Техаса