Godel's Proof

Front Cover
Lulu.com, Sep 14, 2018 - Gödel's theorem - 130 pages
0 Reviews
Reviews aren't verified, but Google checks for and removes fake content when it's identified
From the Introduction. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title ""Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme"" (""On Formally Undecidable propositions of Principia Mathematica and Related Systems""). Its author was Kurt Godel, then a young mathematician of 25 at the University of Vienna and since 1938 a permanent member of the Institute for Advanced Study at Princeton. The paper is a milestone in the history of logic and mathematics. When Harvard University awarded Godel an honorary degree in 1952, the citation described the work as one of the most important advances in logic in modern times. At the time of its appearance, however, neither the title of Godel's paper nor its content was intelligible to most mathematicians.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Problem of Consistency
8
Absolute Proofs of Consistency
26
The Systematic Codification of Formal Logic
37
An Example of a Successful Absolute Proof
45
The Idea of Mapping and Its Use in Mathematics
57
Gödels Proofs
68
B The arithmetization of metamathematics
76
The heart of Gödels argument
85
Concluding Reflections
98
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information