Gödel’s life and work
Solomon Feferman, John W Dawson, Stephen Cole Kleene, Gregory Martin Moore, Robert M Solovay, Jean van HEIJENOORT · 2001
Abstract Kurt Gödel’s striking fundamental results in the decade 1929-1939 transformed mathematical logic and established him as the most important logician of the 20th century. His work influenced practically all subsequent developments in the subject as well as all further thought about the foundations of mathematics. The results that made Gödel famous are the completeness of first-order logic, the incompleteness of axiomatic systems containing number theory and, finally, the consistency of the axiom of choice. and the continuum hypothesis with the other axioms of set theory. During the same decade he made other less dramatic but still significant contributions to logic, including work on the decision problem, intuitionism and notions of computability.