Алгоритмический ум: Ментализм vs Механизм в философии математики

Книга «Алгоритмический ум» посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов. Использование для этой цели знаменитых теорем Гёделя о неполноте арифметики, и их философского следствия в виде «дизъюнкции» Гёделя, приводит к формулировке двух полярных позиций, Ментализму и Механизму, в концептуальных рамках которых обсуждается роль понятий вычислимости, математического доказательства, интуиции и априоризма, субъективной и объективной математики, «знания» компьютера и принципов рефлексии в понимании природы машинного и человеческого интеллекта. Книга предназначена всем интересующимся проблемами сопоставления искусственного интеллекта и человеческого мышления с точки математической логики и философии математики.