On Formally Undecidable Propositions of Principia Mathematica and Related Systems
by Kurt Gödel
Description
This landmark work presents Kurt Gödel’s proof that any consistent formal system powerful enough to express basic arithmetic contains propositions that cannot be proved or disproved within the system itself. It also examines the limits of formal mathematical reasoning and demonstrates how a system cannot establish its own consistency using only its internal methods. Precise, rigorous, and profoundly influential, the work transformed the philosophy of mathematics and shaped modern logic, computer science, and theories of computation. An essential text for readers interested in the foundations of mathematics, the nature of proof, and the boundaries of human knowledge.
Available Editions
paperback
Dover Publications
Published Jan 1, 1992
72 pages
ISBN: 9780486669809
Reviews
1 rating
No written reviews yet.
Details
First Published
1962
Language
eng
Translation
From: deu
Content Warnings
No content warnings identified.