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 (2010)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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 | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesA. S. Troelstra (1973). Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. New York,Springer.
Samuel R. Buss (1994). On Gödel's Theorems on Lengths of Proofs I: Number of Lines and Speedup for Arithmetics. Journal of Symbolic Logic 59 (3):737-756.
Gregor Damschen (2011). Questioning Gödel's Ontological Proof: Is Truth Positive? European Journal for Philosophy of Religion 3 (1):161-169.
C. Anthony Anderson (1990). Some Emendations of Gödel's Ontological Proof. Faith and Philosophy 7 (3):291-303.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-07-14Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
