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

Description

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