ГЛАВА ВОСЬМАЯ. ПРОБЛЕМА ИНТУИЦИИ В ФИЛОСОФИИ МАТЕМАТИКИ ПУАНКАРЕ

После возникновения в XVII столетии новой математики и в особенности после того как первоклассные ученые приступили к строго логической выработке анализа и в течение XIX в. добились в этом ценных результатов, в математике (и в логике) возникла тенденция, во многом изменившая прежнее — полулогическое, полуинтуитивное — понимание математики. Отныне стали стремиться к тому, чтобы не только довести до наивозможного минимума круг основных положений математики, приобретаемых с помощью интуиции, но и начисто свести математику к логике, рассматривать систему положений математики как результат строгой разработки учений логики. Подготовкой к обоснованию и выражению понятий математики понятиями логики была разработка языка логических символов, начатая Булем и выполненная в последнем десятилетии XIX в. и в первом десятилетии XX в. итальянским ученым Пеано и его последователями (Падоа и другими). Выражением важных математических понятий на языке понятий логики занимались немецкие математики Фреге и Дедекинд. Систематически это направление было развито англичанами Расселом и Уайтхедом в капитальной трехтомной работе «Principia mathematical (первое издание в 1910—1913 гг.). Для них математика есть не что иное, как логика. Интуитивные элементы математики исключаются. Содержание науки выводится из весьма небольшого круга определений и положений, принимаемых без доказательства. Слова языка, посредством которых в обычной жизни выражаются логические отношения, заменяются точно фиксированными символами. Выведение новых положений из принятых определений и исходных положений производится согласно строгим правилам логики. Талантливость ученых, создавших это направление, соединялась с их величайшим одушевлением, с твердым убеждением в том, что направление это (получившее впоследствии название «логицизма») как бы впервые открывает математике ее настоящую сущность. В уже цитированной статье Рассел писал: «Один из главных триумфов новейшей математики заключается в открытии, в чем, действительно, состоит математика» (14,83).