Вовеки неразрешимое.
Soon
Книга Рэймонда Смаллиана «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Go to description and details| Publisher | Канон+ |
| Series | Библиотека аналитической философии |
| Pages | 304 |
| Language | Русский |
| ISBN | 978-5-88373-682-6 |
Книга Рэймонда Смаллиана «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
| Publisher | Канон+ |
| Series | Библиотека аналитической философии |
| Pages | 304 |
| Language | Русский |
| ISBN | 978-5-88373-682-6 |
| Cover | Твёрдый переплёт |
| Paper | Офсет |
| Illustrations | Без иллюстраций |
| Dimensions | 146 × 17 × 207 mm |
| Weight, g | 330 |
