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 Citation URI

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/)

Book
Emanuele Gambetta;
(2020)

Philosophy of the Infinite
(/isis/citation/CBB368392118/)

Article
Franks, Curtis;
(2009)

The Gödelian Inferences
(/isis/citation/CBB001211043/)

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
Sayward, Charles;
(2005)

Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth
(/isis/citation/CBB000933620/)

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/)

Article
Nastasi, Tina;
(2008)

La storia del pensiero scientifico e il suo significato nell'opera di Federigo Enriques
(/isis/citation/CBB001024085/)

Book
Mancosu, Paolo;
(2010)

The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900--1940
(/isis/citation/CBB001232397/)

Book
Tieszen, Richard L.;
(2011)

After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)

Article
Manzano, Maria;
Alonso, Enrique;
(2014)

Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)

Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)

Kurt Gödel: Collected Works: Volume IV
(/isis/citation/CBB660754544/)

Be the first to comment!