Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611
  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Gödel, Kurt

Paperback

Series: Dover Books on Mathematics

Fiction

Publisher Price: $9.95

ISBN10: 0486669807
ISBN13: 9780486669809
Publisher: Dover Pubn Inc
Published: Apr 1 1992
Pages: 80
Weight: 0.20
Height: 0.30 Width: 4.90 Depth: 7.80
Language: English

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, 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. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.

Also in

Fiction