‘Metamathematics’ in Transition

History and Philosophy of Logic 32 (4):333 - 358 (2011)
  Copy   BIBTEX

Abstract

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. What is this: metamathematics? It is something amazing everybody, [?] since it makes the mind dizzy and withdraws thinking its sole fulcrum.1 1 Brunner 1898, p. 832: ?Was ist das: Metamathematik? Es ist etwas, was einen Jeden in das äusserste Staunen versetzt, [?] was das Gehirn schwindlig macht und dem Denken seinen einzigen Stütz- und Angelpunkt zu entziehen droht?

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.
Metamathematics and the philosophy of mind.Judson Webb - 1968 - Philosophy of Science 35 (June):156-78.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Pułapki komputacjonizmu.Józef Dębowski - 2004 - Filozofia Nauki 1.
Scientific Theories, Models and the Semantic Approach.Krause Décio & Bueno Otávio - 2007 - Principia: An International Journal of Epistemology 11 (2):187-201.
New set-theoretic axioms derived from a lean metamathematics.Jan Mycielski - 1995 - Journal of Symbolic Logic 60 (1):191-198.

Analytics

Added to PP
2011-10-19

Downloads
28 (#487,591)

6 months
3 (#439,386)

Historical graph of downloads
How can I increase my downloads?