Ocena:
Książka o dowodzie Gödla zapewnia jasną i przystępną prezentację jednego z najważniejszych wyników w logice matematycznej, mając na celu uczynienie złożonych pojęć zrozumiałymi dla szerszego grona odbiorców. Chociaż książka ta wyróżnia się we wprowadzeniu i nakreśleniu dowodu i jego tła, niektórzy czytelnicy uważają, że brakuje jej głębi w odniesieniu do jego filozoficznych implikacji i interpretacji.
Zalety:Książka jest dobrze napisana, zwięzła i łatwa w czytaniu, dzięki czemu jest dostępna dla niespecjalistów. Skutecznie wprowadza pojęcia niezbędne do zrozumienia Twierdzenia o Niekompletności Gödla i jest dobrze skonstruowana, zaczynając od podstawowych informacji przed zagłębieniem się w sam dowód. Wielu czytelników docenia adnotacje Hofstadtera, które wzbogacają dyskusję. Książka jest również chwalona za przejrzystość i zdolność do wzbudzania ciekawości w temacie.
Wady:Wielu recenzentów uważało, że książka nie zapewnia wystarczającej głębi lub interpretacji w odniesieniu do szerszych implikacji dowodu Gödla, szczególnie dla osób zainteresowanych jego filozoficznymi aspektami. Zastosowana notacja może być czasami myląca, a niektórzy czytelnicy uznali niektóre wyjaśnienia za zbyt szczegółowe lub niejasne. Kilku krytyków wspomina również, że zwięzłość książki sprawia, że jest ona niewystarczająca do kompleksowego zrozumienia tematu.
(na podstawie 107 opinii czytelników)
Godel's Proof
W 1931 roku Kurt Godel 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. Godel 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 Godela. Oferuje to każdej wykształconej osobie z zamiłowaniem do logiki i filozofii szansę na zrozumienie wcześniej trudnego i niedostępnego tematu.
New York University Press z dumą publikuje to specjalne wydanie jednej ze swoich bestsellerowych 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.
