Смаллиан Р. Вовеки неразрешимое.

ISBN 978-5-88373-319-1
Автор Смаллиан Р.
Издательство Канон+
Переплет книги твердый переплет
Год издания 2013
Страниц в книге: 304
Книжная серия Библиотека аналитической философии
270 руб × = 270 руб

Описание

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