Gödel's Second Theorem for Elementary arithmetic

Mathematical Logic Quarterly 14 (1-5):67-80 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680140106

Other Versions

No versions found

Links

PhilArchive



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

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

Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Mathematical Logic Quarterly 24 (25‐30):457-459.
Elementary Relations Between the Fundamental Theorem of Arithmetic, schnirelmann's Classical Theorem, and goldbach's Conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13-17):199-201.
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.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
On a final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (9‐12):159-161.
Introduzione ai problemi dell'assiomatica.P. H. Nidditch & Evandro Agazzi - 1964 - Philosophical Quarterly 14 (55):181.

Analytics

Added to PP
2014-01-16

Downloads
26 (#859,286)

6 months
4 (#1,264,753)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton, N.J.: Princeton University Press. Edited by Olaf Helmer-Hirschberg & Frank Wilczek.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.

View all 6 references / Add more references