The Reasoner 2 (3):6 (2008)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
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.
Can There Be a Proof That an Unprovable Sentence of Arithmetic is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (43):289-292.
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Added to index2010-09-04
Total downloads41 ( #127,837 of 2,177,967 )
Recent downloads (6 months)1 ( #317,205 of 2,177,967 )
How can I increase my downloads?