|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
A. 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.
Added to index2009-01-28
Total downloads30 ( #40,877 of 549,122 )
Recent downloads (6 months)3 ( #25,740 of 549,122 )
How can I increase my downloads?