Томас Каллистер Хейлз

Томас Хейлз
Родился	(1958-06-04) 4 июня, 1958 (возраст 62). Сан-Антонио, Техас
Национальность	Американец
Alma mater	Принстонский университет
Известен	Доказательством Кеплер предположение
Награды	Премия Шовене (2003) Премия Дэвида П. Роббинса (2007) Премия Фулкерсона (2009)
Научная карьера
Филдс	Математика
Учреждения	Университет Питтсбурга. Мичиганский университет
Советник докторантуры	Роберт Лэнглендс
Докторанты	Джулия Гордон
Веб-сайт	сайты.google.com / site / thalespitt /

Томас Каллистер Хейлз (родился 4 июня 1958 г.) - американский математик работает в области теории представлений, дискретной геометрии и формальной проверки. В теории представлений он известен своей работой над программой Ленглендса и доказательством фундаментальной леммы над группой Sp (4) (многие из его идей были включены в окончательное доказательство благодаря Нго Бо Чау ). В дискретной геометрии он обосновал гипотезу Кеплера о плотности сферических упаковок и гипотезу о сотах. В 2014 году он объявил о завершении проекта Flyspeck Project, который формально подтвердил правильность его доказательства гипотезы Кеплера.

Содержание

• 1 Биография
• 2 Награды и членство
• 3 Публикации
• 4 Примечания
• 5 Внешние ссылки

Биография

Получил докторскую степень. Из Принстонского университета в 1986 году его диссертация была озаглавлена ​​«Субрегулярный росток орбитальных интегралов». Между 1993 и 2002 годами он работал в Мичиганском университете.

. В 1998 году Хейлз представил свою статью о компьютерном доказательстве гипотезы Кеплера ; многовековая проблема в дискретной геометрии, которая гласит, что наиболее компактный способ упаковки сфер - это форма тетраэдра. Ему помогал аспирант Сэмюэл Фергюсон. В 1999 году Хейлз доказал гипотезу о сотах, он также заявил, что эта гипотеза, возможно, присутствовала в умах математиков до Марка Теренция Варрона.

После 2002 года Хейлз стал университетом. профессора математики Меллона в Питтсбурге. В 2003 году Хейлз начал работу над Flyspeck, чтобы подтвердить свое доказательство гипотезы Кеплера. Его доказательство опиралось на компьютерные вычисления для проверки гипотез. В проекте использовались два помощника доказательства ; HOL Light и Isabelle. Annals of Mathematics приняли доказательство в 2005 году; но был уверен в доказательствах только на 99%. В августе 2014 года программное обеспечение команды Flyspeck, наконец, подтвердило правильность доказательства.

В 2017 году он инициировал проект Formal Abstracts, целью которого является предоставление формализованных формулировок основных результатов каждой математической исследовательской работы на языке интерактивное средство доказательства теорем. Цель этого проекта - извлечь выгоду из повышенной точности и взаимодействия, которые обеспечивает компьютерная формализация, избегая усилий, которые в настоящее время влечет за собой полномасштабная формализация всех опубликованных доказательств. В долгосрочной перспективе проект надеется создать корпус математических фактов, который позволит применять методы машинного обучения в интерактивном и автоматическом доказательстве теорем.

Награды и членство

Хейлз выиграл Премия Шовене в 2003 году и Премия Лестера Р. Форда в 2008 году. В 2012 году он стал членом Американского математического общества.

Publications

• Хейлз, Томас К. (1994), «Статус гипотезы Кеплера», The Mathematical Intelligencer, 16(3): 47–58, doi : 10.1007 / BF03024356, ISSN 0343-6993, MR 1281754
• Хейлз, Томас К. (2001). «Гипотеза о сотах». Дискретная и вычислительная геометрия. 25(1): 1–22. arXiv : math / 9906042. doi : 10.1007 / s004540010071. MR 1797293.

• Хейлз, Томас К. (2005). «Доказательство гипотезы Кеплера». Анналы математики. 162 (3): 1065–1185. arXiv : math / 9811078. doi : 10.4007 / annals.2005.162.1065.
• Хейлз, Томас К. (2006), «Исторический обзор гипотезы Кеплера», Дискретная и вычислительная геометрия, 36( 1): 5–20, doi : 10.1007 / s00454-005-1210-2, ISSN 0179-5376, MR 2229657
• Хейлз, Томас С.; Фергюсон, Сэмюэл П. (2006), «Формулировка гипотезы Кеплера», Дискретная и вычислительная геометрия, 36(1): 21–69, arXiv : math / 9811078, doi : 10.1007 / s00454-005-1211-1, ISSN 0179-5376, MR 2229658
• Хейлз, Thomas C.; Фергюсон, Сэмюэл П. (2011), Гипотеза Кеплера: Доказательство Хейлза-Фергюсона, Нью-Йорк: Springer, ISBN 978-1-4614-1128-4
• Хейлз, Томас С..; Адамс, Марк; Бауэр, Гертруда; Дат Тат Данг; Харрисон, Джон; Чыонг Ле Хоанг; Калишик, Цезарий; Магрон, Виктор; Маклафлин, Шон; Тханг Тат Нгуен; Чыонг Куанг Нгуен; Нипков, Тобиас; Обуа, Стивен; Плесо, Джозеф; Рут, Джейсон; Соловьев, Алексей; Ан Хоай Тхи Та; Чунг Нам Тран; Diep Thi Trieu; Урбан, Йозеф; Кай Кхак Ву; Цумкеллер, Роланд (2015). «Формальное доказательство гипотезы Кеплера». arXiv : 1501.02155 [math.MG ].

Notes

Внешние ссылки

• Томас Каллистер Хейлз в Mathematics Genealogy Проект