• See large image

  On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Dover Books on Mathematics) (Paperback) By (author) Kurt Gödel

  

  $6.26 - Save $6.36 50% off - RRP $12.62 Free delivery worldwide (to United States and
  all these other countries) Usually dispatched within 48 hours Add to basket | Add to wishlist |

  Short Description for On Formally Undecidable Propositions of "Principia Mathematica" and Related SystemsFirst 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. Introduction by R. B. Braithwaite.
  Full description

  • Publisher: Dover Publications Inc.
  • Published: 01 April 1992
  • Format: Paperback 80 pages
  • See: Full bibliographic data
  • Categories: Mathematics | Mathematical Logic
  • ISBN 13: 9780486669809 ISBN 10: 0486669807
  • Sales rank: 118,343

• Godel's Proof

  

  Add to basket $19.89 - Save $2.21 (10%) - RRP $22.10

• The Consistency of the Continuum...

  

  Add to basket $20.25 - Save $0.29 (1%) - RRP $20.54

• Fundamentals of Mathematical Log...

  

  Add to basket $95.24 - Save $10.59 (10%) - RRP $105.83

• Proofs that Really Count

  

  Notify me Currently unavailable

• A Primer of Infinitesimal Analys...

  

  Add to basket $19.34 - Save $2.14 (9%) - RRP $21.48

Full description for On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems

• 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.