Вовеки неразрешимое. Путь к Гёделю через занимательные загадки
Смаллиан Р.
Эта книга представляет собой введение в теорию Гёделя посредством логических занимательных задач с применением математической логики. Аргументация Гёделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношение с математикой. то приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Année:
2013
Editeur::
«Канон+»
Langue:
russian
ISBN 10:
5883730817
ISBN 13:
9785883730817
Fichier:
DJVU, 2.30 MB
IPFS:
,
russian, 2013