Название: Вовеки неразрешимое: Путь к Гёделю через занимательные загадки
Автор: Смаллиан Р.
Издательство: М.: «Канон+»
Год: 2013
Формат: PDF/DjVu
Качество: Отсканированные страницы + слой распознанного текста
Интерактивное оглавление: Да
Страниц: 305
Размер: 52.3 MB
Язык: Русский

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