On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Mathematics)
by Kurt Gödel
Kurt Gödel examines formally undecidable propositions in Principia Mathematica and related systems. This Dover Books on Mathematics title offers readers a focused work in mathematical logic and the study of formal reasoning.
About This Book
Kurt Gödel’s work focuses on formally undecidable propositions connected with Principia Mathematica and related systems.
This Dover Books on Mathematics edition presents a significant text in mathematical logic.
It is suited to readers exploring the relationship between formal systems, propositions, and the boundaries of mathematical reasoning.
Reviews
No reviews yet. Be the first to review this book!