Книга Рэймонда Смаллиана «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
ISBN | 978-5-88373-682-6 |
Автор | Смаллиан Рэймонд М. |
Издательство | Канон+ |
Год | 2021 |
Переплет | 7Б |
Формат | 84х108/32 |
Стр. | 304 |
Серия | Библиотека аналитической философии |
ID | 04Л1-25 |
ID2 | 800601 |
У этого товара нет ни одного отзыва. Вы можете стать первым.