Gödel's proof
Ernest Nagel (Author), James R. Newman (Author)
In 1931 Kurt Gödel published his paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Gödel's paper challenged certain basic assumptions underlying much research in mathematics and logic. However, few scholars were unable to understand Gödel's ideas. Ernest Nagel and James Newman provide a readable and accessible explanation of the main ideas and broad implications of Gödel's discovery
Print Book, English, 2018
ix, 118 pages ; 23 cm.
9780359079261, 0359079261
1057623639
Introduction
The problem of consistency
Absolute proofs of consistency
The systematic codification of formal logic
An example of a successful absolute proof of consistency
The idea of mapping and its use in mathematics
Gödel's proofs
Concluding Reflections
Originally published by New York University Press (1958)