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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,601

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

Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Mathematical Logic Quarterly 24 (25‐30):457-459.
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.
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.
Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.
Towards metamathematics of weak arithmetics over fuzzy logic.Petr Hájek - 2011 - Logic Journal of the IGPL 19 (3):467-475.
An Incompleteness Theorem Via Ordinal Analysis.James Walsh - 2024 - Journal of Symbolic Logic 89 (1):80-96.
Generalizations of gödel’s incompleteness theorems for ∑ N-definable theories of arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript

Analytics

Added to PP
2010-09-04

Downloads
62 (#363,793)

6 months
2 (#1,332,066)

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