Вовеки неразрешимое. Путь к Геделю через занимательные загадки из жанра Научные

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Зарубежная образовательная литература, зарубежная прикладная, Математика

Автор: Смаллиан Рэймонд Меррилл

Год: 2013

Переводчик: Виталий Валентинович Целищев

Добавил: Admin 16 Апр 21

Проверил: Admin 16 Апр 21

Формат: PDF (3224 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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