Abstract
New discoveries expand the scope of computer-assisted proofs of theorems.
- The Univalent Foundations Program, Institute for Advanced Study "Homotopy Type Theory: Univalent Foundations of Mathematics" (Princeton, 2013) available for download or purchase at http://homotopytypetheory.org/book/.Google Scholar
- Georges Gonthier "Formal Proof--The Four-Color Theorem", Notices of the American Mathematical Society 55 (11): 1382-1393 (2008).Google Scholar
- Thomas Hales "Mathematics in the Age of the Turing Machine", to be published in Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic), ed. R. Downey, (Cambridge University Press, 2014).Google Scholar
Index Terms
- A new type of mathematics?
Comments