Gödel Without (Too Many) Tears
Smith, Peter
| Autor: | Smith, Peter |
|---|---|
| Veröffentlichungsdatum: | 01.12.2022 |
| EAN: | 9781916906341 |
| Auflage: | 002 |
| Sprache: | Englisch |
| Seitenzahl: | 156 |
| Produktart: | Gebunden |
| Verlag: | Logic Matters |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen