The Reasoner 2 (3):6 (2008)

Authors
Laureano Luna
Universidad Nacional de Educación a Distancia (PhD)
Alex Blum
New York University (PhD)
Abstract
We show how second order logic incompleteness follows from incompleteness of arithmetic, as proved by Gödel
Keywords Incompleteness  Arithmetic  Logic  Gödel's Theorem
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
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

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 - Oxford, England: Oxford University Press.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Incompleteness and Inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.

Analytics

Added to PP index
2010-09-04

Total views
49 ( #233,022 of 2,518,451 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,451 )

How can I increase my downloads?

Downloads

My notes