Gödel 1931 - Jaroslav Frýdek, František Včelař, Ivan Zelinka
Gödel 1931 - Jaroslav Frýdek, František Včelař, Ivan Zelinka Publikace je věnována objevům, které Gödel zformuloval ve svém proslulém článku z r. 1931. Na obou úrovních existuje dostatek skvělých…
Specifikacia Gödel 1931 - Jaroslav Frýdek, František Včelař, Ivan Zelinka
Gödel 1931 - Jaroslav Frýdek, František Včelař, Ivan Zelinka
Publikace je věnována objevům, které Gödel zformuloval ve svém proslulém článku z r. 1931. Na obou úrovních existuje dostatek skvělých publikací. Svojí úrovní se nalézá někde mezi monografií a populární knížkou.
Důsledný výklad původních výsledků, jak se zdá, v podstatě chybí. Tato kniha se snaží literárně vyplnit nepříliš dotovanou mezeru mezi nimi. 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.