Gödel 1931

Publikace je věnována objevům, které Gödel zformuloval ve svém proslulém článku z r. 1931. Svojí úrovní se nalézá někde mezi monografií a populární knížkou. Na obou úrovních existuje dostatek skvělých publikací. Tato kniha se snaží literárně vyplnit nepříliš dotovanou mezeru mezi nimi. Důsledný výklad původních výsledků, jak se zdá, v podstatě chybí. Originální článek není příliš sdílný, a to ani pro odborníky. Knihu lze proto nejspíše charakterizovat jako komentovaný výklad původní Gödelovy práce s příklady a doplňky.

Autoři se snažili učinit knihu soběstačnou, a proto originál na mnoha místech doplňují. Na druhé straně ovšem nikde nepřesahují rámec původních metod a prostředků. V tomto smyslu je kniha rovněž historickým náhledem do doby, v níž výsledky vznikaly. Historická autentičnost byla vlastně prvořadá a byl jí podřízen téměř celý výklad, a to i včetně notace a terminologie.

Kniha je určena všem, kteří nejsou odborníky, ale zajímá je podstata autorových fundamentálních výsledků. Koneckonců, specialisty nejsou ani autoři knihy.