On the complexity of Gödel's proof predicate
Journal of Symbolic Logic 75 (1):239-254 (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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesYi-Zhuang Chen (2004). Edgar Morin's Paradigm of Complexity and Gödel's Incompleteness Theorem. World Futures 60 (5 & 6):421 – 431.
Neil Thompson (2012). Arithmetic Proof and Open Sentences. Philosophy Study 2 (1):43-50.
Srećko Kovač (2012). Modal Collapse in Gödel's Ontological Proof. In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag.
C. Anthony Anderson (1990). Some Emendations of Gödel's Ontological Proof. Faith and Philosophy 7 (3):291-303.
Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman & Moritz Müller (2011). Strong Isomorphism Reductions in Complexity Theory. Journal of Symbolic Logic 76 (4):1381-1402.
Gregor Damschen (2011). Questioning Gödel's Ontological Proof: Is Truth Positive? European Journal for Philosophy of Religion 3 (1):161-169.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Carlo Cellucci (1985). Proof Theory and Complexity. Synthese 62 (2):173 - 189.
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.
Neil Tennant (2002). Deflationism and the Gödel Phenomena. Mind 111 (443):551-582.
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Nathan Segerlind (2007). The Complexity of Propositional Proofs. Bulletin of Symbolic Logic 13 (4):417-481.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads7 ( #133,532 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
