Google 
Аннотация: Вовеки неразрешимое. Путь к Геделю через занимательные загадки
| Автор/составитель | Смаллиан Рэймонд Меррилл |
| Серия | Библиотека аналитической философии |
| Год выпуска | 2021 |
| ISBN | 978-5-88373-682-6 |
| Производитель | Канон+ |
| Издательство | Канон+ |
| Количество томов | 1 |
| Количество страниц | 304 |
| Переплет | Твёрдый переплёт |
| Размеры | 207x135x20 мм |
| Цвет | Красный |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 84x108/32 (130x200 мм) |
| Стандарт | 14 |
| Вес | 334 |
| Язык | русский |
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
