Mathematics in the Age of the Turing Machine

Thomas Hales

Type: Preprint

Publication Date: 2013-02-12

Citations: 6

Similar Works

Action	Title	Year	Authors
+	Mathematics in the Age of the Turing Machine	2013	Thomas Hales
+	Proofs in Mathematics	1997	G. G. Lorentz
+	Proofs in Mathematics	1997	G. G. Lorentz
+	Diagrammatic Proofs in Mathematics: (Almost) 20 Years of Research	2024	Valeria Giardino
+	Diagrammatic Proofs in Mathematics: (Almost) 20 Years of Research	2023	Valeria Giardino
+ PDF Chat	Mathematics in the age of the Turing machine	2014	Thomas C. Hales
+	An Introduction to Proofs and the Mathematical Vernacular 1	2012	Martin V. Day
+	A Philosophical Examination of Proofs in Mathematics	2007	Eric Almeida
+	Proofs by Mathematical Induction in Mathematics and Computer Science	2005	Vinit Shah
+	Introduction to Proofs in Mathematics	1990	James Franklin Albert Daoud
+ PDF Chat	Computer Theorem Proving in Mathematics	2004	Carlos Simpson
+	A new type of mathematics?	2014	Don Monroe
+	Proof in Mathematics: "If," "Then," and "Perhaps" (Book)	2004	Walter J. Sanders
+	Computer programs and mathematical proofs	1991	Robert D. Gray
+	Computers in mathematics : a sourcebook of ideas	1979	David H. Ahl
+	Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?	2012	Ulianov Montaño
+	Proof, Proving and Mathematics Curriculum	2017	Thomas K. Varghese
+	Mathematics in a Nutshell	1944	G. A. Miller
+	Mathematics in a Nutshell	1944	G. A. Miller
+	Proof techniques for advanced mathematics	1984	Daniel Solow

Action	Title	Year	Authors
+ PDF Chat	A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving	2012	Freek Wiedijk

Action	Title	Year	Authors
+	Foundations of Constructive Mathematics: Metamathematical Studies	1985	Michael Beeson
+	On the Reinhardt Conjecture	2011	Thomas C. Hales
+ PDF Chat	Dense Crystalline Dimer Packings of Regular Tetrahedra	2010	Elizabeth R. Chen Michael Engel Sharon C. Glotzer
+	On the history of Fermat’s last theorem: fresh views on an old tale	2010	Leo Corry
+ PDF Chat	The uniqueness of groups of Lyons type	1992	Michael Aschbacher Yoav Segev
+ PDF Chat	Homotopy hyperbolic 3-manifolds are hyperbolic	2003	David Gabai G. Robert Meyerhoff Nathaniel Thurston
+	New upper bounds for kissing numbers from semidefinite programming	2007	Christine Bachoc Frank Vallentin
+	Packing, tiling, and covering with tetrahedra	2006	John H. Conway S. Torquato
+	Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0	2010	Manjul Bhargava Arul Shankar
+ PDF Chat	A proof of the Kepler conjecture	2005	Thomas Hales