Смаллиан Р. Вовеки неразрешимое.
ISBN | 978-5-88373-319-1 |
Автор | Смаллиан Р. |
Издательство | Канон+ |
Переплет книги | твердый переплет |
Год издания | 2013 |
Страниц в книге: | 304 |
Книжная серия | Библиотека аналитической философии |
Описание
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.