On Formally Undecidable Propositions of"Principia Mathematica"and Related Systems - Kurt Godel

On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems by Kurt Godel presents the first English translation of his revolutionary 1931 paper. This edition is a paperback from Dover Publications Inc.

Key details

• Author: Kurt Godel
• Introduction by R. B. Braithwaite
• Paperback format
• 80 pages
• Publisher: Dover Publications Inc
• Publication date: 28 March 2003

Synopsis

This landmark work established that, even within elementary parts of arithmetic, there are propositions that cannot be proved or disproved inside the system itself. It also sets out the resulting uncertainty over whether the basic axioms of arithmetic might lead to contradictions.

With an introduction by R. B. Braithwaite, it is positioned within science and mathematics, and will particularly suit readers interested in mathematics and engineering.

Rackhams Reference : EMUGNWLN3S