On Formally Undecidable Propositions of Principia Mathematica and Related Systems
by Kurt Gödel
4.48(417 ratings)
In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and of…