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

Из Википедии, бесплатной энциклопедии
Томас Хейлз
Рожденный ( 1958-06-04 ) 4 июня 1958 г. (66 лет)
Сан-Антонио, Техас
Национальность Американский
Альма-матер Университет Принстон
Известный Доказательство гипотезы Кеплера
Награды
Научная карьера
Поля Математика
Учреждения Университет Питтсбурга [1]
университет Мичигана
Докторантура Роберт Ленглендс
Докторанты Джулия Гордон
Веб-сайт места .Google .с /сайт /талеспитт /

Томас Каллистер Хейлз (родился 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]

Публикации [ править ]

Примечания [ править ]

  1. ^ «Томас Хейлз | Математический факультет | Питтсбургский университет» .
  2. ^ «Томас Хейлз — проект математической генеалогии» .
  3. ^ Хейлз, Томас К. (1992). «Субрегулярный росток орбитальных интегралов» (PDF) . Мемуары Американского математического общества . 99 (476). дои : 10.1090/MEMO/0476 . S2CID   121175826 . Архивировано из оригинала (PDF) 29 февраля 2020 г.
  4. ^ «Краткая биография Томаса К. Хейлза - Талеспитта» . Архивировано из оригинала 27 декабря 2020 г.
  5. ^ «Архивная копия» . Архивировано из оригинала 17 июня 2018 г. Проверено 29 декабря 2016 г. {{cite web}}: CS1 maint: архивная копия в заголовке ( ссылка )
  6. ^ «Университет Питтсбурга: факультет математики» . Архивировано из оригинала 27 сентября 2011 г. Проверено 29 декабря 2016 г.
  7. ^ «Тейлпитт» .
  8. ^ Проект Flyspeck
  9. ^ Хейлз решает самую старую задачу в дискретной геометрии. Архивировано 29 мая 2007 г. в Wayback Machine The University Record (Мичиганский университет), 16 сентября 1998 г.
  10. ^ Перейти обратно: а б с Арон, Джейкоб (12 августа 2014 г.). «Подтверждено доказательство 400-летней проблемы со штабелированием фруктов» . Новый учёный . Проверено 10 мая 2017 г.
  11. ^ Веб-сайт проекта https://formalabstracts.github.io/ , получено 10 января 2020 г.
  12. ^ Хейлз, Томас К. (2000). «Пушечные ядра и соты» . Уведомления АМС . 47 (4): 440–449.
  13. ^ Хейлз, Томас К. (2007). «Теорема Жордана о кривой, формально и неформально» . Американский математический ежемесячник . 114 (10): 882–894. дои : 10.1080/00029890.2007.11920481 . JSTOR   27642361 . S2CID   887392 .
  14. ^ Список членов Американского математического общества , получено 19 января 2013 г.
  15. ^ «Лекции Тарского 2019 | Кафедра математики Калифорнийского университета в Беркли» . math.berkeley.edu . Проверено 2 ноября 2021 г.
  16. ^ «Группа по логике и методологии науки — Лекции Тарского» . logic.berkeley.edu . Проверено 2 ноября 2021 г.

Внешние ссылки [ править ]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Thomas_Callister_Hales&oldid=1224317144"