Чтение онлайн

Обратим внимание на три важных вывода, следующих из аутентичного изложения платформы интуиционистской математики, которое мы только что привели. Во-первых, интуиция, о которой все время идет речь у Брауэра и его последователей, является интуицией разума, и ничего общего не имеет с мистической интуицией чувства, которая фигурирует у философов типа Ф.В. Шеллинга, К. Ясперса, Ж.П. Сартра и т. д.; математический интуиционизм есть нечто не похожее на философский интуитивизм. Он более родствен рационалистическому «интуиционизму» Декарта, выраженному, скажем, в следующих словах последнего:

«Под интуицией я разумею не веру в шаткое свидетельство чувств и не обманчивое суждение беспорядочного воображения, но понятие ясного и внимательного ума, настолько простое и отчетливое, что оно не оставляет никакого сомнения в том, что мы мыслим»[6]. Во-вторых, из слов Брауэра можно определенно заключить, что «глубинная интуиция» разума, порождающая математику, одинакова у всех людей; поэтому математика в этом смысле объективна, не произвольна. В-третьих, интуиция разума не зависит от языка; языковые средства нужны лишь для того, чтобы (не адекватно) сообщать результаты деятельности интуиции другим людям.

Анализируя эти установки Брауэра, нетрудно обнаружить их несоответствие с известными науке фактами. Данные современной психологии все увереннее говорят о том, что осознанного результата мыслительного акта не существует вне языка или, во всяком случае, вне какой-то знаковой системы. Принятие же одинаковости изначальной интуиции разума у всех людей очень напоминает утверждение Канта о неизбежности восприятия мира людьми через априорную категорию времени — утверждение, расходящееся с результатами психологических исследований поведения детей, в частности, исследования Ж. Пиаже и его школы[7].

Отечественное конструктивное направление, продолжающее критическую линию интуиционизма в отношении классической математики, отвергает философскую концепцию Брауэра. На место «интуиции» конструктивисты выдвигают понятие умственного построения, проясняемое с помощью понятия алгоритма (см. гл. 7). При этом, как указывает создатель отечественной школы конструктивной математики А. А. Марков, «умственные построения, такие, например, как построения все больших и больших натуральных чисел, обычно являются слепками с построений материальных, осуществляемых в окружающей нас действительности»[8].

Перейдем, однако, к чисто математическому аспекту брауэровской платформы. Ядром здесь является установка на конструктивность[9] и отрицание универсальности закона исключенного третьего — два положения, которые в интуиционистском истолковании являются родственными. Пример поможет понять сущность дела.

Возьмем теорему Больцано — Вейерштрасса о наличии у ограниченной числовой последовательности точки сгущения. Под точкой сгущения последовательности понимается точка числовой оси, к которой как угодно близко подходят точки, представляющие числа данной последовательности. Скажем, для последовательности 1/2, 1/3, 1/4, 1/5,...точкой сгущения является нулевая точка, так как какое бы сколь угодно малое положительное число е мы ни взяли, для него обязательно отыщется член нашей последовательности, отличающийся по своей абсолютной величине от нуля меньше, чем на е.

Теорема Больцано — Вейерштрасса доказывается с помощью дихотомии. Ограниченная последовательность (по определению) может быть целиком заключена в пределы некоторого отрезка числовой оси. Разделим этот отрезок пополам. По меньшей мере на одной из его половин (а может и на обеих) имеется бесконечное множество точек последовательности, иначе, если бы на обеих половинах было конечное число точек, то их вообще было бы конечное число, что противоречит предположению о бесконечности последовательности. Возьмем как раз ту половину, где имеется бесконечное множество точек последовательности, разделим ее снова пополам и повторим рассуждение. В конце концов (при бесконечном продолжении процесса) мы придем к единственной точке, принадлежащей всем нашим уменьшающимся вдвое отрезкам, — это и будет точка сгущения.

