Olvasói vélemények
Összegzés:A kritikák kiemelik, hogy a Nagel és Newman által írt „Godel's Proof” jól megírt és közérthető módon mutatja be Godel befejezetlenségi tételét, és érthető módon ismerteti az összetett matematikai fogalmakat. Sok olvasó értékeli a szerzők azon képességét, hogy fokozatosan vezetik be a mély logikai gondolatokat, segítve mind a laikusoknak, mind a matematikai háttérrel rendelkezőknek, hogy megértsék Godel jelentős hozzájárulását. A könyv azonban tartalmaz olyan kihívást jelentő részeket, amelyek teljes megértéséhez újraolvasásra lehet szükség, és néhány olvasó félrevezetőnek vagy helytelennek talált bizonyos állításokat a szövegben.
Előnyök:⬤ Az összetett témák világos és közérthető kifejtése.
⬤ Alkalmas laikusok és némi matematikai háttérrel rendelkezők számára egyaránt.
⬤ Magával ragadó és könnyen érthető, a matematika „Az idő rövid történetéhez” hasonlítható.
⬤ Hasznos lábjegyzetek, amelyek tisztázzák a terminológiát.
⬤ Tömör, áttekinthető terjedelemben tárgyalja az alapvető gondolatokat.
⬤ Történelmi kontextust és hátteret biztosít Godel munkásságához.
Hátrányok:⬤ Néhány szakasz kihívást jelent, és újraolvasást igényelhet.
⬤ Néhol vitatott kijelentések vagy esetleges pontatlanságok, amelyek zavart okoznak.
⬤ Hiányzik a haladó témák, például a halmazelmélet és a kiszámíthatóság tárgyalása, mivel elsősorban Godel bizonyítására összpontosít.
(12 olvasói vélemény alapján)
Eredeti címe:
Godel's Proof
Könyv tartalma:
A bevezetőből. 1931-ben jelent meg egy német tudományos folyóiratban egy viszonylag rövid írás "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" ("A Principia Mathematica és a kapcsolódó rendszerek formailag eldönthetetlen tételeiről") tiltó címmel.
Szerzője Kurt Godel volt, aki akkoriban 25 éves fiatal matematikus volt a bécsi egyetemen, 1938 óta pedig a princetoni Institute for Advanced Study állandó tagja. A dolgozat mérföldkő a logika és a matematika történetében.
Amikor a Harvard Egyetem 1952-ben díszdoktori címet adományozott Godelnek, az indoklásban a munkát a modern kor egyik legfontosabb logikai előrelépéseként jellemezték. Megjelenésekor azonban sem Godel dolgozatának címe, sem annak tartalma nem volt érthető a legtöbb matematikus számára.
