Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel
4.49/5 (384 ratings)
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
Format:
Pages:
pages
Publication:
Publisher:
Edition:
Language:
ISBN10:
0486669807
ISBN13:
9780486669809
kindle Asin:
B00A44R3E8

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel
4.49/5 (384 ratings)
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
Format:
Pages:
pages
Publication:
Publisher:
Edition:
Language:
ISBN10:
0486669807
ISBN13:
9780486669809
kindle Asin:
B00A44R3E8