• формат djvu
  • размер 2.37 МБ
  • добавлен 03 октября 2014 г.
Смаллиан Р. Вовеки неразрешимое. Путь к Геделю через занимательные загадки
М.: Канон+, 2013. — 305 с. — ISBN 978-5-88373-081-7.
Эта книга представляет собой введение в теорию Геделя посредством логических занимательных задач с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношение с математикой. то приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.