Computability: Vypočítateľné funkcie, logika a základy matematiky

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Obsah knihy:

Teraz v novom vydaní - klasická prezentácia teórie vypočítateľných funkcií v kontexte základov matematiky.

Prvá časť motivuje štúdium vypočítateľnosti diskusiami a čítaním o kríze základov matematiky na začiatku 20. storočia, pričom predstavuje základné myšlienky celého čísla, funkcie, dôkazu a reálneho čísla.

Druhá časť sa začína čítaním o Turingovi a Postovi, ktoré vedie k formálnej teórii rekurzívnych funkcií. Časť III predstavuje dostatočnú formálnu logiku, ktorá poskytuje úplné rozvinutie Godelových viet o neúplnosti. V IV.

časti sa uvažuje o význame technickej práce s diskusiou o Churchovej téze a čítaním o základoch matematiky. Toto nové vydanie obsahuje časovú os "Vypočítateľnosť a nerozhodnuteľnosť", ako aj esej "O matematike."".