Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel

British Journal for the Philosophy of Science 3 (12):364-374 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

  • This entry has no external links. Add one.
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

The Diagonal Method in Formalized Arithmetic. [REVIEW]G. Kreisel - 1953 - British Journal for the Philosophy of Science 3 (12):364-374.
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.
Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel.G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Mostowski Andrzej. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1952, VIII + 117 pp. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Remarks on formalized arithmetic and subsystems thereof.C. Brink - unknown
Some results on measure independent gödel speed-ups.Martin K. Solomon - 1978 - Journal of Symbolic Logic 43 (4):667-672.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
Incompleteness and undecidability.Peter Smith - unknown
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.

Analytics

Added to PP
2017-02-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Conservative deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.
Another Look at Reflection.Martin Fischer - 2021 - Erkenntnis 88 (2):479-509.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references