“Clarifying the nature of the infinite”: The development of metamathematics and proof theory
| Abstract | We discuss the development of metamathematics in the Hilbert school, and Hilbert’s proof-theoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how these considerations help frame our understanding of metamathematics and proof theory today. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesA. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Matthias Schirn & Karl-Georg Niebergall (2001). Extensions of the Finitist Point of View. History and Philosophy of Logic 22 (3):135-161.
A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Matthias Wille (2011). 'Metamathematics' in Transition. History and Philosophy of Logic 32 (4):333 - 358.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads30 ( #40,877 of 549,122 )Recent downloads (6 months)3 ( #25,740 of 549,122 )How can I increase my downloads? |
My notes
Discussion
