Skip to content

Introduction to Gödel's Theorems

Best in textbook rentals since 2012!

ISBN-10: 1107606756

ISBN-13: 9781107606753

Edition: 2nd 2013 (Revised)

Authors: Peter Smith

List price: $28.99
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…    
Customers also bought

Book details

List price: $28.99
Edition: 2nd
Copyright year: 2013
Publisher: Cambridge University Press
Publication date: 2/21/2013
Binding: Paperback
Pages: 402
Size: 6.89" wide x 9.69" long x 0.71" tall
Weight: 1.782
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.