Recenze čtenářů
Shrnutí:V recenzích se zdůrazňuje, že „Godelův důkaz“ autorů Nagela a Newmana je dobře napsaný a přístupný výklad Godelovy věty o neúplnosti, který srozumitelně podává složité matematické pojmy. Mnozí čtenáři oceňují schopnost autorů postupně představit hluboké logické myšlenky, což pomáhá laikům i těm, kteří mají určité matematické vzdělání, pochopit Godelův významný přínos. Kniha však obsahuje náročné pasáže, které mohou vyžadovat opakované čtení pro plné pochopení, a někteří čtenáři shledali konkrétní tvrzení v textu jako zavádějící nebo nesprávná.
Klady:⬤ Jasný a přístupný výklad složitých témat.
⬤ Vhodné jak pro laiky, tak pro ty, kteří mají určité matematické vzdělání.
⬤ Poutavé a srozumitelné, přirovnávané ke „Stručným dějinám času“ v matematice.
⬤ Užitečné poznámky pod čarou, které objasňují terminologii.
⬤ Stručný, pokrývající základní myšlenky ve zvládnutelné délce.
⬤ Poskytuje historický kontext a pozadí Godelova díla.
Zápory:⬤ Některé části jsou náročné a mohou vyžadovat opakované čtení.
⬤ Občasná sporná tvrzení nebo možné nepřesnosti, které vedou ke zmatkům.
⬤ Nedostatečné pokrytí pokročilých témat, jako je teorie množin a vypočitatelnost, protože se zaměřuje především na Godelův důkaz.
(na základě 12 hodnocení čtenářů)
Původní název:
Godel's Proof
Obsah knihy:
Z úvodu. V roce 1931 vyšel v jednom německém vědeckém časopise poměrně krátký článek se zakázaným názvem "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" ("O formálně nerozhodnutelných větách Principia Mathematica a příbuzných systémů").
Jejím autorem byl Kurt Godel, tehdy 25letý mladý matematik na Vídeňské univerzitě a od roku 1938 stálý člen Institutu pro pokročilá studia v Princetonu. Článek je milníkem v dějinách logiky a matematiky.
Když Harvardova univerzita v roce 1952 udělila Godelovi čestný titul, v citaci byla práce označena za jeden z nejvýznamnějších pokroků v logice v moderní době. V době svého vzniku však nebyl název Godelova článku ani jeho obsah většině matematiků srozumitelný.
