On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Revised)

"On Formally Undecidable Propositions of Principia Mathematica and Related Systems" is a groundbreaking work by the Austrian logician Kurt Gödel, first published in 1931. In this profound paper, Gödel introduces his incompleteness theorems, which demonstrate the inherent limitations of formal mathematical systems like those presented in *Principia Mathematica* by Whitehead and Russell. Gödel’s first incompleteness theorem shows that within any sufficiently complex formal system, there are propositions that cannot be proven or disproven using the system's own rules. His second incompleteness theorem further reveals that such a system cannot prove its own consistency. These results had a revolutionary impact on the foundations of mathematics and logic, fundamentally altering how mathematicians and philosophers understand the limits of formal reasoning.

This revised edition provides additional context and commentary, making Gödel's intricate ideas more accessible to modern readers. "On Formally Undecidable Propositions" remains one of the most influential works in logic, mathematics, and philosophy, challenging assumptions about the completeness and consistency of mathematical systems and reshaping the landscape of formal logic.

Product Details:

• ISBN: 0486669807
• EAN: 9780486669809
• Publisher: Dover Publications
  
• Binding: Paperback
• Copyright Date: 1992
• Pub Date: April 01, 1992
• Physical Info: 0.76 cms H x 19.81 cms L x 12.45 cms W (0.09 kgs), 80 pages