Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. An Introduction to Gödel's Theorems
  • Cited by 36
    • 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:
      Invalid date
      February 2013
      ISBN:
      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.