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

Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Зарубежная образовательная литература, зарубежная прикладная, Математика
Год: 2013
Переводчик: Виталий Валентинович Целищев
Добавил: Admin 16 Апр 21
Проверил: Admin 16 Апр 21
Формат:  PDF (3224 Kb)
  • Currently 0/5

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

Аннотация

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

Похожие книги

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

Комментарий не найдено. Будьте первыми!
Чтобы оставить комментарий или поставить оценку книге Вам нужно зайти на сайт или зарегистрироваться