Raymond Smullyan – Na zawsze nierozstrzygnięte. Zagadkowy przewodnik po twierdzeniach Godla

Raymond Smullyan, profesor matematyki i logiki, cieszący się sławą najlepszego na świecie twórcy zagadek i najzabawniejszego logika, jaki kiedykolwiek żył, jest autorem wielu zbiorów łamigłówek i paradoksów logicznych. Nakładem naszej oficyny ukazały się następujące książki: „Jaki jest tytuł tej książki?”, „Zagadki szachowe Sherlocka Holmesa”, „Dama czy tygrys”, „Zagadki Szeherezady i inne zdumiewające łamigłówki dawne i współczesne”, „Szatan, Cantor i nieskończoność oraz inne łamigłówki”, „Przedrzeźniać przedrzeźniacza oraz inne zagadki logiczne łącznie z zadziwiającą przygodą w krainie logiki kombinatorycznej”.
Czy jest możliwe, aby racjonalna istota ludzka znalazła się w położeniu, gdy nie może wierzyć, iż jej przekonania są niesprzeczne, bez popadnięcia przy tym w sprzeczność? Jest to jeden z głównych tematów tej książki. Wzorowany jest on na słynnym dokryciu Kurta Godla, że dowolny niesprzeczny sytem matematyczny o mocy wystarczającej do uprawiania tego, co znamy pod nazwą elementarnej arytmetyki, musi podlegać zaskakująco bolesnemu ograniczeniu polegającemu na tym, iż jego własnej niesprzeczności nie da się w nim nigdy dowieść! – Z Przedmowy   źródło opisu: Książka i Wiedza, 2007 źródło okładki: Książka i Wiedza, 2007