Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 10 Stimmen.
Gdel Without (Too Many) Tears
Kurt Gödels berühmter Erster Unvollständigkeitssatz zeigt, dass es für jede hinreichend umfangreiche Theorie, die genügend Arithmetik enthält, einige arithmetische Wahrheiten gibt, die die Theorie ausdrücken, aber nicht beweisen kann. Wie ist dieses bemerkenswerte Ergebnis zustande gekommen? Dieses kurze Buch erklärt es.
Es behandelt auch Gödels zweiten Unvollständigkeitssatz. Ziel ist es, die Theoreme klar und zugänglich zu machen, auch für diejenigen, die nur über einen recht begrenzten formalen Hintergrund verfügen.
Die erste Auflage basierte auf viel heruntergeladenen Vorlesungsunterlagen für einen Kurs, der viele Jahre lang in Cambridge gehalten wurde. Diese zweite Auflage wurde erweitert und umfassend überarbeitet.
| ISBN: | 9781916906341 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
