The Reconstruction of the First K. Goedel's Incompleteness Theorem

Analytica 3:37-77 (2009)
  Copy   BIBTEX

Abstract

The aim of this paper is to reconstruct the proof of Gödel’s First incompleteness theorem. In result of the paper such proof has been constructed by methods of symbolic logic

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Godel's theorem and mechanism.David Coder - 1969 - Philosophy 44 (September):234-7.
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.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
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.
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Goedel theorem of incompleteness.I. Aimonetto - 1993 - Filosofia 44 (1):113-136.
A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem.Dirk Ullrich - 1998 - Logic and Logical Philosophy 6:173.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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