In this paper, we trace the conceptual history of the term `metamathematics' in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of `metamathematics' in the final decades of the nineteenth century. Finally, we will investigate the earlier occurrences and come to the conclusion that the conceptual prehistory of the Hilbertian notion of metamathematics dates back to 1870, whereas the history of the word starts in 1799 at the latest.
...More
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Article
Centrone, Stefania;
(2012)
Strenge Beweise und das Verbot der metábasis eis állo génos
(/isis/citation/CBB001210991/)
Chapter
Mancosu, Paolo;
Zach, Richard;
Badesa, Calixto;
(2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935
(/isis/citation/CBB001210349/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Book
Hilbert, David;
Ewald, William;
Sieg, Wilfried;
Hallett, Michael;
Majer, Ulrich;
Schlimm, Dirk;
(2013)
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917--1933
(/isis/citation/CBB001551530/)
Book
Gabriele Lolli;
(2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento
(/isis/citation/CBB100106060/)
Article
Sieg, Wilfried;
(2014)
The Ways of Hilbert's Axiomatics: Structural and Formal
(/isis/citation/CBB001213914/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Article
Abrusci, V. Michele;
(2014)
On Hilbert's Axiomatics of Propositional Logic
(/isis/citation/CBB001213913/)
Article
Marc Parmentier;
(2015)
Leibniz et le virtuel
(/isis/citation/CBB764317706/)
Article
Jan Vrhovski;
(2021)
‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945
(/isis/citation/CBB138107081/)
Article
Schwartz, Stephen P.;
(2013)
Mill and Kripke on Proper Names and Natural Kind Terms
(/isis/citation/CBB001201143/)
Article
Stillwell, John;
(2014)
Ideal Elements in Hilbert's Geometry
(/isis/citation/CBB001213909/)
Article
Ausejo Martínez, Elena;
Ausejo Lifante, Elena;
(2017)
Correspondencia de Zoel García de Galdeano con matemáticos alemanes: Georg Cantor
(/isis/citation/CBB631684117/)
Article
June Barrow-Green;
Reinhard Siegmund-Schultze;
(2016)
“The First Man on the Street” — Tracing a Famous Hilbert Quote (1900) Back to Gergonne (1825)
(/isis/citation/CBB380975266/)
Book
Cantor, Georg;
Ferreirós, José;
(2006)
Fundamentos para una teoría general de conjuntos: Escritos y correspondencia selecta
(/isis/citation/CBB000930382/)
Book
Emanuele Gambetta;
(2020)
Philosophy of the Infinite
(/isis/citation/CBB368392118/)
Book
Corry, Leo;
(2004)
David Hilbert and the Axiomatization of Physics (1898-1918): From Grundlagen der Geometrie to Grundlagen der Physik
(/isis/citation/CBB000550055/)
Thesis
Ogawa, Yoshinori;
(2002)
The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics
(/isis/citation/CBB001562203/)
Chapter
Reich, Karin;
(2008)
Der Desarguessche und der Pascalsche Satz: Hessenbergs Beitrag zu Hilberts Grundlagen der Geometrie
(/isis/citation/CBB000950185/)
Be the first to comment!