Hodnocení:
Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 10 hlasů.
Gdel Without (Too Many) Tears
Slavná První věta o neúplnosti Kurta Gödela ukazuje, že pro každou dostatečně bohatou teorii, která obsahuje dostatek aritmetiky, existují některé aritmetické pravdy, které teorie může vyjádřit, ale nemůže je dokázat. Jak se tento pozoruhodný výsledek zjistil? Tato krátká kniha to vysvětluje.
Pojednává také o Gödelově druhé větě o neúplnosti. Cílem je zpřístupnit Věty srozumitelně a přístupně i těm, kteří mají poměrně omezené formální vzdělání.
První vydání vycházelo z mnohokrát stažených poznámek z přednášek kurzu, který se po mnoho let přednášel v Cambridgi. Toto druhé vydání je rozšířené a značně přepracované.
© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)