.

0 (hodnocen0 x )

(6) Půjčeno:6x 

BK

Vyd. 1.

Brno : Vutium, 2003

126 s.

ISBN 80-214-2369-2 (váz.)

Quantum ; 1

Obsahuje rejstřík

Logika matematická - Gödelova věta - pojednání

000037932

Jan Novotný: Předmluva k prvnímu českému vydání // Douglas R. Hotstadter: Předmluva k upravenému vydání // Poděkování autorů knihy // I Úvod // II Problém bezespornosti // III Absolutní důkazy bezespornosti // IV Systematická kodifikace formální logiky // V Příklad vydařeného absolutního důkazu bezespornosti // VI Idea zobrazení a její využití v matematice // VII Gödelovy důkazy // A Godelovo číslování В Aritmetizace metamatematiky С Jádro Godelova argumentu // VIII Závěrečné úvahy Dodatky Literatura // Příloha (původní text VII kapitoly) // Gödelovy důkazy A Godelovo číslování В Aritmetizace metamatematiky С Jádro Godelova argumentu // Rejstřík