В самом деле: если предположить, что эта точка не есть точка сгущения, то вокруг нее существует некоторая зона, где нет точек нашей последовательности; но уменьшающиеся отрезки, каждый из которых содержит не одну, а бесконечное множество точек последовательности, стягиваются вокруг этой точки и рано или поздно войдут в любую зону, как бы мала она ни была. Противоречие и доказывает теорему[10].

Для интуициониста это рассуждение ничего не стоит. Ясно, скажет он, что мы не сможем фактически обнаружить тот отрезок, на котором расположено бесконечное множество членов последовательности. Действительно, как это сделать? Считать число членов, попавших на каждую из половин? Это приведет к цели лишь в том случае, если на одной из половин окажется конечное число членов: тогда мы возьмем другую половину. А если мы считаем, считаем и считаем — и все время и на одной и на другой половине будут обнаруживаться новые точки — тогда как быть? Ведь как бы долго ни происходил этот пересчет, мы не вправе заключить, что точек бесконечное множество: нет гарантии, что они через некоторое время не иссякнут. Поэтому построить точку сгущения таким способом невозможно. А раз так, то из нелепости предположения об отсутствии точки сгущения не следует ее наличие.

Учтя центральное положение теоремы Больцано—Вейерштрасса в дифференциальном исчислении и распространенность в анализе доказательств с подобной же схемой рассуждений, можно представить себе, в какое затрудни» тельное положение попадает математика, если такие рассуждения будут «запрещены» — объявлены нестрогими. Естественно, что программа Брауэра вызвала среди ведущих математиков того времени самое различное отношение - одни приветствовали ее (среди них был, например, Гермад Вейль, решительно выступивший в поддержку Брауэра), другие — а таких было большинство — выступили с резкими возражениями. Самым авторитетным оппонентом интуиционизма стал Давид Гильберт (1862—1943).

Гильберта считают величайшим математиком XX века. Диапазон его работ внушает изумление. Он внес огромный вклад в теорию инвариантов групп и теорию алгебраических чисел, разработал основания геометрии, решил многие проблемы вариационного исчисления, исследовал вопросы дифференциальных уравнений, развил теорию интегральных уравнений, создал аппарат функционального анализа и поставил на новую основу математическую физику. Влияние Гильберта на современную ему математику было невероятным. Геттингенский университет, профессором которого он был с 1902 по 1930 год, стал мировой «Меккой математиков». В 1900 году на Втором Международном конгрессе математиков в Париже Гильберт делал обзорный доклад о проблемах математики в целом — вещь, на которую не отваживался больше никто. В этом знаменательном для истории науки докладе он выдвинул знаменитые двадцать три «проблемы Гильберта», задавшие исследователям работу на десятилетия и в некотором смысле определившие направление поисков.

Бунт Брауэра Гильберт воспринял как сигнал о неблагополучном положении во всем математическом хозяйстве и срочно стал искать средства ликвидировать возникшие неполадки. С начала двадцатых годов важнейшим делом Гильберта становятся исследования в области оснований математики. Эта работа тем более была ему сподручна, что еще в 1898 году он написал знаменитую книгу «Основания геометрии» (а в последующие годы опубликовал ряд работ по проблемам оснований математического знания). В этой книге подводился итог огромной работе математиков, физиков и философов в области осознания природы геометрической науки — работы, начатой еще создателями неэвклидовых геометрий. Для понимания той программы, которую Гильберт противопоставил плану Брауэра, полезно познакомиться с основным замыслом «Оснований геометрии»[11].

Работы Фреге ясно показали (хотя сам Фреге с этим не был согласен[12]): абстрактная (и тем более формальная, то есть основанная на формализованной логике) теория сама по себе не может быть «верной» или «неверной» с точки зрения содержания. Содержательные соображения получают право на существование только тогда, когда установлена интерпретация формальной системы, то есть когда система использована как схема каких-то «реальных» явлений. Но какова «природа» элементов абстрактной, формальной системы? В частности, что такое точки и прямые абстрактной геометрии?