B. Meltzer. Preface. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. vii–viii. - R. B. Braithwaite. Introduction. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. 1–32 [Book Review]

Journal of Symbolic Logic 30 (3):357-359 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269628

Links

PhilArchive



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

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

Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by B. Meltzer. Oliver & Boyd, Edinburgh and London1962, pp. 37–72. [REVIEW]Stefan Bauer-Mengelberg - 1965 - Journal of Symbolic Logic 30 (3):359-362.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):359-362.
Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecida. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
On Formally Undectdable Propositions of Principia Mathematica and Related Systems.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):357-359.
On formally undecidable propositions of principia mathematica and related systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1970 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.
An Indian solution to 'incompleteness'.U. A. Vinaya Kumar - 2009 - AI and Society 24 (4):351-364.
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.
On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
Obras completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza universidad. Alianza Editorial, Madrid 1981, 430 pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Mosterín Jesús of 4182.Gödel Kurt. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by Mosterín Jesús of 4181.Gödel Kurt. Sobre sentencias formalmente indecidibles de Principia mathematica y sistemas afines. Pp. 55–89. Spanish translation by Mosterín Jesús of 4185 with an added note from XXXVII 405.Gödel Kurt. Sobre completud y consiste. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
Right and Wrong. By A. SPIR. Translated by A. F. Falconer. (Edinburgh: Oliver and Boyd. 1954. St. Andrew's University Publications. Pp. viii + 86. Price 10s. 6d.). [REVIEW]A. C. Ewing - 1955 - Philosophy 30 (113):184-.
A Meltzer Reader: Selections From the Writings of Donald Meltzer.Donald Meltzer - 2010 - Published for the Harris Meltzer Trust by Karnac Books. Edited by Meg Harris Williams.
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.
Extensions of some theorems of Godel and church.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.

Analytics

Added to PP
2013-11-22

Downloads
22 (#713,803)

6 months
1 (#1,478,500)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references