Értékelés:
A könyv világos bevezetést nyújt a Gödel-féle befejezetlenségi tételbe, a formális logikában és matematikában korlátozott előismeretekkel rendelkező olvasók számára. Míg a könyvet dicsérik a hozzáférhetőségéért és a bizonyításba való belemerülés előtt nyújtott alapos háttérért, egyes olvasók úgy érzik, hogy nem elég mélyreható Gödel munkájának tágabb értelemben vett következményeinek feltárásához. A szöveget általában jó véleménnyel vannak a szöveg érthetősége miatt, bár néhány kritika rámutat azokra a területekre, ahol lehetett volna világosabb vagy részletesebb.
Előnyök:⬤ Gödel bizonyításának kiváló bemutatása, amely a bonyolult gondolatokat a nem szakemberek számára is érthetővé teszi.
⬤ Gödel munkásságának hátterének és összefüggéseinek alapos magyarázata.
⬤ Rövid és könnyen olvasható, gyakran egy vagy két ülés alatt is megoldható.
⬤ Táblázatokat és világos matematikai szintaxist tartalmaz a fogalmak megerősítése érdekében.
⬤ Az analitikus meglátások értékesek, ami a könyvet informatívvá és érdekfeszítővé teszi a matematika filozófiája iránt érdeklődők számára.
⬤ Egyes olvasók szerint nem elég mélyreható a Gödel-tétel következményeinek értelmezése.
⬤ Egyes olvasók a szöveg egyes részeit zavarosnak vagy nem egyértelműnek találták, különösen a jelölések és fogalmak tekintetében.
⬤ A következtetést hirtelennek tartják, és az olvasók a filozófiai következmények további feltárását kívánják.
⬤ A szerzők részletes magyarázatai időnként túlságosan sűrűnek vagy tényközpontúnak tűnhetnek, ami egyesek számára kevésbé vonzóvá teszi az olvasás élményét.
(107 olvasói vélemény alapján)
Godel's Proof
1931-ben Kurt G del publikálta alapvető tanulmányát: "A Principia Mathematica és a kapcsolódó rendszerek formailag eldönthetetlen tételeiről". Ez a forradalmi tanulmány megkérdőjelezett bizonyos alapfeltevéseket, amelyek a matematika és a logika számos kutatásának alapjául szolgáltak. G del 1951-ben kapta meg munkájának nyilvános elismerését, amikor megkapta az első Albert Einstein-díjat a természettudományok terén elért eredményekért - talán a legmagasabb ilyen jellegű kitüntetést az Egyesült Államokban. A díjbizottság a matematikai logikában végzett munkáját "az utóbbi idők egyik legnagyobb hozzájárulásaként jellemezte a tudományokhoz".
A korabeli matematikusok közül azonban kevesen voltak felkészülve arra, hogy megértsék a fiatal tudós bonyolult bizonyítását. Ernest Nagel és James Newman a tudósok és a nem szakemberek számára egyaránt olvasmányos és közérthető magyarázatot adnak G del felfedezésének fő gondolatairól és széleskörű következményeiről. A könyv minden, a logika és a filozófia iránt érdeklődő művelt embernek lehetőséget kínál egy korábban nehéz és megközelíthetetlen téma megértésére.
A G del bizonyítéka eredeti megjelenésének 50. évfordulója alkalmából a New York University Press büszkén adja ki az egyik legsikeresebb és leggyakrabban fordított könyvének ezt a különleges jubileumi kiadását. Douglas R. Hofstadter új bevezetőjével ez a könyv a matematika, az informatika, a logika és a filozófia, valamint a természettudományok területén dolgozó hallgatók, tudósok és szakemberek érdeklődésére számíthat.
