On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Bernard Meltzer, Kurt Gödel

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Bernard Meltzer, Kurt Gödel

80 pages • first pub 1992 (view editions)

nonfiction mathematics philosophy science challenging informative slow-paced
Powered by AI (Beta)
Loading...

Description

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, that in any arithmetic system, even in elementary ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...