ISBN: 978-5-88373-682-6
Автор: Смаллиан Р.
Издательство: Канон+
Год издания: 2021
Кол-во страниц: 304
О книге:
Книга Рэймонда Смаллиана «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.