Thomas Callister Hales
From Wikipedia, the free encyclopedia
| Thomas Callister Hales | |
| Residence |  U.S. |
|---|---|
| Nationality | American |
| Fields | Mathematician |
| Institutions | University of Pittsburgh |
| Alma mater | Princeton University |
| Known for | Kepler Conjecture |
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 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.[1]
[edit] References
[edit] External links
- Hales's page at the University of Pittsburgh Math Department
- The Flyspeck Project
- Hales solves oldest problem in discrete geometry
| Persondata | |
|---|---|
| NAME | Hales, Thomas Callister |
| ALTERNATIVE NAMES | |
| SHORT DESCRIPTION | American mathematician |
| DATE OF BIRTH | |
| PLACE OF BIRTH | |
| DATE OF DEATH | |
| PLACE OF DEATH | |
