Gödel Without (Too Many) Tears - Couverture souple

Smith, Peter

Couverture souple

ISBN 10 : 1916906311 ISBN 13 : 9781916906310

Editeur : Logic Matters, 2021

Synopsis

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 much-downloaded 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 (and at a third of the length of the same author's more wide-ranging Introduction to Gödel's Theorems).

Détails de l'édition

• Éditeur: Logic Matters
• Date d'édition: 2021
• Langue: anglais
• ISBN 10: 1916906311
• ISBN 13: 9781916906310
• Reliure: Broché
• Nombre de pages: 145
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible