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

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

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

Тезис о важной роли обычных приемов математического творчества, а также идеализации и абстракции выдвинули Феликс Клейн и Мориц Паш. Разве интуиция могла бы открыть непрерывную (нигде не дифференцируемую) функцию {127}или кривую, покрывающую квадрат (кривую Пеано)? Такого рода «патологические» математические объекты, даже если их существование подсказано интуицией, подлежат «очищению», которое производится путем идеализации и абстракции. По выражению Клейна, примитивная интуиция не точна, а утонченная интуиция вообще не является интуицией, а возникает в результате логического вывода из аксиом. В ответ на требование полагаться на надежность логического вывода из аксиом Брауэр возразил, что непротиворечивость системы аксиом доказывается с помощью интерпретаций или моделей (гл. VIII), относительно которых должно быть известно, что они непротиворечивы. Всегда ли мы, справедливо заметил Брауэр, располагаем такими моделями, и не полагаемся ли мы на интуицию, объявляя их непротиворечивыми?

Вейль также оспаривал утверждение о том, что традиционные способы построения новых математических объектов и доказательства якобы обладают большей силой по сравнению с конструктивными. В книге «Разум и природа» (1934) он писал: «Приятно утешать себя надеждой, что сознанию откроются истины более глубокие по своей природе, чем те, которые доступны непосредственно интуиции».

Некоторые из противников интуиционизма, вполне признавая, что математика — это творение человека, тем не менее считали, что правильность или неправильность может быть установлена объективно, тогда как интуиционисты ставили решение этих вопросов в зависимость от человеческого разума, склонного заблуждаться. В этом, как писали Гильберт и Пауль Бернайс (1888-1978) в первом издании своего труда [75] по основаниям математики, мы усматриваем легко уязвимое место интуиционистский философии. На какие понятия и рассуждения мы можем положиться, если правильность понимается как очевидность для человеческого разума? Где же истина, объективно существующая для всех людей?

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

Доктрины интуиционизма затронули и еще один вопрос, тесно связанный с их основными установками. Как мы уже знаем, интуиционисты утверждали, что здравые и приемлемые идеи могут восприниматься и воспринимаются человеческим разумом. Эти идеи не рождаются в словесной форме. Язык не более чем несовершенное устройство для передачи идей. Вопрос, породивший долгие споры и обсуждения, состоял в следующем: могут ли мысли существовать в бессловесной форме? С одной стороны, в Евангелии от Иоанна говорится: «В начале было Слово». Хотя св. Иоанн, разумеется, не имел в виду математику, процитированное высказывание согласуется с позицией древнегреческих философов и взглядами некоторых современных психологов. С другой стороны, епископ Беркли считал, что слова — это помеха для мышления.

Эйлер затронул эту проблему в «Письмах к немецкой принцессе» (1768-1772; адресатом писем была принцесса Ангальт-Дессау, племянница Фридриха Великого):

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

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

В книге «Исследование психологии процесса изобретения в области математики» (1945) Жак Адамар занялся изучением вопроса о том, как мыслит математик, и обнаружил, что в процессе творчества почти все математики избегают пользоваться языком. Они мыслят смутными образами, визуальными или тактильными. Именно о таком характере мышления говорится в письме Эйнштейна к Адамару, приведенном в названной книге: