Skip to product information
1 of 1

Logic Matters

Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

Regular price €16,95 EUR
Regular price Sale price €16,95 EUR
Sale Sold out
Shipping calculated at checkout.

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.

Author: Peter Smith
Publisher: Logic Matters
Published: 06/15/2021
Pages: 146
Binding Type: Hardcover
Weight: 0.96lbs
Size: 9.61h x 6.69w x 0.38d
ISBN: 9781916906303

About the Author
Smith, Peter: - Peter Smith was a Senior Lecturer in Philosophy at the University of Cambridge before he retired.

This title is not returnable

View full details