It is typically recognized that Gödel's negative results undermined Hilbert's Program, at least in its strictest form. In this paper we point out the way in which Hilbert himself had created the possibility of Gödel doing so. We highlight the crucial role Hilbert played in the evolution and stabilization of the term completeness, and analyze the impact of his work on results obtained by researchers working close to him, but also by authors belonging to different traditions of mathematical practice, and whose views (that is, mathematical and philosophical views) on the nature of their field did not coincide with those of Hilbert; the major example here is Kurt Gödel. Furthermore, we show that an informal version of the modern notion of completeness is already presented by Hilbert as early as 1899. Our historiographical objective is thus twofold: on the one hand, to suggest a new way of showing what we mean when we say that the completeness theorem took about thirty years to be stated as such, and merely one year to be resolved; and on the other, to point out networks of exchange of ideas and the double nature of these ideas, as mathematical practices, and as (meta)mathematical or epistemological views.
...More
Article
Formica, Giambattista;
(2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections
(/isis/citation/CBB001034599/)
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Book
Stephen Budiansky;
(2021)
Journey to the Edge of Reason: The Life of Kurt Gödel
(/isis/citation/CBB142778671/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Book
Maximilien Winter;
Mario Castellana;
(2020)
Il metodo storico-critico per una nuova filosofia delle matematiche
(/isis/citation/CBB566074252/)
Article
Oscar Orellana Estay;
Ronald Durán Allimant;
(2016)
Sobre el realismo matemático de Zubiri y su interpretación de los teoremas de Gödel y Cohen
(/isis/citation/CBB213803167/)
Article
Sayward, Charles;
(2005)
Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth
(/isis/citation/CBB000933620/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Franks, Curtis;
(2009)
The Gödelian Inferences
(/isis/citation/CBB001211043/)
Book
Emanuele Gambetta;
(2020)
Philosophy of the Infinite
(/isis/citation/CBB368392118/)
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Book
Mario Castellana;
(2019)
Federigo Enriques e la “Nuova Epistemologia”
(/isis/citation/CBB605748137/)
Chapter
María Paz;
(2014)
The Third Way Epistemology: A Re-characterization of Poincaré’s Conventionalism
(/isis/citation/CBB858791402/)
Article
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
(/isis/citation/CBB257161891/)
Book
Mancosu, Paolo;
(2010)
The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900--1940
(/isis/citation/CBB001232397/)
Article
Nastasi, Tina;
(2008)
La storia del pensiero scientifico e il suo significato nell'opera di Federigo Enriques
(/isis/citation/CBB001024085/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Book
Landini, Gregory;
(2010)
Russell
(/isis/citation/CBB001500071/)
Chapter
Beaney, Michael;
(2006)
Frege and the Role of Historical Elucidation: Methodology and the Foundations of Mathematics
(/isis/citation/CBB000800117/)
Be the first to comment!