A Blueprint for Formal Proofs
by
Thomas Hales
Language: English
Release Date: September 6, 2012
The 400-year-old Kepler conjecture asserts that no packing of congruent balls in three dimensions can have a density exceeding the familiar pyramid-shaped cannonball arrangement. In this book, a new proof of the conjecture is presented that makes it accessible for the first time to a broad mathematical...