An Introduction to Godel's Theorems

by

Write The First Customer Review

In 1931, the young Kurt Godel 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. Godel 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, ...

An Introduction to Godel's Theorems 2013, Cambridge University Press, Cambridge

ISBN-13: 9781107606753

2nd Revised edition

Trade paperback

Select
An Introduction to Godel's Theorems 2013, Cambridge University Press, Cambridge

ISBN-13: 9781107022843

2nd Revised edition

Hardcover

Select
An Introduction to Godel's Theorems 2007, Cambridge University Press, Cambridge

ISBN-13: 9780521674539

Trade paperback

Select
An Introduction to Godel's Theorems 2007, Cambridge University Press, Cambridge

ISBN-13: 9780521857840

Hardcover

Select