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

Before placing an order, please note:

  • You'll receive a confirmation email once your order is complete and ready for pickup. 
  • If you place a pre-order in the same order as currently available titles, an additional shipping fee will be added to your order. 
  • Women & Children First is not responsible for lost or stolen packages.
Gödel Without (Too Many) Tears 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