Boolos' nonconstructive proof of Gödel's theorem

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

  • Only published works are available at libraries.

My notes

Similar books and articles

On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Wittgenstein as his own worst enemy: The case of gödel's theorem.Mark Steiner - 2001 - Philosophia Mathematica 9 (3):257-279.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Edgar Morin's paradigm of complexity and gödel's incompleteness theorem.Yi-Zhuang Chen - 2004 - World Futures 60 (5 & 6):421 – 431.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Gödel's second incompleteness theorem explained in words of one syllable.George Boolos - 1994 - Mind 103 (409):1-3.
Gödel's proof.Ernest Nagel - 1958 - [New York]: New York University Press. Edited by James Roy Newman.
The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
Review: V. A. Uspensky, Neal Koblitz, Godel's Incompleteness Theorem. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (2):889-891.
Human and machine interpretation of expressions in formal systems.Herbert A. Simon & Stuart A. Eisenstadt - 1998 - Synthese 116 (3):439-461.

Analytics

Added to PP
2013-11-22

Downloads
8 (#1,287,956)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references