The Surveyability of Long Proofs

Edwin Coleman

Type: Article

Publication Date: 2008-10-29

Citations: 19

DOI: https://doi.org/10.1007/s10699-008-9145-8

Similar Works

Action	Title	Year	Authors
+	Nonexistence of Short Proofs	2024
+	The Nuts and Bolts of Proofs	2013
+	The Nuts and Bolts of Proofs	2005
+	The Nuts and Bolts of Proofs	2023
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Universality of proofs	2017	Gilles Dowek Catherine Dubois Brigitte Pientka Florian Rabe
+	Collection of Proofs	2005	Antonella Cupillari
+	Introduction to Proofs	2019	Neil R. Nicholson
+	Review: Samuel R. Buss, Handbook of Proof Theory: The Lengths of Proofs	2000	Toshiyasu Arai
+	Proofs and Algorithms	2011	Gilles Dowek
+	A Legacy of Elusive Proofs	2011	Steven G. Krantz
+	The Meaning of Proofs	2022
+	Hilbert-style Proofs	1993	David Gries Fred B. Schneider
+ PDF Chat	A Note on the Length of Proofs	1994	Tsuyoshi Yukami
+	The Book of Proofs	2013

Action	Title	Year	Authors
+ PDF Chat	The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems	2019	Lev D. Lamberov
+	On Trust in Mathematics: Some Case Studies	2020	Luca Bellotti Enrico Moriconi
+ PDF Chat	Revisiting the reliability of published mathematical proofs: where do we go next?	2014	Joachim Frans Laszlo Kosolosky
+ PDF Chat	Dispositifs producteurs de l’évidence géométrique d’une preuve formelle	2023	Bruno Leclercq
+	Verifier Theory and Unverifiability	2016	Roman V. Yampolskiy
+	Argumentation in Mathematical Practice	2023	Andrew Aberdein Zoe Ashton
+	Unexplainability and Incomprehensibility of Artificial Intelligence	2019	Roman V. Yampolskiy

Action	Title	Year	Authors
+	Quadratic Reciprocity in a Finite Group	2005	William Duke Kimberly Hopkins
+ PDF Chat	What is good mathematics?	2007	Terence Tao
+	The Nature of Mathematical Knowledge	1985	Philip Kitcher
+	Modular Elliptic Curves and Fermat's Last Theorem	1995	Andrew Wiles
+	Metaphysical Myths, Mathematical Practice	1994	Jody Azzouni