Борис Бирюков - Жар холодных числ и пафос бесстрастной логики
Попытаемся все же выделить некоторые главные пункты философско-математических установок Брауэра и его школы.
1. Единственным источником, порождающим математику, Брауэр считал человеческий интеллект, и в этом был солидарен с Декартом[2].
2. Особенность разума, дающая ему возможность создать математику, это некое ощущение времени, вернее, способность различать два последовательных момента времени как два разных момента. Эта способность порождает, в свою очередь, способность вести счет натуральным числам. Таким образом, у Брауэра натуральные числа выступают как нечто первичное, непосредственно данное глубинной человеческой интуиции. Именно из-за этого математика школы Брауэра названа интуиционистской математикой, а логика, принятая в этой математике» — интуиционистской логикой.
3. Из второго пункта вытекает, что «классическая» логика не является чем-то первоначальным, как ошибочно полагают логицисты. В глубинной интуиции даны лишь конечные образования — натуральные числа. На каком же основании классическую логику, которая могла возникнуть лишь как отражение опыта оперирования с конечными объектами, распространяют на бесконечные множества? К бесконечным множествам не всегда применим закон исключенного третьего (принцип: из двух высказываний, одно из которых есть отрицание другого, по крайней мере одно истинно).
Этот важнейший пункт брауэровской критики классической логики и теоретико-множественной математики требует пояснения. Воспользуемся известным примером. Рассмотрим высказывание(*) «В десятичном представлении числа я либо имеется девять нулей подряд, либо не имеется». Это высказывание подпадает под схему закона исключенного третьего (а V ~а) и с «классических» позиций должно быть признано верным.
Но с точки зрения Брауэра это высказывание может иметь смысл лишь в том случае, если у нас есть способ проверить, какая из двух альтернатив — а или ~а — имеет место[3]. В данном же случае этого сделать нельзя: вычисляя значение числа π со все большей точностью, мы можем в конце концов добраться до «пакета» из девяти нулей — и тогда подтвердится первая альтернатива (что и будет означать истинность высказывания (*));но может случиться, что процесс вычисления будет продолжаться неограниченно долго — и это вовсе не будет означать справедливости второй альтернативы. Таким образом, вопрос о верности рассматриваемого высказывания (*) остается открытым. Конечно, если бы у нас было независимое от этого процесса вычисления доказательство второй альтернативы, то истинность данного суждения тоже была бы установлена. Но наука в настоящее время им не располагает. Таким образом, закон исключенного третьего как «общезначащую» логическуй схему следует отвергнуть.
Отказ от всеобщности «исключения третьего» в применении к бесконечным совокупностям влечет за собой серьезные перемены в логике. В частности, из отвержения альтернативы ~а — то есть доказательства того, что верно ~~a — заключать к верности альтернативы а по Брауэру в общем случае недопустимо[4]. Например, если предположение, что среди элементов некоторого бесконечного множества не существует объекта с определенными свойствами, ведет к нелепости (и, значит, отвергается), то отсюда, тем не менее, не следует, что объект с этими свойствами существует.
4. С предшествующим тезисом тесно связана конструктивистская установка интуиционистской математики. Поскольку принцип исключенного третьего, примененный к бесконечным множествам, не гарантирует правильности рассуждения, единственным способом доказательства существования математических объектов является их фактическое построение. Обратим внимание на этот важнейший тезис — зародыш другого современного направления в математике — конструктивное направления.
5. Хотя математика создается разумом, она приложима к окружающему миру. Математические символы не лишены содержательного смысла; хотя они указывают на определенные объекты, данные в интуиции, объекты эти тесно связаны с реальными процессами, происходящими во Вселенной. Интуицию, однако, нельзя выразить никакими строгими определениями, и поэтому интуиционисты отказываются эксплицировать общее понятие «способа построения», полагая, что невозможно заранее предвидеть все приемы рассуждения, которые могут оказаться интуитивно убедительными.
Заметим, что в этом пункте от интуиционизма резко отличается конструктивное направление в математике, всходящее из тезиса, что конструктивная деятельность в этой науке адекватно передается понятием алгоритма (см. гл. 7).
Как мы видим, если практические выводы в отношении построения математики более или менее четки (отбрасывание логицизма, ограничение логического принципа исключенного третьего, требование конструктивности доказательств существования), то учение о «глубинной интуиции» разума остается сугубо неясным. Самое большее, что мы можем сделать, чтобы пролить свет на этот пункт, это привести «разъяснения» самого Брауэра, сделанные им (без особой надежды на понимание аудитории) на Международном конгрессе по философии, состоявшемся в Амстердаме в августе 1948 года[5].
«Прежде всего мы должны уяснить все фазы сознания, совершающего переход от своих глубин к внешнему миру, в котором мы сотрудничаем и ищем взаимопонимания. Данное мое выступление вовсе не рассчитано на непременное наличие такого взаимопонимания, и, в некотором смысле, его можно рассматривать как монолог...
Сознание в своем глубинном убежище, как можно думать, медленно и пассивно совершает колебания между состояниями покоя и чувствования. По-видимому. лишь в состоянии чувствования становится возможным первый акт упомянутого перехода. Этим актом является движение времени. С помощью движения времени имеющееся в данный момент чувствование переходит в чувствование в другой момент, так что сознание сохраняет первое как имевшееся в прошлом; более того, благодаря различению настоящего и прошедшего, сознание отходит от них обоих, выходит из пассивного состояния, и так возникает мышление.
В форме мышления сознание выступает как субъект, переживающий чувствование в настоящем — так же как и прошедшее чувствование — в качестве объекта. А путем повторения этого процесса удвоения объект может быть расширен до всего множественного и пестрого мира чувствований.
...Математика возникает в тот момент, когда субъект лишает это порождаемое движением времени удвоение всех качеств и когда остающаяся пустая форма общего субстрата всякого удвоения подвергается, в качестве глубинней математической интуиции, неограниченному раскрытию, порождая новые математические сущности в форме предопределенных или более или менее свободно формирующихся бесконечных последовательностей полученных прежде математических сущностей, и в форме математических видов, то есть свойств, которые мы предполагали присущими прежде полученным математическим сущностям и удовлетворяющим тому условию, что если они присущи определенной математической сущности, то они присущи и всем другим одинаковым с ней сущностям».
Обратим внимание на три важных вывода, следующих из аутентичного изложения платформы интуиционистской математики, которое мы только что привели. Во-первых, интуиция, о которой все время идет речь у Брауэра и его последователей, является интуицией разума, и ничего общего не имеет с мистической интуицией чувства, которая фигурирует у философов типа Ф.В. Шеллинга, К. Ясперса, Ж.П. Сартра и т. д.; математический интуиционизм есть нечто не похожее на философский интуитивизм. Он более родствен рационалистическому «интуиционизму» Декарта, выраженному, скажем, в следующих словах последнего:
«Под интуицией я разумею не веру в шаткое свидетельство чувств и не обманчивое суждение беспорядочного воображения, но понятие ясного и внимательного ума, настолько простое и отчетливое, что оно не оставляет никакого сомнения в том, что мы мыслим»[6]. Во-вторых, из слов Брауэра можно определенно заключить, что «глубинная интуиция» разума, порождающая математику, одинакова у всех людей; поэтому математика в этом смысле объективна, не произвольна. В-третьих, интуиция разума не зависит от языка; языковые средства нужны лишь для того, чтобы (не адекватно) сообщать результаты деятельности интуиции другим людям.
Анализируя эти установки Брауэра, нетрудно обнаружить их несоответствие с известными науке фактами. Данные современной психологии все увереннее говорят о том, что осознанного результата мыслительного акта не существует вне языка или, во всяком случае, вне какой-то знаковой системы. Принятие же одинаковости изначальной интуиции разума у всех людей очень напоминает утверждение Канта о неизбежности восприятия мира людьми через априорную категорию времени — утверждение, расходящееся с результатами психологических исследований поведения детей, в частности, исследования Ж. Пиаже и его школы[7].
