On Formally Undecidable Propositions of Principia Mathematicon Formally Undecidable Propositions of Principia Mathematica and Related Systems A and Re

Descriere

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 offered detailed proof, tha...