Ocena:
Książka stanowi przejrzyste wprowadzenie do twierdzenia o niezupełności Gödla, skierowane do czytelników o ograniczonej wcześniejszej wiedzy z zakresu logiki formalnej i matematyki. Chociaż jest chwalona za przystępność i dokładne tło, które zapewnia przed zagłębieniem się w dowód, niektórzy czytelnicy uważają, że brakuje jej głębi w badaniu szerszych implikacji pracy Gödla. Tekst jest ogólnie dobrze przyjęty ze względu na jego przejrzystość, choć niektóre krytyki wskazują na obszary, w których mógłby być jaśniejszy lub bardziej szczegółowy.
Zalety:⬤ Doskonała prezentacja dowodu Gödla, sprawiająca, że złożone idee są dostępne dla niespecjalistów.
⬤ Dokładne wyjaśnienie tła i kontekstu otaczającego pracę Gödla.
⬤ Krótka i łatwa do przeczytania, często możliwa do przejścia w ciągu jednego lub dwóch posiedzeń.
⬤ Zawiera tabele i jasną składnię matematyczną, aby wzmocnić koncepcje.
⬤ Analityczne spostrzeżenia są doceniane, dzięki czemu książka jest pouczająca i wciągająca dla osób zainteresowanych filozofią matematyki.
⬤ Niektórzy czytelnicy uważają, że brakuje jej głębi w interpretacji implikacji twierdzenia Gödla.
⬤ Niektórzy czytelnicy uznali części tekstu za mylące lub niejasne, szczególnie w odniesieniu do notacji i pojęć.
⬤ Konkluzja jest uważana za nagłą, pozostawiając czytelników pragnących dalszej eksploracji filozoficznych konsekwencji.
⬤ Szczegółowe wyjaśnienia autorów mogą czasami wydawać się zbyt gęste lub zorientowane na fakty, przez co lektura może być dla niektórych mniej wciągająca.
(na podstawie 107 opinii czytelników)
Godel's Proof
W 1931 roku Kurt G del opublikował swój fundamentalny artykuł "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". Ten rewolucyjny artykuł podważył pewne podstawowe założenia leżące u podstaw wielu badań w dziedzinie matematyki i logiki. G del został publicznie doceniony za swoją pracę w 1951 roku, kiedy otrzymał pierwszą nagrodę Alberta Einsteina za osiągnięcia w naukach przyrodniczych - prawdopodobnie najwyższą nagrodę tego rodzaju w Stanach Zjednoczonych. Komitet nagrody opisał jego pracę w logice matematycznej jako "jeden z największych wkładów w nauki ścisłe w ostatnim czasie".
Jednak niewielu ówczesnych matematyków było przygotowanych do zrozumienia złożonego dowodu młodego uczonego. Ernest Nagel i James Newman zapewniają czytelne i przystępne wyjaśnienie zarówno naukowcom, jak i niespecjalistom głównych idei i szerokich implikacji odkrycia G del. Oferuje to każdej wykształconej osobie z zamiłowaniem do logiki i filozofii szansę na zrozumienie wcześniej trudnego i niedostępnego tematu.
Z okazji 50. rocznicy oryginalnej publikacji G del's Proof, New York University Press z dumą publikuje to specjalne jubileuszowe wydanie jednej z najlepiej sprzedających się i najczęściej tłumaczonych książek. Dzięki nowemu wprowadzeniu Douglasa R. Hofstadtera, książka ta spodoba się studentom, naukowcom i profesjonalistom w dziedzinie matematyki, informatyki, logiki i filozofii oraz nauk ścisłych.
