Thomas Callister Hales topic

Thomas Callister Hales is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture that the most efficient way to pack spheres was in a pyramid shape. Hales, the University of Pittsburgh Mellon Professor of mathematics, advocates the formalization of mathematics to ensure rigor in an era where proofs are becoming increasingly complex and computers are becoming necessary to perform verification. Hales's current... full article at wikipedia