|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||categorize this paper)|
|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 downloads32 ( #43,378 of 722,742 )
Recent downloads (6 months)2 ( #36,438 of 722,742 )
How can I increase my downloads?