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

Stefan Bauer-Mengelberg

Download from

dx.doi.org

More download options

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 [Book Review]

Stefan Bauer-Mengelberg

Journal of Symbolic Logic 31 (3):484-494 (1966)

@article{Bauer-Mengelberg1966-BAUMDO-4,
	author = {Stefan Bauer{-}Mengelberg},
	doi = {10.2307/2270465},
	journal = {Journal of Symbolic Logic},
	number = {3},
	pages = {484--494},
	title = {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\"{o}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\"{o}del. On Undecidable Propositions of Formal Mathematical Systems. A Revised Reprint of 41814. The Undecidable, Basic Papers on Undecida},
	volume = {31},
	year = {1966}
}

Bauer-Mengelberg, Stefan (1966). 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. Journal of Symbolic Logic 31 (3):484-494.

Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Zotero

EndNote

Reference Manager

RefWorks

Options

Edit

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Keywords

Add keywords

Reprint years

1996

DOI

10.2307/2270465

Other Versions

No versions found

My notes

Similar books and articles

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. Hewlett, NY, USA: Dover Publication. pp. 230.

The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions.Martin Davis - 1966 - Journal of Symbolic Logic 31 (3):484-494.

Finite combinatory processes. Formulation I.Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Hewlett, NY, USA: Dover Publication. pp. 289.

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.

I wish to express here my gratitude to various members of the Department of Mathematics of Cornell University who obliged me by critically reading various drafts of this paper. Bibliography.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Hewlett, NY, USA: Dover Publication. pp. 230.

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. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (3):357-359.

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.

The Undecidable. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):611-612.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems I.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):359-362.

Analytics

Added to PP
2013-11-03

Downloads
75 (#275,753)

6 months
16 (#177,917)

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

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Abstract

Categories

Keywords

Reprint years

DOI

Other Versions

Links

PhilArchive

External links

Through your library

My notes

Similar books and articles

Analytics

Citations of this work

References found in this work