Вовеки неразрешимое: Путь к Геделю через занимательные загадки (pdf)

Рэймонд М. Смаллиан
Вовеки неразрешимое: Путь к Геделю через занимательные загадки 2299K, 305 с.
издано в 2013 г.
Добавлена: 23.02.2017

Аннотация

Эта книга представляет собой введение в теорию Гёделя посредством логических занимательных задач с применением математической логики. Аргументация Гёделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношение с математикой. то приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.




Впечатления о книге:  


Прочитавшие эту книги читали:
X