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