Neúplnost
Dokořán 2005 Vazba: pevná s obálkou Stav: Dobrý, lehce vybledlý hřbet Brněnský rodák již ve svých třiadvaceti letech výrazným způsobem obohatil matematickou logiku, neboť provedl naprosto mimořádný důkaz toho, čemu se říká věta o neúplnosti. Na rozdíl od většiny matematických důkazů nejsou Gödelovy věty o neúplnosti vyjádřeny čísly nebo jinými symbolickými formálními systémy. Detaily mají sice velice technickou podobu, ale celková strategie jest prostá a podána víceméně přirozenou řečí. V každém formálním systému obsahujícím teorii čísel existuje výrok, který j...
Komentáře
Přihlas se, abys mohl/a přidat komentář.
Zatím žádné komentáře. Buď první!