'Metamathematics' in Transition

History and Philosophy of Logic 32 (4):333 - 358 (2011)
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?
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2011.576855
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 20,860
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Wilfried Sieg (1999). Hilbert's Programs: 1917-1922. Bulletin of Symbolic Logic 5 (1):1-44.
W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic

View all 29 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index

2011-10-19

Total downloads

10 ( #336,591 of 1,906,981 )

Recent downloads (6 months)

2 ( #345,326 of 1,906,981 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.