Ernest Nagel, James R. Newman

Godel's Proof

• Broschiertes Buch

Produktbeschreibung

In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Godel's discovery.

Produktdetails

• Verlag: New York University Press
• Seitenzahl: 160
• Erscheinungstermin: 1. Oktober 2008
• Englisch
• Abmessung: 201mm x 128mm x 12mm
• Gewicht: 186g
• ISBN-13: 9780814758373
• ISBN-10: 0814758371
• Artikelnr.: 23880149

Autorenporträt

Ernest Nagel, James R. Newman

Inhaltsangabe

Chapter 1 Introduction; Chapter 2 The Problem of Consistency; Chapter 3 Absolute Proofs of Consistency; Chapter 4 The Systematic Codification of Formal Logic; Chapter 5 An Example of a Successful Absolute Proof of Consistency; Chapter 6 The Idea of Mapping and Its Use in Mathematics; Chapter 7 Gödel's Proofs; Chapter 8 Concluding Reflections;