Pittsburgh Quarterly Article "The Proof of the Proof" Features Dr. Hales and His Work on the Kepler Conjecture Proof

Pittsburgh Quarterly Article "The Proof of the Proof" Features Dr. Hales and His Work on the Kepler Conjecture Proof

"40,000 lines of computer code, 300 pages of logic. [University of Pittsburgh professor Dr. Thomas Hales] nails a computation that is the most important mathematical discovery in the last 25 years. Now he just has to dedicate the next 20 years to proving it."