Skip to content

Introduction to G�del's Theorems

ISBN-10: 1107606756

ISBN-13: 9781107606753

Edition: 2nd 2013 (Revised)

Authors: Peter Smith

Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

In 1931, the young Kurt Gödel 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. Gödel 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, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.
Customers also bought

Book details

Edition: 2nd
Copyright year: 2013
Publisher: Cambridge University Press
Publication date: 2/21/2013
Binding: Paperback
Pages: 402
Size: 7.00" wide x 10.00" long x 0.75" tall
Weight: 0.902
Language: English

Pete Smith is a Technical Architect and data warehouse specialist with a wide range of expertise from application analysis, design and development through to database design, administration and tuning. This experience covers 19 years in the IT industry, 14 of which are specifically on Oracle platforms and demonstrates a high degree of longevity and familiarity with the Oracle database server and associated products. Qualified to degree level, Pete has worked for many years as an independent Oracle consultant and, more recently, in a senior position as a Principal consultant with Oracle UK; Pete now works for a specialist UK IT consultancy.