l:href='#n_125' type='note'>[125]. Чтобы следить за доказательством, нам требуется глядеть на (нарисованный) чертеж. Это «смотрение» является не чувственной, а чистой интуицией, о чем свидетельствует то, что чертеж часто может быть убедительным, даже если будет изображен в довольно грубой манере, а также то, что рисунок треугольника может представлять для нас (в одном рисунке) бесконечное количество возможных вариантов треугольников всех форм и размеров.
Аналогичные рассуждения справедливы и для арифметики, которая, согласно Канту, основывается на счете — процессе, в свою очередь основывающемся, по существу, на чистой интуиции времени.
Эта теория источников математического знания в своей кантовской форме порождает серьезные трудности. Даже если мы примем, что все сказанное Кантом правильно, мы остаемся в недоумении, ибо евклидова геометрия, независимо от того, использует она чистую интуицию или нет, несомненно, опирается на интеллектуальную аргументацию, логическую дедукцию. Невозможно отрицать, что математика оперирует дискурсивным мышлением. Ход рассуждений Евклида осуществляется шаг за шагом от высказывания к высказыванию через все книги его «Начал»: он не был постигнут в одном- единственном мгновенном интуитивном озарении. Даже если мы допустим (ради аргументации) необходимость наличия чистой интуиции в каждом отдельном шаге рассуждений без исключения (а это допущение современному человеку трудно сделать), пошаговая, дискурсивная и логическая процедура выводов Евклида так очевидна, так широко известна и ей так часто подражали (Спиноза, Ньютон), что трудно представить себе, что Кант мог этого не знать. На самом деле Кант знал все это, вероятно, не хуже любого другого. Однако рассматриваемая позиция была навязана ему: (1) структурой «Критики чистого разума», в которой «Трансцендентальная эстетика» предшествует «Трансцендентальной логике», и (2) его четким различением (я бы сказал — несостоятельно четким различением) интуитивного и дискурсивного мышления. В результате почти хочется сказать, что кантовское исключение дискурсивных аргументов из геометрии и арифметики — не просто пробел, а противоречие.
То, что это не соответствует действительности, было показано Брауэром, который заполнил данный пробел. Я имею в виду теорию Брауэра об отношении между математикой, с одной стороны, и языком и логикой — с другой.
Брауэр решил данную проблему тем, что провел четкое различение между математикой как таковой и ее выражением в языке и ее коммуникативной функцией. Математику саму по себе он рассматривал как внеязыковую деятельность, по существу — как деятельность мысленного конструирования на основе нашей чистой интуиции времени. Посредством такого конструирования мы создаем в нашей интуиции, в нашем уме объекты математики, которые впоследствии — после их создания — мы можем попытаться описать или сообщить о них другим. Таким образом, лингвистическое описание и дискурсивная аргументация со своей логикой появляются после по существу математической деятельности: их черед приходит только тогда, когда объекты математики — такие как доказательство — уже созданы.
Подход Брауэра к этому вопросу позволяет решить проблему, которую мы обнаружили в кантовской «Критике чистого разума». То, что на первый взгляд выступает у Канта как противоречие, упраздняется самым оригинальным способом посредством концепции, согласно которой мы должны четко различать два уровня: один уровень — интуитивный, мысленный и существенный для математического мышления, другой — дискурсивный, лингвистический и существенный только для коммуникации.
Как и у любой великой теории, ценность этой теории Брауэра проявляется в ее продуктивности. Она одним усилием решает три крупные группы проблем философии математики:
(1) Эпистемологические проблемы истоков математической достоверности (certainty), природы математических данных и природы математического доказательства. Эти проблемы решаются, соответственно, с помощью концепции интуиции как источника знания; концепции, согласно которой мы можем интуитивно усматривать математические объекты, которые конструируем, и концепции, согласно которой математическое доказательство является последовательным конструированием или конструкцией конструкций.
(2) Онтологические проблемы природы математических объектов и способа их существования. Эти проблемы были решены Брауэром с помощью доктрины, имеющей два аспекта: с одной стороны, конструктивизм, а с другой стороны, — ментализм. Согласно ментализму, все математические объекты находятся в той сфере, которую я называю «вторым миром». Математические объекты — это конструкции человеческого ума, и они существуют единственно как конструкции в человеческом уме. Их объективность, то есть то, что они суть объекты и что они существуют объективно, всецело опирается на возможность повторения их конструирования по нашему желанию.
Таким образом, Брауэр в своей лекции 1912 года (Brouwer 1914) предполагал, что для интуициониста математические объекты существуют в человеческом уме, в то время как для формалиста они существуют «на бумаге» [126].
(3) Методологические проблемы математических доказательств. Мы можем упрощенно различать два главных подхода ученых к математике. Одни математики могут интересоваться главным образом теоремами — истинностью или ложностью математических высказываний, другие — главным образом доказательствами: вопросами существования доказательств той или иной теоремы и спецификой таких доказательств. Если преобладающим является первый подход (как это, по-видимому, имеет место, например, для Пойя), тогда он обычно связан с интересом к открытию математических «фактов» и поэтому с платонизированной математической эвристикой. Если же преобладает второй подход, тогда доказательства являются не просто средствами формирования уверенности в теоремах о математических объектах, а самостоятельными математическими объектами. Как мне кажется, так обстояло дело с Брауэром: те построения, которые были доказательствами, не только создавали и утверждали существование математических объектов, они были в то же время сами математическими объектами, возможно даже наиболее важными из таких объектов. Таким образом, утверждать некоторую теорему означало для Брауэра утверждать существование некоторого доказательства для нее, а отрицать ее — означало утверждать существование опровержения, то есть доказательства ее абсурдности. Это непосредственно ведет к отказу Брауэра от закона исключенного третьего, к отрицанию им косвенных доказательств и к тезису, что существование может быть доказано только реальным построением рассматриваемых математических объектов, когда они делаются, так сказать, видимыми.
Это также ведет к отрицанию Брауэром «платонизма», под которым мы понимаем учение, согласно которому математические объекты обладают тем, что я называю «автономным» способом существования, при котором они могут существовать, не будучи созданы нами и, следовательно, без доказательства своего существования.
До сих пор я пытался понять брауэровскую эпистемологию, исходя прежде всего из предположения, что она проистекает из попытки решить определенную трудность в философии математики Канта. Теперь я перейду к тому, что содержится в названии данного раздела, — к оценке и критике брауэровской эпистемологии.
Исходя из положений настоящего доклада, можно утверждать, что одним из великих достижений Брауэра, по моему мнению, является его понимание того, что математика и, как я могу добавить, весь третий мир созданы человеком.
Эта идея является настолько радикально антиплатоновской, что Брауэр, понятно, не видел возможности ее связи с некоторой формой платонизма, под которой я имею в виду концепцию частичной автономии математики и третьего мира в том виде, как она описана ранее в разделе 3 этой главы.
Другим великим достижением Брауэра в философском плане был его антиформализм — признание им того, что математические объекты должны существовать до того, как мы сможем говорить о них.
Позвольте теперь мне вернуться к критике брауэровского решения трех групп главных проблем философии математики, сформулированных ранее в настоящем разделе.
(1') Эпистемологические проблемы: интуиция в целом и теория времени в частности.
