An Introduction to Goedel's Theorems

by

Write The First Customer Review
Show Synopsis

In 1931, the young Kurt Goedel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Goedel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, ...

Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Customer Reviews

Write a Review


This item doesn't have extra editions

loading