Kurt Godel (1906-1978) was an Austrian-American logician whose incompleteness theorems transformed mathematical logic. A member of the Vienna intellectual world before emigrating to the United States, he later worked at the Institute for Advanced Study in Princeton. His results reshaped debates about formal systems, proof, computation, and the limits of mechanized reasoning.
On Formally Undecidable Propositions is one of the decisive works in the history of logic. Godel addresses the dream that mathematics might be placed on a complete and consistent formal foundation, a dream associated with Hilbert's program.
