17. Gödel’s Proof

In Fundamentals of Ontological Commitment. De Gruyter. pp. 166-174 (2016)
Authors
Paolo Valore
Università degli Studi di Milano
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
DOI 10.1515/9783110459036-018
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,825
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Modal Collapse in Gödel's Ontological Proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson - 1990 - Faith and Philosophy 7 (3):291-303.
Gödelov ontologický dôkaz existencie Boha.Pavol Zlatoš - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (3):211-238.
Godel's Theorem in Focus.S. G. Shanker (ed.) - 1990 - Routledge.
Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.
Godel's Theorem in Focus.S. G. Shanker (ed.) - 1990 - Routledge.
Chaitin Interview for Simply Gödel Website.Palle Yourgrau - unknown
The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
On Gödel's Theorems on Lengths of Proofs I: Number of Lines and Speedup for Arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
Gödel, Truth & Proof.Jaroslav Peregrin - manuscript
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
Gödel's Proof.Ernest Nagel - 1958 - New York University Press.
Proof Theory. Gödel and the Metamathematical Tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Godel's Ontological Proof and Its Variants.Petr Hájek - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. pp. 307.

Analytics

Added to PP index
2016-01-22

Total views
3 ( #1,278,017 of 2,401,675 )

Recent downloads (6 months)
1 ( #551,964 of 2,401,675 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Sat Jan 16 07:10:16 2021 on pp1