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

Я убежден в том, что числа и функции анализа не являются произвольным продуктом нашего духа. Я верю, что они лежат вне нас с той же необходимостью, как предметы объективной реальности, а мы обнаруживаем или открываем и исследуем их так же, как это делают физики, химики и зоологи.{171}

По другому случаю Эрмит сказал: «В математике мы больше слуги, чем господа».

Многие из математиков XX в., несмотря на споры по поводу оснований, заняли ту же позицию. Создатель теории множеств и трансфинитных чисел Георг Кантор считал, что математики не изобретают понятия и теоремы, а открывают их. Математические понятия и теоремы существуют независимо от человеческого мышления. Себя самого Кантор считал репортером и секретарем, записывающим эти понятия и теоремы. Годфри Гарольд Харди, скептически относившийся к предлагаемым человеком доказательствам, утверждал в 1929 г.:

Мне кажется, что ни одна философия не может вызвать сочувствие у математика, если она так или иначе не признает незыблемости и безусловной годности математической истины. Математические теоремы истинны или ложны, и их истинность или ложность абсолютно не зависит от того, известны ли нам эти теоремы. В некотором смысле математическая истина является частью объективной реальности.

Аналогичные взгляды Харди выразил и в своей книге «Апология математика» [39]*:

Свою позицию я сформулирую догматически во избежание малейшей неясности. Я считаю, что математическая реальность лежит вне нас, что наша функция заключается в открытии и наблюдении

ее и что теоремы, которые мы доказываем и высокопарно называем своими «творениями», в действительности являются не более чем записями наших наблюдений.

Выдающийся французский математик XX в. Жак Адамар (1865-1963) утверждал в работе «Исследование психологии процесса изобретения в области математики», что, «хотя истина еще не известна нам, она предсуществует и неизбежно подсказывает нам путь, которым мы должны следовать» [70].

Гёдель также разделял мнение о существовании трансцендентального мира математики. Что касается теории множеств, то он считал вполне допустимым рассматривать все множества как реальные объекты:

Мне кажется, что допущение о существовании таких объектов столь же законно, как и допущение о существовании физических объектов, и что имеется не меньше оснований верить в их существование. Они необходимы для получения удовлетворительной теории математики в том же смысле, в каком физические тела необходимы для удовлетворительной теории наших чувственных восприятий, и в обоих случаях невозможно интерпретировать утверждения, которые мы хотим высказать об этих сущностях, как утверждения о «данных», т.е., в последнем случае, о реальных чувственных восприятиях.

Некоторые из приведенных выше высказываний принадлежат ученым двадцатого столетия, которых не очень беспокоили основания математики. Еще более удивительно, что и кое-кто из лидеров различных школ в основаниях математики, например Гильберт, Алонзо Черч и члены группы Бурбаки, утверждали, что математические понятия и свойства существуют в некотором объективном смысле и могут быть постигнуты человеческим разумом. Таким образом, математическую истину открывают, а не изобретают, и в результате открытия возникает не математика, а человеческое знание математики.