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. (67 éves)[1] San Antonio[2]
Állampolgársága	amerikai
Foglalkozása	matematikus egyetemi oktató
Iskolái	Princetoni Egyetem
Kitüntetései	David P. Robbins Prize (2007) az American Mathematical Society tagja (2012. november 1., 2013)[3][4]
A Wikimédia Commons tartalmaz Thomas Hales témájú médiaállományokat.
Sablon Wikidata Segítség

A Kepler-tétel alkalmazása „optimális” narancstárolásra

É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.