Odel and the metamathematical tradition
| Abstract | The metamathematical tradition that developed from Hilbert’s program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although G¨. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJavier Legris (2001). Deducción Y Conocimiento En Los Orígenes de la Teoría de la Demostración (Deduction and Knowledge in the Origins of Proof Theory). Theoria 16 (3):521-538.
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.
Jeremy Avigad (2010). Proof Theory. Gödel and the Metamathematical Tradition. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
John Kadvany (1991). Dialectic and Diagonalization. Inquiry 34 (1):3 – 25.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
