Библиотека :)

Рэймонд Меррилл Смаллиан   (перевод: Виталий Валентинович Целищев)

Математика   Образовательная, прикладная, научно-популярная литература  

Вовеки неразрешимое. Путь к Геделю через занимательные загадки 3223K (скачать pdf)
Издание 2013 г.  (следить)
Добавлена: 16.01.2021

Аннотация

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

(обсудить на форуме)