Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. An Introduction to Gödel's Theorems
  • The digital format of this book is no longer available to purchase from Cambridge Core. Other formats may be available.
    • 2nd edition
    Show more authors
    • You may already have access via personal or institutional login
  • Select format
  • Publisher:
    Cambridge University Press
    Publication date:
    05 March 2013
    21 February 2013
    ISBN:
    9781139149105
    9781107606753
    DOI:
    https://doi.org/10.1017/CBO9781139149105
    Dimensions:
    Weight & Pages:
    Dimensions:
    (247 x 174 mm)
    Weight & Pages:
    0.79kg, 402 Pages
    • Subjects:
    Mathematics, Logic, Categories and Sets, Philosophy: General Interest, Logic, Philosophy
    Series:
    Cambridge Introductions to Philosophy
You may already have access via personal or institutional login
Selected: Digital
Add to cart View cart Buy from Cambridge.org
Subjects:
Mathematics, Logic, Categories and Sets, Philosophy: General Interest, Logic, Philosophy
Series:
Cambridge Introductions to Philosophy
Information

Book 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.

Reviews

'Smith breathes new life into the work of Kurt Godel in this second edition … Recommended. Upper-division undergraduates through professionals.'

R. L. Pour Source: Choice

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Page 1 of 2

Contents

Page 1 of 2

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.

Accessibility standard: Unknown

Why this information is here

This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.

Accessibility Information

Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.