Ďalší sprievodca matematickou logikou pre začiatočníkov

Recenzie čitateľov

Kniha je pokračovaním prvého dielu a zahŕňa témy z logiky a matematiky. Hoci je príjemná a zvyšuje porozumenie, niektorí čitatelia majú pocit, že v porovnaní s očakávaniami jej v neskorších častiach chýba hĺbka.

Kvalitný papier, ľahko sa číta, je príjemný, výrazne zvyšuje pochopenie tém z logiky.

Druhá časť nemusí byť potrebná pre všetkých čitateľov, chýba očakávaná podrobnosť v neskorších témach, môže byť preťažujúca kvôli množstvu potrebného zapamätania.

(na základe 2 čitateľských recenzií)

Pôvodný názov:

A Beginner's Further Guide to Mathematical Logic

Obsah knihy:

Toto je posledná kniha zosnulého veľkého majstra hádaniek a logika Dr. Raymonda Smullyana.

Táto kniha je pokračovaním mojej knihy Sprievodca matematickou logikou pre začiatočníkov.

Predchádzajúci zväzok sa zaoberá prvkami výrokovej logiky a logiky prvého rádu, obsahuje niečo o formálnych systémoch a rekurzii a uzatvárajú ho kapitoly o slávnej G delovej vete o neúplnosti spolu so súvisiacimi výsledkami.

Tento zväzok sa začína trochu viac o výrokovej logike a logike prvého rádu, po ktorej nasleduje kapitola, ktorú by som nazval „fein“, ktorá súčasne zovšeobecňuje niektoré výsledky z teórie rekurzie, aritmetických systémov prvého rádu a toho, čo som nazval „rozhodovací stroj“. Potom nasleduje päť kapitol o formálnych systémoch, teórii rekurzie a metamatematických aplikáciách vo všeobecnom prostredí. Záverečných päť kapitol je venovaných krásnej téme kombinačnej logiky, ktorá je nielen zaujímavá sama o sebe, ale má aj dôležité aplikácie v informatike. Na týchto aplikáciách sa podieľa najmä Argonne National Laboratory a s hrdosťou môžem povedať, že jeho členovia našli využitie pre niektoré moje výsledky v kombinačnej logike.

Táto kniha sa nezaoberá takými dôležitými témami, ako sú teória množín, teória modelov, teória dôkazov a moderný vývoj v teórii rekurzie, ale čitateľ bude po preštudovaní tohto zväzku dostatočne pripravený na štúdium týchto pokročilejších tém.