Ocena:
Książka jest kontynuacją pierwszego tomu, obejmując tematy z logiki i matematyki. Chociaż jest przyjemna i zwiększa zrozumienie, niektórzy czytelnicy uważają, że brakuje jej głębi w późniejszych sekcjach w porównaniu z oczekiwaniami.
Zalety:Dobra jakość papieru, łatwa do czytania, przyjemna, znacznie zwiększa zrozumienie tematów logiki.
Wady:Część druga może nie być konieczna dla wszystkich czytelników, brakuje oczekiwanych szczegółów w późniejszych tematach, może być przytłaczająca ze względu na ilość wymaganego zapamiętywania.
(na podstawie 2 opinii czytelników)
A Beginner's Further Guide to Mathematical Logic
Jest to ostatnia książka napisana przez nieżyjącego już wielkiego mistrza łamigłówek i logika, dr Raymonda Smullyana.
Książka ta jest kontynuacją mojego Beginner's Guide to Mathematical Logic.
Poprzedni tom omawia elementy logiki zdań i logiki pierwszego rzędu, zawiera nieco na temat systemów formalnych i rekurencji, a kończy się rozdziałami na temat słynnego twierdzenia o niekompletności G dela wraz z powiązanymi wynikami.
Obecny tom zaczyna się od nieco więcej na temat logiki zdań i logiki pierwszego rzędu, po czym następuje coś, co nazwałbym rozdziałem „fein”, który jednocześnie uogólnia niektóre wyniki z teorii rekurencji, systemów arytmetycznych pierwszego rzędu i tego, co nazywam „maszyną decyzyjną”. Następnie znajduje się pięć rozdziałów poświęconych systemom formalnym, teorii rekurencji i zastosowaniom metamatematycznym w ogólnym otoczeniu. Ostatnie pięć rozdziałów dotyczy pięknego tematu logiki kombinatorycznej, która jest nie tylko intrygująca sama w sobie, ale ma ważne zastosowania w informatyce. Argonne National Laboratory jest szczególnie zaangażowane w te zastosowania i z dumą mogę powiedzieć, że jego członkowie znaleźli zastosowanie dla niektórych moich wyników w logice kombinatorycznej.
Książka ta nie obejmuje tak ważnych tematów, jak teoria zbiorów, teoria modeli, teoria dowodu i współczesne osiągnięcia w teorii rekurencji, ale czytelnik, po przestudiowaniu tego tomu, będzie wystarczająco przygotowany do studiowania tych bardziej zaawansowanych tematów.
