Автор:Целищев В. В. Год: 2005 Издание:Параллель Страниц: 304 ISBN: 5989010036 Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем Курта Геделя о неполноте формальных систем математики. Логико-математическая аргументация используется в разрешении споров двух философских направлений о природе человеческого мышления - "ментализма" и "механицизма". Книга предназначена для всех интересующихся применением математической логики к философии.