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