Kniha Gdelianova hádanka: Gdeliho kniha: Hádanky, paradoxy a důkazy

Recenze čtenářů

V recenzích je Godelianova kniha hlavolamů vyzdvihována jako výjimečné dílo plné nápaditých hlavolamů, které zkoumají Godelovy věty a spojují humor s intelektuální výzvou. Ačkoli většina čtenářů považuje obsah za poutavý a poučný, zejména pro zájemce o logiku a matematiku, řada recenzí uvádí značné problémy s úpravou, jako jsou překlepy a chyby, které ovlivňují řešení hádanek. Zdá se, že kniha je zaměřena na úzce specializované publikum, které oslovuje především matematické nadšence, ačkoli někteří se domnívají, že pro příležitostné čtenáře nebo mladší studenty nemusí být stejně zajímavá.

⬤ Poutavé a podnětné hádanky
⬤ strhující zkoumání Godelových vět
⬤ spojuje humor s intelektuální výzvou
⬤ chválena kreativita
⬤ poučné pro dospělé i děti
⬤ příjemné pro matematické nadšence.

⬤ Časté překlepy a redakční chyby, které ztěžují nebo znemožňují řešení některých hádanek
⬤ potenciálně příliš technické pro amatéry
⬤ některé kapitoly působí monotónně
⬤ nevhodné pro středoškoláky, kteří hledají moderní obsah.

(na základě 29 hodnocení čtenářů)

Původní název:

The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs

Obsah knihy:

Tyto zbrusu nové logické hádanky pro volný čas představují zábavné variace na G delovy věty o neúplnosti a nabízejí důmyslné výzvy týkající se nekonečna, pravdivosti a dokazatelnosti, nerozhodnutelnosti a dalších pojmů. Hádanky, které vytvořil známý logik Raymond Smullyan, nevyžadují žádné znalosti formální logiky a potěší čtenáře všech věkových kategorií.

Dvoudílný výběr hádanek a paradoxů začíná zkoumáním podstaty nekonečna a některých kuriózních systémů souvisejících s G delovou větou. První tři kapitoly druhé části obsahují zobecněné G delovy věty.

Symbolická logika je odložena až do posledních tří kapitol, které podávají vysvětlení a příklady aritmetiky prvního řádu, Peanovy aritmetiky a úplný důkaz slavného G delova výsledku zahrnujícího tvrzení, která nelze dokázat ani vyvrátit. Kniha také obsahuje živý pohled na teorii rozhodování, známější jako teorie rekurze, která hraje zásadní roli v informatice.