Age, Biography and Wiki
Thomas Callister Hales was born on 4 June, 1958 in San Antonio, Texas, is an American mathematician. Discover Thomas Callister Hales's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 65 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
65 years old |
| Zodiac Sign |
Gemini |
| Born |
4 June, 1958 |
| Birthday |
4 June |
| Birthplace |
San Antonio, Texas |
| Nationality |
United States
|
We recommend you to check the complete list of Famous People born on 4 June.
He is a member of famous mathematician with the age 65 years old group.
Thomas Callister Hales Height, Weight & Measurements
At 65 years old, Thomas Callister Hales height not available right now. We will update Thomas Callister Hales's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Thomas Callister Hales Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Thomas Callister Hales worth at the age of 65 years old? Thomas Callister Hales’s income source is mostly from being a successful mathematician. He is from United States. We have estimated Thomas Callister Hales's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
mathematician |
Thomas Callister Hales Social Network
Timeline
Thomas Callister Hales (born June 4, 1958) is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification.
In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4) (many of his ideas were incorporated into the final proof of the fundamental lemma, due to Ngô Bảo Châu).
In discrete geometry, he settled the Kepler conjecture on the density of sphere packings and the honeycomb conjecture.
He received his Ph.D. from Princeton University in 1986 with a dissertation titled The Subregular Germ of Orbital Integrals.
Hales taught at Harvard University and the University of Chicago, and from 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, and also stated that the conjecture may have been 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.
Hales won the Chauvenet Prize in 2003 and a Lester R. Ford Award in 2008.
Annals of Mathematics accepted the proof in 2005; but was only 99% sure of the proof.
In 2012 he became a fellow of the American Mathematical Society.
In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.
In August 2014, the Flyspeck team's software finally verified the proof to be correct.
In 2017, he initiated the Formal Abstracts project which aims to provide formalised statements of the main results of each mathematical research paper in the language of an interactive theorem prover.
The goal of this project is to benefit from the increased precision and interoperability that computer formalisation provides while circumventing the effort that a full-scale formalisation of all published proofs currently entails.
In the long term, the project hopes to build a corpus of mathematical facts which would allow for the application of machine learning techniques in interactive and automated theorem proving.
He was invited to give the Tarski Lectures in 2019.
His three lectures were titled "A formal proof of the Kepler conjecture", "Formalizing mathematics", and "Integrating with Logic".
