Hales explains the four-color theorem, formal proofs
Thomas Hales of the University of Pittsburgh spoke yesterday in a lecture entitled "Formal Proofs, the four-color theorem, and the Kepler conjecture for sphere packing." The four-color theorem states that [...]
