Каталог

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

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

Цена: 260p.

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


Издание: переплет. 
Параметры: формат:  84x108/32, 304 стр.


Добавить в корзину: