Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем Курта Геделя о неполноте формальных систем математики. Логико-математическая аргументация используется в разрешении споров двух философских направлений о природе человеческого мышления - "ментализма" и "механицизма". Книга предназначена для всех интересующихся применением математической логики к философии.