Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 10 hlasoch.
Gdel Without (Too Many) Tears
Slávna Prvá veta o neúplnosti Kurta Gödela ukazuje, že pre každú dostatočne bohatú teóriu, ktorá obsahuje dostatok aritmetiky, existujú niektoré aritmetické pravdy, ktoré táto teória môže vyjadriť, ale nemôže dokázať. Ako sa tento pozoruhodný výsledok zistil? Táto krátka kniha to vysvetľuje.
Rozoberá aj Gödelovu druhú vetu o neúplnosti. Cieľom je sprístupniť tieto vety prehľadne a prístupne aj tým, ktorí majú pomerne obmedzené formálne vzdelanie.
Prvé vydanie vychádzalo z mnohokrát stiahnutých poznámok z prednášok kurzu, ktorý sa dlhé roky viedol v Cambridgei. Toto druhé vydanie je rozšírené a značne prepracované.
© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)