В связи с интуиционистским понятием бесконечного множества интуиционист Вейль {120}писал в статье 1946 г.:
Последовательность чисел, которые, возрастая, превосходят любой достигнутый ими предел… есть многообразие возможностей, открывающихся перед бесконечностью; она навсегда остается в стадии сотворения, но не переходит в замкнутый мир вещей, существующих в себе. Источник наших трудностей, в том числе и антиномий [парадоксов], более фундаментален по своей природе, чем указанный принципом порочного круга Рассела, и состоит в том, что мы одно слепо превратили в другое. Брауэр открыл нам глаза и показал, как далеко классическая математика, питаемая верой в абсолют, превосходящий все человеческие возможности реализации, выходит за рамки утверждений, которые могут претендовать на реальный смысл и истинность, основанную на опыте.
Брауэр подверг критическому анализу отношение математики к языку. Математика — полностью автономный, находящий основание в самом себе вид человеческой деятельности. Она не зависит от языка. Слова или словесные связки используются в математике только для передачи истин. Математические идеи уходят своими корнями в человеческий разум глубже, чем в язык. Мир интуитивных математических представлений противостоит миру восприятий. К последнему, а не к математике, принадлежит язык, служащий для повседневного общения. Язык с помощью букв и звуков пробуждает в человеческом разуме копии идей. Различие между идеями и их копиями такое же, как между восхождением на гору и его словесным описанием. Но математические идеи не зависят от словесного одеяния, в которое их облекает язык, и в действительности гораздо богаче. Мысли никогда невозможно выразить полностью даже на математическом языке, в том числе и на языке символов. Кроме того, язык вносит отклонения от предмета собственно математики.
Еще более решительную позицию, резко контрастирующую с логицизмом, интуиционизм занимает в отношении логики. Логика принадлежит языку. Она дает систему правил, позволяющих осуществлять дедуктивный вывод новых словесных связок, предназначаемых, по предположению, для того, чтобы передавать истины. Однако эти истины не относятся к числу постигаемых непосредственно и даже постигаемых вообще. Логика не является надежным инструментом для открытия истин и не может открыть истины, не получаемые каким-то другим путем. Логические принципы — это закономерности, наблюдаемые апостериорно в языке. Их можно назвать удобным инструментом для манипулирования языком или считать, что они образуют теорию представлений языка. Логика — это наделенное внутренней структурой словесное построение, и не более того. Самые значительные успехи в математике достигнуты не за счет усовершенствования логической формы, а в результате изменений основной теории. Логика строится на математике, а не математика на логике. Логика обладает гораздо меньшей определенностью, чем наши интуитивные представления, и поэтому математика не нуждается в поддержке со стороны логики. Если посмотреть исторически, то принципы логики сначала были абстрагированы из опыта, накопленного в обращении с конечными множествами, после чего их объявили обладающими априорной справедливостью и в дополнение ко всему распространили на бесконечные множества.
Не признавая никаких априори обязательных логических принципов, Брауэр тем самым отвергал математическую задачу вывода заключений из аксиом. Следовательно, наряду слогицизмом Брауэр отвергал и аксиоматизацию математики, предпринятую в конце XIX в. Математика отнюдь не обязана почтительно относиться к правилам логики. Знание математики не требует знания формальных доказательств, и поэтому парадоксы несущественны, даже если бы мы приняли те математические понятия и построения, которые приводят к парадоксам. Парадоксы являются дефектом логики, а не собственно математики. Следовательно, непротиворечивость — это своего рода привидение. Она лишена плоти. Непротиворечивость возникает как следствие правильных размышлений, а о правильности размышлений мы судим интуитивно.
Но в логике существуют некоторые ясные, интуитивноприемлемые логические принципы или методы, которые можно использовать для вывода новых теорем из старых. Эти принципы входят составными частями в фундаментальную математическую интуицию. Не все из обычных логических принципов приемлемы для фундаментальной интуиции, и следует критически относиться к тому, что считалось приемлемым со времен Аристотеля. Поскольку математики излишне свободно применяли ограниченные законы Аристотеля, те породили антиномии. Что же допустимого или надежного, спрашивали интуиционисты, в математических построениях, если математики временно предали забвению интуицию и работают лишь со словесной структурой?
Итак, интуиционисты принялись анализировать логические принципы, намереваясь установить, какие из них можно принять, чтобы обычная логика соответствовала и надлежащим образом выражала правильные интуитивные представления.В качестве примера логического принципа, применявшегося излишне свободно, Брауэр привел закон исключенного третьего. Этот принцип, утверждающий, что каждое осмысленное высказывание либо истинно, либо ложно, исторически возник в рассуждениях, проводимых применительно к конечным множествам, и был абстрагирован из них. Затем закон исключенного третьего был принят как независимый и априорный принцип и необоснованно распространен на бесконечные множества. Но если для конечногомножества мы можем решить, все ли его элементы обладают некоторым свойством, проверяя один за другим все элементы множества, то для бесконечногомножества такая проверка становится невозможной. Может случиться так, что мы заведомо будем знать, что некий элемент бесконечного множества не обладает интересующим нас свойством, или по определению нам будет известно (или мы сумеем это доказать), что каждыйэлемент множества обладает требуемым свойством. Однако установить с помощью закона исключенного третьего, что каждый элемент множества обладает нужным свойством, нам не удастся никогда, ибо это потребовало бы бесконечного числа проверок.
Так, если доказано, что не все элементы бесконечного множества целых чисел четны, то заключение о существовании (а что означает сам термин «существование») среди них по крайней мере одного нечетного целого числа Брауэр отверг как основанное на применении к бесконечным множествам закона исключенного третьего. Но рассуждения такого типа широко используются в математике для доказательства существования различных сущностей, например для доказательства того, что каждое алгебраическое уравнение имеет корень (гл. IX). Следовательно, многие математические доказательства неприемлемы для интуиционистов. По их утверждениям, такие доказательства слишком неопределенны в отношении тех математических объектов, существование которых они должны доказывать. Закон исключенного третьего может быть использован лишь в тех случаях, когда множество содержит конечное число элементов. Например, если бы мы, рассматривая конечный набор целых чисел, доказали, что они не все четны, то отсюда действительно следовало бы, что по крайней мере одно из чисел нечетно.
Вейль, говоря об интуиционистском взгляде на логику, утверждал:
Согласно его [Брауэра] взглядам и свидетельствам истории, классическая логика была абстрагирована из математики конечных множеств и их подмножеств… Забыв о столь ограниченном происхождении, кто-то впоследствии ошибочно принял логику за нечто, стоящее над математикой и предшествующее всей математике, и, наконец, без всякого на то основания применил логику к математике бесконечных множеств. В этом грехопадение и первородный грех всей теории множеств, за что ее и покарали антиномии. Удивительно не то, что такие противоречия возникли, а то, что они возникли на столь позднем этапе игры.
Несколько позднее Вейль добавил: «Принцип исключенного третьего может быть верным для господа бога, как бы обозревающего единым взглядом бесконечную последовательность натуральных чисел, но не для человеческой логики».
