Thomas Hales
Thomas Callister Hales (San Antonio, Texas, 1958. június 4. –) amerikai matematikus, aki bebizonyította Kepler egy sejtését, amely a legjobb gömbpakolásra vonatkozik.
| Thomas Hales | |
 | |
| Született | 1958. június 4. (66 éves)[1] San Antonio[2] |
| Állampolgársága | amerikai |
| Foglalkozása |
|
| Iskolái | Princetoni Egyetem |
| Kitüntetései | |
 A Wikimédia Commons tartalmaz Thomas Hales témájú médiaállományokat. | |
| Sablon • Wikidata • Segítség | |
Életpályája
Egyetemi tanulmányait a Stanford Egyetemen végezte. 1986-ban doktorált a Princetoni Egyetemen Robert Langlands irányításával.[5] Dolgozott a Harvard, a Chicagói és a Michigani Egyetemen, valamint a princetoni IAS-ban. A Pittsburghi Egyetem tanára.
Arról ismert, hogy bebizonyította Keplernek azt a több mint 400 éves sejtését, hogy azonos térfogatba akkor lehet a legtöbb gömb alakú tárgyat elhelyezni, ha piramis (azaz gúla) alakzatot használunk. A bizonyítást, amely leírva 300 oldalt tesz ki, egyik doktoranduszával, Samuel Fergusonnal végezte még 1998-ban, de csak 2014-ben vált elfogadottá, mivel annak ellenőrzése csak számítógéppel lehetséges. Az ellenőrző programot is maga Hales fejlesztette ki.
A bizonyítás Fejes Tóth László azon ötletére épült, hogy a feladatot véges számításokra kell visszavezetni. Ez a probléma a síkbeli hasonló, körpakolási probléma háromdimenziós változata.
Hales 2003-ban Chauvenet-díjat kapott.
Jegyzetek
Források
- index.hu
- Thomas Hales a Mathematics Genealogy Project adatbázisában
- Honlapja Archiválva 2020. december 27-i dátummal a Wayback Machine-ben
