Математика. Утрата определенности.

Как сказал Вейль, математика — это вид умственной деятельности, а не свод точных знаний. Математику лучше всего рассматривать в исторической перспективе. Рациональные конструкции и реконструкции оснований при таком подходе предстают перед нами лишь как попытки исказить историческую правду.

Наиболее крайние взгляды выразил в своей книге «Логика научного исследования» [120] Карл Поппер. Математическое рассуждение никогда не бывает верным, оно может быть только ошибочным. Было бы опрометчивым поручиться и за истинность математических теорем. Существующей математической теорией можно продолжать пользоваться за неимением лучшей, подобно тому как пользовались ньютоновской механикой в течение двух столетий до появления специальной теории относительности или как пользовались евклидовой геометрией до того, как была создана риманова геометрия. Уверенность в правильности математической теории недостижима.

Как свидетельствует история, не существует раз и навсегда заданного, обоснованного единого свода математических знаний. Кроме того, если история позволяет делать какие-то прогнозы, то можно сказать, что любые дополнения к существующей математике потребуют новых оснований. В этом отношении математика схожа с любой из физических наук. Физические теории приходится модернизировать и перестраивать всякий раз, когда новые наблюдения или новые экспериментальные данные вступают в противоречие с ранее установленными теориями и вынуждают формулировать новые. Математическую истину невозможно описать безотносительно ко времени. Все попытки построить математику на незыблемом основании заканчивались неудачей. Непрекращающиеся попытки — от Евклида через Вейерштрасса до современных школ в основаниях — подвести под математику прочный фундамент не дают ни малейшего повода надеяться на эволюционный прогресс, сулящий конечный успех.

Изложенные выше взгляды на роль интуиции и доказательства отражают точку зрения на современную математику, но не учитывают всех мнений о будущем. Взгляд на логику был подтвержден группой французских математиков, выступающих под коллективным псевдонимом Никола Бурбаки. В предисловии к первому тому «Элементов математики» Бурбаки пишет:

Как показывает анализ исторического развития математики, было бы неверно утверждать, что математика свободна от противоречий; непротиворечивость предстает как цель, к которой следует стремиться, как некое данное богом качество, ниспосланное нам раз и навсегда. С древнейших времен все критические пересмотры принципов математики в целом или любой из ее областей почти неизменно сменялись периодами неопределенности, когда появлялись противоречия и их приходилось решать… Вот уже двадцать пять веков математики имеют обыкновение исправлять свои ошибки и видеть в этом обогащение, а не обеднение своей науки; это дает им право смотреть в будущее спокойно.

([2], с. 30.)

Обращение к истории, возможно, в какой-то степени утешает, но та же история учит, что новые кризисы непременно возникнут. Однако столь мрачная перспектива не охлаждает оптимизма Бурбаки.

Один из ведущих французских математиков, бурбакист, Жан Дьедонне, выразил уверенность в том, что проблемы логики, коль скоро они возникнут, непременно будут разрешены: