Bewertung:
In den Rezensionen wird das „Godelian Puzzle Book“ als ein außergewöhnliches Werk hervorgehoben, das mit fantasievollen Rätseln gefüllt ist, die Godels Theoreme erforschen und dabei Humor und intellektuelle Herausforderung miteinander verbinden. Während die meisten Leserinnen und Leser den Inhalt als fesselnd und lehrreich empfinden, insbesondere für diejenigen, die sich für Logik und Mathematik interessieren, werden in mehreren Rezensionen erhebliche Probleme mit dem Lektorat genannt, wie z. B. Tippfehler und Fehler, die das Lösen der Rätsel beeinträchtigen. Das Buch scheint sich an ein Nischenpublikum zu richten, das in erster Linie Mathebegeisterte anspricht, obwohl einige der Meinung sind, dass es für Gelegenheitsleser oder jüngere Schüler nicht das gleiche Interesse aufbringt.
Vorteile:⬤ Fesselnde und zum Nachdenken anregende Rätsel
⬤ eindringliche Erforschung der Godelschen Theoreme
⬤ verbindet Humor mit intellektueller Herausforderung
⬤ gelobt für Kreativität
⬤ lehrreich für Erwachsene und Kinder
⬤ unterhaltsam für Mathe-Enthusiasten.
⬤ Häufige Tipp- und Bearbeitungsfehler, die das Lösen einiger Rätsel schwierig oder unmöglich machen
⬤ möglicherweise zu technisch für Amateure
⬤ einige Kapitel wirken eintönig
⬤ nicht geeignet für Schüler der Mittelstufe, die moderne Inhalte suchen.
(basierend auf 29 Leserbewertungen)
The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs
Diese brandneuen Logikrätsel für die Freizeit bieten unterhaltsame Variationen von G del's Unvollständigkeitssätzen und bieten geniale Herausforderungen in Bezug auf Unendlichkeit, Wahrheit und Beweisbarkeit, Unentscheidbarkeit und andere Konzepte. Die von dem berühmten Logiker Raymond Smullyan entwickelten Rätsel erfordern keine Vorkenntnisse in formaler Logik und werden Leser aller Altersgruppen begeistern.
Die zweiteilige Auswahl von Rätseln und Paradoxen beginnt mit Untersuchungen über die Natur der Unendlichkeit und einige kuriose Systeme im Zusammenhang mit dem Satz von G del. Die ersten drei Kapitel von Teil II enthalten verallgemeinerte G del-Theoreme.
Die symbolische Logik wird bis zu den letzten drei Kapiteln aufgeschoben, die Erklärungen und Beispiele für die Arithmetik erster Ordnung, die Peano-Arithmetik und einen vollständigen Beweis des berühmten Ergebnisses von G del mit Aussagen, die weder bewiesen noch widerlegt werden können, enthalten. Das Buch enthält auch einen lebendigen Blick auf die Entscheidungstheorie, besser bekannt als Rekursionstheorie, die in der Informatik eine wichtige Rolle spielt.
| ISBN: | 9780486497051 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2013 |
| Seitenzahl: | 288 |
Derzeit verfügbar, auf Lager.
