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

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel, Bernard Meltzer

80 pages • first pub 1992 (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...