by Ernest Nagel
In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged ce…