Értékelés:
A kritikák kiemelik a „Godelian Puzzle Book”-ot, mint egy kivételes művet, amely tele van fantáziadús rejtvényekkel, amelyek Godel tételeit tárják fel, humorral és intellektuális kihívással vegyítve. Míg a legtöbb olvasó a tartalmat magával ragadónak és tanulságosnak találja, különösen a logika és a matematika iránt érdeklődők számára, több kritika jelentős szerkesztési problémákat említ, például elgépeléseket és hibákat, amelyek befolyásolják a rejtvények megoldását. Úgy tűnik, hogy a könyv egy speciális célközönséget céloz meg, elsősorban a matematika rajongóit szólítja meg, bár egyesek úgy érzik, hogy az alkalmi olvasók vagy a fiatalabb diákok számára nem biztos, hogy ugyanolyan érdekes.
Előnyök:⬤ Magával ragadó és elgondolkodtató rejtvények
⬤ a Godel-tételek magával ragadó felfedezése
⬤ humor és intellektuális kihívás keveredik
⬤ kreativitásáért dicsérik
⬤ tanulságos felnőttek és gyerekek számára egyaránt
⬤ élvezetes a matematika szerelmeseinek.
⬤ Gyakoriak a gépelési és szerkesztési hibák, amelyek néhány rejtvényt nehezen vagy egyáltalán nem megoldhatóvá tesznek
⬤ amatőrök számára potenciálisan túl technikai
⬤ egyes fejezetek monotonnak tűnnek
⬤ nem alkalmas a modern tartalmat kereső középiskolások számára.
(29 olvasói vélemény alapján)
The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs
Ezek a vadonatúj, szórakoztató logikai rejtvények szórakoztató variációkat kínálnak G del befejezetlenségi tételeire, a végtelenséggel, az igazsággal és a bizonyíthatósággal, a megdönthetetlenséggel és más fogalmakkal kapcsolatos ötletes kihívásokat kínálva. Az ünnepelt logikus, Raymond Smullyan által készített rejtvények nem igényelnek formális logikai előképzettséget, és minden korosztály számára örömet okoznak.
A rejtvények és paradoxonok kétrészes válogatása a végtelenség természetének vizsgálatával és a G del-tételhez kapcsolódó néhány különös rendszerrel kezdődik. A II. rész első három fejezete általánosított G del-tételeket tartalmaz.
A szimbolikus logikát az utolsó három fejezetig halasztjuk, amelyek az elsőrendű aritmetikára, a Peano aritmetikára és G del híres eredményének teljes bizonyítására adnak magyarázatokat és példákat, amelyek olyan állításokat tartalmaznak, amelyeket nem lehet sem bizonyítani, sem cáfolni. A könyvben élénk pillantást vetünk a döntéselméletre is, ismertebb nevén a rekurzióelméletre, amely létfontosságú szerepet játszik a számítástechnikában.
