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

Нельзя не признать важного значения логики для математики. Если интуиция — господин, а логика — всего лишь слуга, то это тот случай, когда слуга обладает определенной властью над своим господином. Логика сдерживает необузданную интуицию. Хотя, как мы и признали, интуиция играет в математике главную роль, все же сама по себе она может приводить к чрезмерно общим утверждениям. Надлежащие ограничения устанавливает логика. Интуиция отбрасывает всякую осторожность — логика учит сдержанности. Правда, приверженность логике приводит к длинным утверждениям со множеством оговорок и допущений и обычно требует множества теорем и доказательств, мелкими шажками преодолевая то расстояние, которое мощная интуиция перемахивает одним прыжком. Но на помощь интуиции, отважно захватившей расположенное перед мостом укрепление, необходимо выслать боевое охранение, иначе неприятель может окружить захваченную территорию, заставив нас отступить на исходные позиции.

Интуиция может и обмануть нас. На протяжении большей части XIX в. математики — в том числе Коши, одним из первых ставший насаждать математическую строгость, — считали, что любая непрерывная функция имеет производную. Но Вейерштрасс поразил математический мир, продемонстрировав непрерывную функцию, ни в одной точке не имеющую производной.{169}

Такая функция недоступна интуиции. Математическое рассуждение не только дополняет интуицию, но и подтверждает, исправляет, а в иных случаях и превосходит ее.

То, что дают математикам логические рассуждения, можно пояснить с помощью аналогии. Предположим, фермер купил участок непроходимого леса, намереваясь расчистить его и заняться земледелием. Вырубив лес на небольшом пятачке, он заметил рыскавших в лесу диких зверей. Опасаясь их нападения, фермер вырубил лес, примыкавший к уже расчищенному участку, и звери отступили вместе с лесом. Теперь их можно было видеть чуть дальше — там, где на границе расчищенного участка стеной поднимался девственный лес. Фермер снова взялся за топор и т.д. до бесконечности. Каждый раз он расчищал все новый участок земли — звери отступали к кромке нетронутого леса. Спросим себя: чего же достиг фермер? По мере того как увеличивался свободный от леса участок земли, фермер обретал все большую безопасность, по крайней мере если он работал в центре расчищенного участка. Но звери не исчезли, они лишь отступили и когда-нибудь смогут неожиданно наброситься на фермера и растерзать его, хотя по мере увеличения размеров расчищенного участка фермер обретал все большую относительную безопасность. Аналогичным образом степень уверенности, с какой мы можем пользоваться центральным ядром математических знаний, возрастает по мере того, как логика применяется для выяснения то одной, то другой проблемы в основаниях математики. Иначе говоря, доказательство гарантирует нам относительную уверенность в правоте. Мы окончательно убеждаемся в правильности той или иной теоремы, если нам удастся доказать ее на основе разумных утверждений о числах и геометрических фигурах, которые интуитивно более приемлемы, чем доказываемая теорема. По словам Реймонда Луиса Уайлдера, доказательство — это проверка идей, подсказанных интуицией.

К сожалению, доказательства одного поколения воспринимаются другим поколением как ворох логических ошибок. Один из основоположников современной математики в США, Элиаким Гастингс Мур (1862-1932), выразил (1903) эту мысль так: «Любая наука, включая логику и математику, есть продукт своей эпохи. Наука воплощена в своих идеалах не в меньшей мере, чем в результатах». Век строгости короток — это всего лишь один день. В наше время понятие строгости зависит и от того, к какой школе принадлежит математик. Насколько можно судить, самого Уайлдера вполне устроило бы доказательство, не содержащее явных противоречий и к тому же полезное для математики. Например, он не стал бы возражать против понятия гипотезы континуума в качеству аксиомы. Не придавая особого значения доказательству, Уайлдер критиковал различные школы мышления за разобщенность. Разве не напоминает приверженность догматам одной школы в ущерб всем остальным фанатизм религиозных сектантов, провозглашающих своего бога истинным и отвергающих все остальные секты как заблудшие?