An Introduction to Gödel's Theorems (Cambridge... by Peter Smith

see page historyNotify me when this page changes.

Description edit see section history

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.... read more

Ridiculously Simplified Synopsis edit

Write a ridiculously simplified synopsis.

Characters/People edit see section history

Gödel: Add a description of this character.
Frege
Rosser
Russell
Hilbert
Goldbach
Mendelson
Craig
Whitehead
Boolos
Ackermann
Black
Tarski

Show all 13 characters

Popular Covers

Loading covers…

Choose your book’s cover

Setting & Locations edit see section history

Authors & Contributors edit see section history

Peter Smith (Author)

Classification edit see section history

Library of Congress: Add the Library of Congress Classification.
Dewey: 511.3

Subjects edit see section history

Books › Professional & Technical › Professional Science › Mathematics › Pure Mathematics › Logic
Books › Science › Mathematics › Pure Mathematics › Logic
Books › Nonfiction › Philosophy › Logic & Language

Popular Tags

We’re hiding the errata, movie connections, books that influenced this book, books influenced by this book, books that cite this book and books cited by this book sections. If you would like to add content to them, you must first make them visible.

Did you know you can edit this page?

An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) (edit title/settings)

by Peter Smith (Author) (edit contributors)