Godelov dôkaz

Recenzie čitateľov

V recenziách sa zdôrazňuje, že „Godelov dôkaz“ od Nagela a Newmana je dobre napísaným a prístupným skúmaním Godelovej vety o neúplnosti, ktoré zrozumiteľným spôsobom prezentuje zložité matematické pojmy. Mnohí čitatelia oceňujú schopnosť autorov postupne predstaviť hlboké logické myšlienky, čo pomáha laikom aj tým, ktorí majú určité matematické vzdelanie, pochopiť Godelov významný prínos. Kniha však obsahuje náročné časti, ktoré si môžu vyžadovať opätovné prečítanie na úplné pochopenie, a niektorí čitatelia považovali konkrétne tvrdenia v texte za zavádzajúce alebo nesprávne.

⬤ Jasný a prístupný výklad zložitých tém.
⬤ Vhodné pre laikov aj pre tých, ktorí majú určité matematické vzdelanie.
⬤ Pútavé a zrozumiteľné, prirovnané k „Stručným dejinám času“ v matematike.
⬤ Užitočné poznámky pod čiarou, ktoré objasňujú terminológiu.
⬤ Stručný, pokrývajúci základné myšlienky v prijateľnej dĺžke.
⬤ Poskytuje historický kontext a pozadie Godelovej práce.

⬤ Niektoré časti sú náročné a môžu si vyžadovať opakované čítanie.
⬤ Občasné sporné tvrdenia alebo možné nepresnosti, ktoré vedú k zmätku.
⬤ Chýba pokrytie pokročilých tém, ako je teória množín a vypočítateľnosť, keďže sa zameriava predovšetkým na Godelov dôkaz.

(na základe 12 čitateľských recenzií)

Pôvodný názov:

Godel's Proof

Obsah knihy:

Z úvodu. V roku 1931 vyšiel v jednom nemeckom vedeckom periodiku pomerne krátky článok so zakázaným názvom "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" ("O formálne nerozhodnuteľných vetách Principia Mathematica a príbuzných systémov").

Jej autorom bol Kurt Godel, vtedy 25-ročný mladý matematik na Viedenskej univerzite a od roku 1938 stály člen Inštitútu pre pokročilé štúdium v Princetone. Tento článok je míľnikom v dejinách logiky a matematiky.

Keď Harvardova univerzita v roku 1952 udelila Godelovi čestný titul, v citácii sa táto práca označila za jeden z najdôležitejších pokrokov v logike v modernej dobe. V čase jej vzniku však názov Godelovho článku ani jeho obsah neboli väčšine matematikov zrozumiteľné.