Nationality American Role Mathematician | Fields Mathematics Name Thomas Hales | |
![]() | ||
Born June 4, 1958 (age 66) San Antonio, Texas ( 1958-06-04 ) Institutions University of PittsburghUniversity of Michigan Books The Kepler Conjecture: The Hales-Ferguson Proof, The Subregular Germ of Orbital Integrals Notable awards | ||
Residence United States of America |
Thomas Callister Hales (born June 4, 1958) is an American mathematician working on the Langlands program. He is known in the area for having worked on the fundamental lemma, and proving a special case of it over the group Sp(4). Many of his ideas were incorporated into the final proof, due to Ngô Bảo Châu. He is also known for his proof of the Kepler conjecture on sphere packing.
Contents
Biography
He received his Ph.D. from Princeton University in 1986, his dissertation was entitled The Subregular Germ of Orbital Integrals. Between 1993 and 2002 he worked at the University of Michigan.
In 1998, Hales submitted his paper on the computer-aided proof of the Kepler conjecture; a centuries-old problem in discrete geometry which states that the most space-efficient way to pack spheres is in a tetrahedron shape. He was aided by graduate student Samuel Ferguson. In 1999, Hales proved the honeycomb conjecture, he also stated that the conjecture may have been present in the minds of mathematicians before Marcus Terentius Varro.
After 2002, Hales became the University of Pittsburgh's Mellon Professor of mathematics. In 2003, Hales started work on Flyspeck to vindicate his proof of the Kepler conjecture. His proof relied on computer calculation to verify conjectures. The project used two proof assistants; HOL Light and Isabelle. Annals of Mathematics accepted the proof in 2005; but was only 99% sure of the proof. In August 2014, the Flyspeck team's software finally verified the proof to be correct.
Awards and memberships
Hales won the Chauvenet Prize in 2003 and a Lester R. Ford Award in 2008. In 2012 he became a fellow of the American Mathematical Society.