Cover of Gödel's proof

Gödel's proof

by Ernest Nagel, James Roy Newman

1958 118 pages eng ★ 3.7 (9 ratings)

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. Godel received public recognition of his work in…

Read online

Reader not loading? Open it on Archive.org instead.