Thomas Callister Hales
Biography
American mathematician. Settled the Kepler conjecture, honeycomb conjecture, and dodecahedral conjecture. Mellon Professor at University of Pittsburgh
Sample Works
- A Proof of the Kepler Conjecture (2005) Paper
- Dense Sphere Packings: A Blueprint for Formal Proofs (2012) Book
- The Kepler Conjecture: The Hales-Ferguson Proof (2011) Book
- An Overview of the Kepler Conjecture (1998) Paper
Roundtable Appearances
October 5, 2019 · ▶ Video
Mechanization of Math
The roundtable explores how mathematical proofs too complex for human verification are now being certified by machine systems. It addresses whether mathematics should require...
Stephanie Dick, Branden Fitelson, Thomas Callister Hales, Michael Harris, Francesca Rossi