Twierdzenie Gdela: Niekompletny przewodnik po jego stosowaniu i nadużywaniu

Opinie czytelników

Książka na temat twierdzeń o niezupełności Gödla spotkała się z mieszanymi recenzjami. Niektórzy czytelnicy chwalą jej przejrzystość i dogłębność, szczególnie w odniesieniu do błędnych przekonań dotyczących twierdzeń, podczas gdy inni krytykują ją za gęsty i techniczny język, który może nie być odpowiedni dla laików. Autor zapewnia cenne spostrzeżenia, ale może zrazić osoby bez silnego zaplecza matematycznego.

⬤ Dobrze napisana i wnikliwa ekspozycja twierdzeń Gödla o niekompletności.
⬤ Odnosi się do powszechnych nieporozumień i niewłaściwego wykorzystania twierdzeń.
⬤ Trudne, ale satysfakcjonujące treści dla czytelników o silnych podstawach matematycznych i logicznych.
⬤ Zawiera cenne dyskusje na temat implikacji twierdzeń w różnych dziedzinach.

⬤ Gęsty i techniczny język, który może nie być przystępny dla ogółu czytelników.
⬤ Wymaga pewnego stopnia dojrzałości matematycznej i znajomości logiki formalnej.
⬤ Niektórzy recenzenci uznali ją za zagmatwaną i słabo zorganizowaną, z brakiem stopniowego wprowadzania pojęć.
⬤ Pewne nieścisłości faktograficzne zauważone przez czytelników.

(na podstawie 30 opinii czytelników)

Oryginalny tytuł:

Gdel's Theorem: An Incomplete Guide to Its Use and Abuse

Zawartość książki:

„Wśród wielu ekspozycji twierdzeń o niezupełności Godela napisanych dla niespecjalistów, ta książka wyróżnia się. Z wyjątkową jasnością Franzen podaje staranne, nietechniczne wyjaśnienia zarówno tego, co mówią te twierdzenia, jak i, co ważniejsze, czego nie mówią.

Żadna inna książka nie ma na celu, tak jak jego, szczegółowego odniesienia się do nieporozumień i nadużyć twierdzeń o niekompletności, które są tak powszechne w popularnych dyskusjach na temat ich znaczenia. Jako antidotum na wiele fałszywych odwołań do niekompletności w debatach teologicznych, antymechanistycznych i postmodernistycznych, jest to cenny dodatek do literatury”.

--- John W. Dawson, autor Logical Dilemmas: The Life and Work of Kurt Godel.