Thomas salută

Date esentiale

Naștere	4 iunie 1958
Naţionalitate	Statele Unite
Zone	Matematician
Renumit pentru	Dovada conjecturii lui Kepler

Thomas Callister Hales , născut pe4 iunie 1958, este un matematician american . Este cunoscut pentru dovada sa a conjecturii Kepler .

Biografie

În 1998, Thomas Hales a anunțat că a demonstrat conjectura lui Kepler . Această conjectură formulată de fizicianul, astronomul și matematicianul Johannes Kepler în 1611 afirmă că, pentru un teanc de sfere egale, densitatea maximă este atinsă pentru un teanc cubic centrat pe față. Această densitate este de aproximativ 74%. Hales a demonstrat această presupunere prin calcule computerizate. Matematicienii responsabili de validarea lucrării lui Hales au susținut că sunt „99% siguri” că această dovadă este valabilă, dar Hales s-a angajat în cadrul proiectului Flyspeck să stabilească o dovadă formală a teoremei sale. În 2009, a primit Premiul Fulkerson pentru această demonstrație.

În 1999 Thomas Hales a lucrat la teorema fagurii . Această presupunere afirmă că faianța hexagonală regulată este partiția planului în zone egale cu cel mai mic perimetru. Bazându-se pe opera diferiților matematicieni precum Frank Morgan, Frederick J. Almgren Jr. sau Jean Taylor , el a găsit dovezi în 1999 pe care le-a revizuit în 2001.

(fr) Acest articol este preluat parțial sau în totalitate din articolul din Wikipedia engleză intitulat „ Thomas Callister Hales ” ( vezi lista autorilor ) .

http://code.google.com/p/flyspeck/wiki/FlyspeckFactSheet
(în) F. Morgan, Bule de săpun în ² și în suprafețe, Pacific J. Math 1994 $\ mathbb {R}$
(în) FJ Almgren Jr., Existența și regularitatea Aproape peste tot a soluțiilor la problemele variaționale eliptice cu constrângeri, Mem. AMS, 1976
(ro) J. Taylor, Structura singularităților în săpunurile cu săpunuri cu bule de săpun și cu suprafețe minime de film, Annals of Mathematics , 1976