Arithmetic and Logic Incompleteness: the Link

&
The Reasoner 2 (3):6 (2008)
  Copy   BIBTEX

Abstract

We show how second order logic incompleteness follows from incompleteness of arithmetic, as proved by Gödel

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Three theorems of Godel.Andrew Boucher - manuscript
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
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.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Incompleteness and undecidability.Peter Smith - unknown
Can There be a Proof that an Unprovable Sentence of Arithmetic is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (43):289-292.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Arytmetyka i intensjonalność.Cezary Cieśliński - 2001 - Filozofia Nauki 4.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown

Analytics

Added to PP
2010-09-04

Downloads
58 (#265,779)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Laureano Luna
Universidad Nacional de Educación a Distancia (PhD)
Alex Blum
New York University (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references