Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Kniha poskytuje samostatný úvod do matematickej logiky a teórie vypočítateľnosti pre študentov matematiky alebo informatiky. Je rozdelená do troch častí venovaných úspechom a neúspechom Hilbertovho programu formalizácie matematiky.
Prvá časť sa zaoberá otázkou formalizácie a vypočítateľnosti. Časť II predstavuje logiku prvého rádu vrátane G delovej vety o úplnosti a Gentzenovej vety o koherencii. Časť III sa zameriava na aritmetiku, reprezentovateľnosť vypočítateľných aplikácií, G delove vety o neúplnosti a rozhodnuteľnosť Presburgerovej aritmetiky.
Časť IV obsahuje podrobné odpovede na vybrané cvičenia. Bakalársky kurz by mohol byť založený na prvých dvoch častiach, vynímajúc Gentzenov výpočet a končiac prehľadom cesty k prvej vete o neúplnosti.
V pokročilejšom kurze by sa mohol odstrániť úvodný materiál, ktorý už študenti poznajú, a stanoviť pozitívne a negatívne výsledky Hilbertovho programu, čím by sa pokryl dôkaz koherencie navrhnutý Gentzenom a časť III v plnom rozsahu. Toto rozšírené druhé vydanie zahŕňa aj opravy a mnohé príležitostné revízie textu pripravené od jeho pôvodného vydania.