Томас Каллистер Хейлс - Thomas Callister Hales
Томас Хейлс | |
|---|---|
 | |
| Туған | 4 маусым 1958 ж |
| Ұлты | Американдық |
| Алма матер | Принстон университеті |
| Белгілі | Дәлелдеу Кеплер жорамалы |
| Марапаттар |
|
| Ғылыми мансап | |
| Өрістер | Математика |
| Мекемелер | Питтсбург университеті[1] Мичиган университеті |
| Докторантура кеңесшісі | Роберт Лангландс |
| Докторанттар | Джулия Гордон |
| Веб-сайт | сайттар |
Томас Каллистер Хейлс (1958 жылы 4 маусымда туған) - бұл Американдық математик салаларында жұмыс жасау ұсыну теориясы, дискретті геометрия, және ресми тексеру. Жылы ұсыну теориясы ол өзінің жұмысымен танымал Langlands бағдарламасы және дәлелі іргелі лемма топтың үстінен Sp (4) (оның көптеген идеялары соңғы дәлелдемеге қосылды, соған байланысты Ngô Bảo Chau ). Жылы дискретті геометрия, ол шешті Кеплер жорамалы тығыздығы бойынша шар орамдары және ұялы гипотеза. 2014 жылы ол Flyspeck жобасының аяқталғанын жариялады, ол өзінің дәлелінің дұрыстығын ресми түрде тексерді Кеплер жорамалы.
Өмірбаян
Ол кандидаттық диссертациясын қорғады. бастап Принстон университеті 1986 жылы оның диссертациясы аталды Орбиталық интегралдардың субрегулярлы ұрығы.[2][3] 1993 және 2002 жылдар аралығында ол жұмыс істеді Мичиган университеті.[4]
1998 жылы Хейлз өз жұмысын компьютерге жіберді дәлел туралы Кеплер жорамалы; ғасырлық проблема дискретті геометрия бұл ең тиімді ғарыштық тәсіл бумалар тетраэдр формасында болады. Оған аспирант Сэмюэль Фергюсон көмектесті.[5] 1999 жылы Хейлс дәлелдеді ұялы гипотеза, сонымен қатар ол болжам математиктердің ойында бұрын болған болуы мүмкін деп мәлімдеді Маркус Терентий Варро.
2002 жылдан кейін Хейлс болды Питтсбург университеті Меллон математика профессоры. 2003 жылы Хейлз Кеплер болжамының дәлелдеуі үшін Flyspeck-те жұмыс істей бастады. Оның дәлелі болжамдарды тексеру үшін компьютерлік есептеуге негізделген. Жоба екі қолданды көмекшілер; HOL Light және Изабель.[6][7][8][9] Математика жылнамалары дәлелді 2005 жылы қабылдады; бірақ дәлелдеуге 99% ғана сенімді болды.[9] 2014 жылдың тамызында Flyspeck командасының бағдарламалық жасақтамасы дәлелдің дұрыстығын растады.[9]
2017 жылы ол әр математикалық зерттеу жұмысының негізгі нәтижелерінің формальды тұжырымдамасын тілде жеткізуге бағытталған Formal Abstracts жобасын бастады. интерактивті теоремалық провер. Бұл жобаның мақсаты қазіргі кезде жарияланған барлық дәлелдемелерді толық көлемде рәсімдеуді қажет ететін күш-жігерді айналып өтіп, компьютерлік ресімдеуді қамтамасыз ететін дәлдік пен үйлесімділіктің жоғарылауынан пайда табу болып табылады. Ұзақ мерзімді перспективада жоба математикалық фактілер корпусын құруға үміттенеді, бұл интерактивті және автоматтандырылған теоремалық дәлелдеуде машиналық оқыту әдістерін қолдануға мүмкіндік береді.[10]
Марапаттар мен мүшеліктер
Хэйлс жеңді Шавенет сыйлығы 2003 жылы[11] және а Лестер Р. Форд сыйлығы 2008 жылы.[12] 2012 жылы ол стипендиат болды Американдық математикалық қоғам.[13]
Жарияланымдар
- Хэйлс, Томас С. (1994), «Кеплер болжамының мәртебесі», Математикалық интеллект, 16 (3): 47–58, дои:10.1007 / BF03024356, ISSN 0343-6993, МЫРЗА 1281754
- Hales, Thomas C. (2001). «Бал ұғымы». Дискретті және есептеу геометриясы. 25 (1): 1–22. arXiv:математика / 9906042. дои:10.1007 / s004540010071. МЫРЗА 1797293.
- Hales, Thomas C. (2005). «Кеплер болжамының дәлелі». Математика жылнамалары. 162 (3): 1065–1185. arXiv:математика / 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:математика / 9811078, дои:10.1007 / s00454-005-1211-1, ISSN 0179-5376, МЫРЗА 2229658
- Хэйлс, Томас С .; Фергюсон, Сэмюэл П. (2011), Кеплер жорамалы: Хейлз-Фергюсонның дәлелі, Нью-Йорк: Спрингер, ISBN 978-1-4614-1128-4
- Хэйлс, Томас С .; Адамс, Марк; Бауэр, Гертруд; Дат Тат Данг; Харрисон, Джон; Truong Le Hoang; Калишик, Сезари; Магрон, Виктор; Маклафлин, Шон; Танг Тат Нгуен; Труонг Куанг Нгуен; Нипков, Тобиас; Обуа, Стивен; Плесо, Джозеф; Рут, Джейсон; Соловьев, Алексей; Ан Хоай Тхи Та; Трунг Нам Тран; Диеп Тхи Триеу; Урбан, Йозеф; Ky Khac Vu; Зумкеллер, Роланд (2015). «Кеплер болжамының ресми дәлелі». arXiv:1501.02155 [math.MG ].
Ескертулер
- ^ http://www.mathematics.pitt.edu/person/thomas-hales
- ^ https://www.genealogy.math.ndsu.nodak.edu/id.php?id=77593
- ^ https://pdfs.semanticscholar.org/d773/09af42214089a8a416a2423c4c0add8c97ac.pdf
- ^ http://um2017.org/faculty-history/faculty/thomas-c-hales
- ^ http://www.math.pitt.edu/articles/cannonOverview.html
- ^ https://sites.google.com/site/thalespitt/
- ^ Flyspeck жобасы
- ^ Хейлс дискретті геометриядағы ежелгі мәселені шешеді University Record (Мичиган университеті), 16 қыркүйек, 1998 ж
- ^ а б c Арон, Джейкоб (12 тамыз, 2014). «400 жылдық жемістерді жинау мәселесі дәлелденді». Жаңа ғалым. Алынған 10 мамыр, 2017.
- ^ Жобаның веб-сайты https://formalabstracts.github.io/, шығарылды 2020-01-10.
- ^ Хейлс, Томас С. (2000). «Зеңбірек доптары мен медовиктер». AMS хабарламалары. 47 (4): 440–449.
- ^ Hales, Thomas C. (2007). «Иордания қисық теоремасы, ресми және бейресми». Amer. Математика. Ай сайын. 114: 882–894. JSTOR 27642361.
- ^ Американдық математикалық қоғам мүшелерінің тізімі, алынған 2013-01-19.
