Достоверность утверждений математики

Теперь о достоверности математических утверждений. Платон выводил ее из идеальности предмета математики, из того факта, что математика не опирается на призрачные и переменчивые данные чувственного опыта. Чертежи и символы, по Платону, являются лишь вспомогательным средством для математики, настоящие объекты, с которыми он оперирует, содержатся в его воображении и представляют собой результат восприятия разумом мира идей подобно тому, как чувственный опыт есть результат восприятия органами чувств материального мира. Нельзя не согласиться с тем, что воображение играет в работе математика решающую роль (как, впрочем, и во всех областях творческой деятельности). Правда, говорить, что математические объекты содержатся в воображении не совсем правильно: в основном они все-таки содержатся в чертежах и текстах, а воображение выхватывает их лишь небольшими частями. Мы не содержим, а, скорее, пропускаем математические объекты через воображение, и свойства нашего воображения определяют функционирование математического языка. Что же касается источника, определяющего содержание нашего воображения, то тут мы фундаментально расходимся с Платоном: источником является тот же чувственный опыт, что и в эмпирических науках. Поэтому математика создает — хотя и через посредство воображения — модели все того же, единственно существующего (насколько нам известно) мира, в котором мы живем.

Рис. 10.3. Построение равностороннего треугольника

Надо сказать, что греческие математики, создав изумительное по красоте здание логически строгих доказательств, все же оставили в нем ряд дырок, причем дырки эти лежат, как мы уже отмечали, в самых нижних этажах здания — в области определений и элементарнейших свойств геометрических фигур. А это и свидетельствует о завуалированном обращении к столь презираемому платониками чувственному опыту. Математика времен Платона дает даже более яркий материал, чем современная математика, для опровержения тезиса о её независимости от опыта.

Первое доказываемое предложение первой книги Евклида содержит способ построения равностороннего треугольника по заданной его стороне. Способ таков (рис. 10.3). Пусть AB — заданная сторона треугольника. Из точки A, взятой в качестве центра, опишем окружность π_A радиуса AB. Такую же окружность (π_B) опишем из точки B. Обозначим через C любую из точек пересечения этих окружностей. Треугольник ABC равносторонний, ибо AC = CВ = AB.

В этом рассуждении есть логическая дырка: откуда следует, что построенные нами окружности вообще пересекутся? Вопрос этот чрезвычайно каверзный, ибо факт наличия точки пересечения C нельзя отнести ни к свойствам окружности, ни даже к свойствам пары окружностей (ибо они отнюдь не всегда пересекаются); мы имеем здесь дело с более специфическим свойством данной ситуации. Вероятно, Евклид чувствовал наличие здесь дырки, но не нашел, чем ее заткнуть.

Откуда же у нас уверенность, что окружности π_A и π_B пересекаются? В конечном счете, разумеется, из опыта. Из опыта созерцания и рисования прямых, окружностей и линий вообще. Из безуспешных попыток провести окружности π_A и π_B таким образом, чтобы они не пересекались.

Итак, мнение Платона о полной независимости, современной ему математики от опыта нельзя признать обоснованным. Однако вопрос о природе математической достоверности требует дальнейшего исследования, ибо просто сослаться на опыт и приравнять тем самым математическую достоверность эмпирической достоверности значило бы броситься в крайность, противоположную платонизму. Ведь мы ясно ощущаем, что математическая достоверность чем-то отличается от эмпирической. Чем же?

Утверждение, что окружности радиуса AB с центрами в A и B пересекаются (мы будем для краткости обозначать это утверждение через E ₁), представляется нам если не совсем, то почти абсолютно достоверным, мы просто не можем себе представить, чтобы они не пересеклись. Не можем себе представить... Этим-то и отличается математическая достоверность от эмпирической! Когда мы говорим о завтрашнем восходе солнца, мы можем представить, что солнце не взойдет. И только на основании опыта мы полагаем, что оно, вероятно, взойдет. Здесь есть две возможности, и предсказание, какая из них осуществится, имеет вероятностный характер. Когда же мы говорим, что дважды два — четыре и что окружности, построенные так, как было указано выше, пересекаются, мы не можем представить, чтобы было иначе. Мы не видим другой возможности, поэтому и утверждения эти воспринимаем как абсолютно достоверные и независимые от конкретных наблюденных нами фактов.