Gödel Without (Too Many) Tears

by Peter Smith

Kurt Gödel's famous First Incompleteness Theorem shows that for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory cannot prove. How is this remarkable result proved? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. Based on lecture notes for a course given in Cambridge for many years, the aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

Genres: Mathematics, Logic

137 pages, Hardcover

Published June 15, 2021

About the author

Librarian Note: There is more than one author in the GoodReads database with this name.

Reviews

[Arthur Drury]

Peter Smith is a great teacher. The material is distilled, organized and clearly explained.

[Christopher Junker]

What little I understood I thought well explained but this is not a book for people who are not already pretty schooled in these matters