Gödel Without (Too Many) Tears (Hardcover)

Gödel Without (Too Many) Tears By Peter Smith Cover Image

Gödel Without (Too Many) Tears (Hardcover)


Not On Our Shelves—Ships in 1-5 Days
(This book cannot be returned.)

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.

Product Details ISBN: 9781916906303
ISBN-10: 1916906303
Publisher: Logic Matters
Publication Date: June 15th, 2021
Pages: 146
Language: English