.

0 (hodnocen0 x )

(2) Půjčeno:2x 

BK

Vyd. 1. brožované

Brno : Vutium, 2006

xxiii, 126 s. ; 21 cm

ISBN 80-214-3174-1 (brož.)

Quantum

angličtina

Na rubu tit. s. uvedeno: 1. dotisk čes. vyd. vychází u příležitosti 100. výročí narození Kurta Gödela, brněnského rodáka. Nejedná se však o dotisk. Správný údaj v tiráži: vyd. 1. brož.

Přeloženo z angličtiny

Vydáno ve spolupráci s Brněnským centrem evropských studií

Obsahuje bibliografické odkazy a rejstřík

Vydavatel: Vysoké učení technické v Brně

000002881

Jan Novotný: Předmluva k prvnímu českému vydání ix // Douglas R. Hofstadter: Předmluva k upravenému vydání xiii // Poděkování autorů knihy xxiii // I Úvod 3 // II Problém bezespornosti 7 // III Absolutní důkazy bezespornosti 21 // IV Systematická kodifikace formální logiky 30 // V Příklad vydařeného absolutního důkazu bezespornosti 36 // VI Idea zobrazení a její využití v matematice 45 // VII Gödelovy důkazy 54 // A Gódelovo číslování 54 // B Aritmetizace metamatematiky 64 // C Jádro Gödelova argumentu 73 // Vlil Závěrečné úvahy 86 // Dodatky 90 // Literatura 99 // Příloha (původní text VII kapitoly) 100 // Gödelovy důkazy 100 // A Gödelovo číslování 100 // ? Aritmetizace metamatematiky 107 // C Jádro Gödelova argumentu 113 // Rejstřík 123