Bewertung:
Das Buch ist eine Fortsetzung des ersten Bandes und behandelt Themen der Logik und Mathematik. Es ist zwar unterhaltsam und verbessert das Verständnis, aber einige Leser haben das Gefühl, dass es in späteren Abschnitten im Vergleich zu den Erwartungen an Tiefe mangelt.
Vorteile:Gute Papierqualität, leicht zu lesen, unterhaltsam, verbessert das Verständnis von Logikthemen erheblich.
Nachteile:Der zweite Teil ist vielleicht nicht für alle Leser notwendig, es fehlt die erwartete Ausführlichkeit in den späteren Themen, er kann aufgrund der Menge des erforderlichen Auswendiglernens überwältigend sein.
(basierend auf 2 Leserbewertungen)
Dies ist das letzte Buch des verstorbenen großen Rätselmeisters und Logikers, Dr. Raymond Smullyan.
Dieses Buch ist eine Fortsetzung meines Beginner's Guide to Mathematical Logic.
Der vorige Band behandelt Elemente der Aussagenlogik und der Logik erster Ordnung, enthält ein wenig über formale Systeme und Rekursion und schließt mit Kapiteln über den berühmten Unvollständigkeitssatz von G del und damit zusammenhängende Ergebnisse.
Der vorliegende Band beginnt mit etwas mehr über Aussagenlogik und Logik erster Ordnung, gefolgt von einem Kapitel, das ich als „fein“ bezeichnen würde und das gleichzeitig einige Ergebnisse aus der Rekursionstheorie, aus arithmetischen Systemen erster Ordnung und aus dem, was ich eine „Entscheidungsmaschine“ nenne, verallgemeinert. Es folgen fünf Kapitel über formale Systeme, Rekursionstheorie und metamathematische Anwendungen in einem allgemeinen Rahmen. Die abschließenden fünf Kapitel befassen sich mit dem schönen Thema der kombinatorischen Logik, die nicht nur für sich selbst faszinierend ist, sondern auch wichtige Anwendungen in der Informatik hat. Das Argonne National Laboratory ist besonders an diesen Anwendungen beteiligt, und ich bin stolz darauf, dass seine Mitglieder einige meiner Ergebnisse in der kombinatorischen Logik nutzen konnten.
Dieses Buch behandelt keine so wichtigen Themen wie Mengenlehre, Modelltheorie, Beweistheorie und moderne Entwicklungen in der Rekursionstheorie, aber der Leser wird nach dem Studium dieses Bandes für das Studium dieser fortgeschritteneren Themen gut vorbereitet sein.
| ISBN: | 9789814725729 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 288 |
Derzeit verfügbar, auf Lager.
