Godel's Incompleteness Theorems


Write The First Customer Review
Godel's Incompleteness Theorems - Smullyan, Raymond M

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory ...

Godel's Incompleteness Theorems 1992, Oxford University Press, USA, New York, NY

ISBN-13: 9780195046724