Godel bizonyítása

Olvasói vélemények

A könyv a Gödel-bizonyítás elismert bevezetése, amelyet a matematika és a logika egy összetett témájának kezelése mellett érthetőségéért és hozzáférhetőségéért dicsérnek. Az olvasók értékelik a strukturált kifejtést, az összetett fogalmak fokozatos bevezetését és a világos írást, amely Gödel munkásságának jobb megértését kínálja. Egyesek azonban a könyv egyes részeit kihívásnak találják, és aggodalmukat fejezik ki a szerzők egyes kijelentéseivel kapcsolatban.

⬤ Gödel bizonyításának világos és közérthető magyarázata.
⬤ Magával ragadó és jól strukturált kifejtés.
⬤ Műszaki és nem műszaki közönség számára egyaránt alkalmas.
⬤ A lábjegyzetek elősegítik a kifejezések és fogalmak megértését.
⬤ Megőrzi az egyensúlyt a mélység és az olvashatóság között.

⬤ Egyes szakaszok kihívást jelentenek és koncentrációt igényelnek.
⬤ A szövegben szereplő egyes állítások pontosságát megkérdőjelezték.
⬤ Hiányzik néhány modern matematikai fogalom, mint például a halmazelmélet és a kiszámíthatóság.

(12 olvasói vélemény alapján)

Eredeti címe:

Godel's Proof

Könyv tartalma:

Godel's Proofelőször 1958-ban jelent meg az Egyesült Államokban. 1931-ben egy német tudományos folyóiratban jelent meg egy viszonylag rövid tanulmány „A Principia Mathematica és a kapcsolódó rendszerek formailag eldönthetetlen tételeiről” tiltó címmel.

Szerzője Kurt Godel volt, az akkor 25 éves fiatal matematikus a bécsi egyetemen, aki 1938-tól a princetoni Institute for Advanced Study állandó tagja volt. A dolgozat mérföldkő a logika és a matematika történetében.

Amikor a Harvard Egyetem 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.