Další průvodce matematickou logikou pro začátečníky

Recenze čtenářů

Kniha navazuje na první díl a zabývá se tématy z logiky a matematiky. Přestože je příjemná a zvyšuje porozumění, někteří čtenáři mají pocit, že v pozdějších částech oproti očekávání postrádá hloubku.

Kvalitní kniha, dobře se čte, je příjemná, výrazně zvyšuje pochopení logických témat.

Druhý díl nemusí být nutný pro všechny čtenáře, postrádá očekávanou podrobnost v pozdějších tématech, může být zdrcující vzhledem k množství nutného zapamatování.

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

Původní název:

A Beginner's Further Guide to Mathematical Logic

Obsah knihy:

Jedná se o poslední knihu zesnulého velkého mistra hlavolamů a logika Dr. Raymonda Smullyana.

Tato kniha je pokračováním mého Průvodce matematickou logikou pro začátečníky.

Předchozí díl se zabývá prvky výrokové logiky a logiky prvního řádu, obsahuje něco málo o formálních systémech a rekurzi a končí kapitolami o slavné G delově větě o neúplnosti spolu se souvisejícími výsledky.

Předkládaný svazek začíná ještě trochou o výrokové logice a logice prvního řádu, po níž následuje kapitola, kterou bych nazval „fein“ a která současně zobecňuje některé výsledky z teorie rekurze, aritmetických systémů prvního řádu a toho, co jsem nazval „rozhodovací stroj“. Poté následuje pět kapitol o formálních systémech, teorii rekurze a metamatematických aplikacích v obecném prostředí. Závěrečných pět kapitol je věnováno krásnému tématu kombinační logiky, které je nejen zajímavé samo o sobě, ale má i důležité aplikace v informatice. Těmito aplikacemi se zabývá zejména Argonne National Laboratory a s hrdostí mohu říci, že její členové našli využití pro některé mé výsledky v kombinační logice.

Tato kniha se nezabývá tak důležitými tématy, jako je teorie množin, teorie modelů, teorie důkazů a moderní vývoj v teorii rekurze, ale čtenář bude po prostudování tohoto svazku dostatečně připraven na studium těchto pokročilejších témat.