- Thomas Callister Hales
Infobox_Scientist
name = Thomas Callister Hales
image_width =
caption =
residence =
nationality =
field =Mathematician
work_institution =University of Pittsburgh
alma_mater =Princeton University
known_for =Kepler Conjecture Thomas Callister Hales is an American
mathematician who, while on faculty at theUniversity of Michigan , provided a computer-aided proof of theKepler Conjecture that the most efficient way to pack spheres was in a pyramid shape.Hales, the
University of Pittsburgh Mellon Professor ofmathematics , 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 project, called Flyspeck, seeks to formalize his proof of the Kepler Conjecture in the computer theorem prover HOL Light.
Hales received his Ph.D. from
Princeton University .Hales is a Latter-day Saint. [ [http://eyring.hplx.net/Eyring/Eyring-l_Scientists.html Famous LDS Scientists ] ]
References
External links
* [http://www.math.pitt.edu/~thales/ Hales's page] at the University of Pittsburgh Math Department
* [http://code.google.com/p/flyspeck/ Flyspeck Project]
* [http://www.umich.edu/~urecord/9899/Sep16_98/hales.htm Hales solves oldest problem in discrete geometry]Persondata
NAME= Hales, Thomas Callister
ALTERNATIVE NAMES=
SHORT DESCRIPTION= Americanmathematician
DATE OF BIRTH=
PLACE OF BIRTH=
DATE OF DEATH=
PLACE OF DEATH=
Wikimedia Foundation. 2010.