Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем Курта Геделя о неполноте формальных систем математики. Логико-математическая аргументация используется в разрешении споров двух философских направлений о природе человеческого мышления - "ментализма" и "механицизма". Книга предназначена для всех интересующихся применением математической логики к философии.
Monografija posvjaschena sopostavleniju vozmozhnostej iskusstvennogo intellekta i chelovecheskikh kognitivnykh sposobnostej v oblasti matematicheskogo myshlenija. V tsentre vnimanija nakhoditsja ispolzovanie teorem Kurta Gedelja o nepolnote formalnykh sistem matematiki. Logiko-matematicheskaja argumentatsija ispolzuetsja v razreshenii sporov dvukh filosofskikh napravlenij o prirode chelovecheskogo myshlenija - "mentalizma" i "mekhanitsizma". Kniga prednaznachena dlja vsekh interesujuschikhsja primeneniem matematicheskoj logiki k filosofii.
