On formally undecidable propositions of Principia mathematica and related systems

Author(s)

• Gödel, Kurt
• Meltzer, Bernard
• Braithwaite, R. B. (Richard Bevan)

Bibliographic Information

On formally undecidable propositions of Principia mathematica and related systems

Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite

Dover Publications, 1992

• : pbk

Other Title

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Note

Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198

Reprint. Originally published: New York : Basic Books, c1962

Includes bibliographical references

Details

• NCID: BA20362041
• ISBN:
  • 0486669807
• LCCN: 91045947
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: New York
• Pages/Volumes: viii, 72 p.
• Size: 21 cm
• Classification:
  • LCC : QA248
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Gödel's theorem