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