Share
Gödel Without (Too Many) Tears
Peter Smith
(Author)
·
Logic Matters
· Hardcover
Gödel Without (Too Many) Tears - Smith, Peter
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Tuesday, May 28 and
Thursday, June 13.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Gödel Without (Too Many) Tears"
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 can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.