Funkcje rekurencyjne i elementy matematyki
Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o
niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii.
Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika
posiadającego podstawowe wiadomości z zakresu kursu logiki.
Każdy z rozdziałów kończą uwagi historyczne, przedstawiające linię rozwoju
poszczególnych pojęć i teorii. Ostatni rozdział zawiera komentarz filozoficzny i
metodologiczny. Podręcznik jest poszukiwaną lekturą na studiach z zakresu matematyki i
innych dyscyplin.
188 stron, Format: 17.0x24.0cm, oprawa miękka