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

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


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
Front facade of University Press Books

From 1974, University Press Books has stoked the blaze of well over ten thousand minds on fire, carrying new scholarship published by the great university presses in the English-speaking world.

Order from us. Shop us. Let well-wrought words churn and burn within.