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