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.
Author
Kurt Godel
