Эта книга представляет собой введение в теорию Геделя посредством логических занимательных задач с применением математической логики.
Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю.
Основной упор сделан на системы вер и их соотношение с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
| Про книгу | |
| Видавництво, місто | Канон+, М. |
| Рік видання | 2013 |
| Кількість сторінок | 304 |
| Обкладинка | тверд |
-
1.784грн.
Схожі товари
Автор:
Сокровища античной и библейской мудрости
В книге собраны наиболее известные афоризмы, которые широко используются в современной речи. Автор знакомит читателей с историей происхождения этих крылатых выражений, раскрывает их смысл и значение. Книга адресована широкому кругу читателей...
Автор:
Мудрецы поднебесной. \Дао дэ цзин+Лунь юй+Чжуан цзы
Настоящий сборник произведений китайских мыслителей является уникальной подборкой по своей философской направленности. Сюда включены великие имена учителей древнекитайской школы. Это Лао-цзы, Конфуций, Мо-цзы, Мэн-цзы, Чжуан-цзы, Сюнь-цзы и Хань Фуй. Все они были проповедниками идей гуманизма, поднимали в своих произведениях основные вопросы жизни, искали ответы на волнующие испокон веков проблемы бытия...