Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a)

Home Philosophy Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency

Chapter

Licensed

Unlicensed Requires Authentication

Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency

KURT GÖDEL (1930b, 1931, and 1931a)

Published by

View more publications by Harvard University Press

To Publisher Page

This chapter is in the book Frege and Gödel

MLA
APA
Harvard
Chicago
Vancouver

MLA
APA
Harvard
Chicago
Vancouver

"Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a)". Frege and Gödel: Two Fundamental Texts in Mathematical Logic, edited by Jean van Heijenoort, Cambridge, MA and London, England: Harvard University Press, 1970, pp. 83-110. https://doi.org/10.4159/harvard.9780674864603.c3

(1970). Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In J. Heijenoort (Ed.), Frege and Gödel: Two Fundamental Texts in Mathematical Logic (pp. 83-110). Cambridge, MA and London, England: Harvard University Press. https://doi.org/10.4159/harvard.9780674864603.c3

1970. Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In: Heijenoort, J. ed. Frege and Gödel: Two Fundamental Texts in Mathematical Logic. Cambridge, MA and London, England: Harvard University Press, pp. 83-110. https://doi.org/10.4159/harvard.9780674864603.c3

"Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a)" In Frege and Gödel: Two Fundamental Texts in Mathematical Logic edited by Jean van Heijenoort, 83-110. Cambridge, MA and London, England: Harvard University Press, 1970. https://doi.org/10.4159/harvard.9780674864603.c3

Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In: Heijenoort J (ed.) Frege and Gödel: Two Fundamental Texts in Mathematical Logic. Cambridge, MA and London, England: Harvard University Press; 1970. p.83-110. https://doi.org/10.4159/harvard.9780674864603.c3

Copy

Copied to clipboard

BibTeX EndNote RIS

You are currently not able to access this content.

Chapters in this book

Frontmatter i
Preface v
Contents vii
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought 1
Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency 83
References 111
Index 117

Search book Search the content of this book

https://doi.org/10.4159/harvard.9780674864603.c3

Chapters in this book

Frontmatter i
Preface v
Contents vii
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought 1
Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency 83
References 111
Index 117

Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency

Chapter PDF View

Chapters in this book

Chapters in this book

Chapters in this book