Gödel's Second Incompleteness Theorem for General Recursive Arithmetic

Mathematical Logic Quarterly 24 (25‐30):457-459 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242513

Other Versions

reprint Ryan, William (1978) "Gödel's Second Incompleteness Theorem for General Recursive Arithmetic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(25-30):457-459

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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.
Gödel's Second Theorem for Elementary arithmetic.Lawrence J. Pozsgay - 1968 - Mathematical Logic Quarterly 14 (1-5):67-80.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
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.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript

Analytics

Added to PP
2013-11-24

Downloads
15 (#1,234,880)

6 months
6 (#862,561)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.

Add more references