|
|
Автор: Смаллиан Раймонд
Год: 2013
Издание:
Канон+РООИ Реабилитация
Страниц: 304
ISBN: 9785883733191, 9785883730817
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
|
|
