17. Gödel’s Proof

In Fundamentals of Ontological Commitment. Boston: De Gruyter. pp. 166-174 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9783110459036-018

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.) - 1987 - 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.Stuart Shanker (ed.) - 1987 - 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 - Ithaca, NY: Association for Symbolic Logic.
Gödel's proof.Ernest Nagel - 1958 - [New York]: New York University Press. Edited by James Roy Newman.
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. New York: Cambridge University Press. pp. 307.

Analytics

Added to PP
2016-01-22

Downloads
7 (#1,356,784)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paolo Valore
Università degli Studi di Milano

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references