Математика. Утрата определенности.
Шрифт:
Вейль также оспаривал утверждение о том, что традиционные способы построения новых математических объектов и доказательства якобы обладают большей силой по сравнению с конструктивными. В книге «Разум и природа» (1934) он писал: «Приятно утешать себя надеждой, что сознанию откроются истины более глубокие по своей природе, чем те, которые доступны непосредственно интуиции».
Некоторые из противников интуиционизма, вполне признавая, что математика — это творение человека, тем не менее считали, что правильность или неправильность может быть установлена объективно, тогда как интуиционисты ставили решение этих вопросов в зависимость от человеческого разума, склонного заблуждаться. В этом, как писали Гильберт и Пауль Бернайс (1888-1978) в первом издании своего труда [75] по основаниям математики, мы усматриваем легко уязвимое место интуиционистский философии. На какие понятия и рассуждения мы можем положиться, если правильность понимается как очевидность для человеческого
Другое критическое замечание в адрес интуиционизма состояло в том, что он совсем не касается вопросов о приложимости математики к исследованию природы. Интуиционизм не связывает математику с восприятием. Брауэр признавал, что интуиционистская математика бесполезна для практических приложений. Более того, Брауэр отрицал господство человека над природой. Несмотря на всевозможные критические замечания в адрес интуиционизма, Вейль заявил в 1951 г.: «Думаю, что всякому, кто хотел бы по-прежнему верить в истинность математических утверждений, в истинность, основанную на опыте, придется принять критику, которой подверг основания математики Брауэр».
Доктрины интуиционизма затронули и еще один вопрос, тесно связанный с их основными установками. Как мы уже знаем, интуиционисты утверждали, что здравые и приемлемые идеи могут восприниматься и воспринимаются человеческим разумом. Эти идеи не рождаются в словесной форме. Язык не более чем несовершенное устройство для передачи идей. Вопрос, породивший долгие споры и обсуждения, состоял в следующем: могут ли мысли существовать в бессловесной форме? С одной стороны, в Евангелии от Иоанна говорится: «В начале было Слово». Хотя св. Иоанн, разумеется, не имел в виду математику, процитированное высказывание согласуется с позицией древнегреческих философов и взглядами некоторых современных психологов. С другой стороны, епископ Беркли считал, что слова — это помеха для мышления.
Эйлер затронул эту проблему в «Письмах к немецкой принцессе» (1768-1772; адресатом писем была принцесса Ангальт-Дессау, племянница Фридриха Великого):
Какой бы склонностью ни обладал человек к тренировке своей способности к абстракции и к выработке общих идей, он не сможет преуспеть в этом без помощи языка, устного или письменного. И тот, и другой содержат множество различнейших слов, представляющих собой не что иное, как знаки, соответствующие нашим идеям. Значение словам придается обычаем или молчаливым соглашением нескольких людей, живущих вместе.
Следовательно, единственное назначение языка состоит в том, чтобы люди могли сообщить друг другу о своих чувствах. Одинокий человек мог бы вполне обойтись и без языка. Стоит немного подумать, как станет ясно, что язык нужен людям, чтобы они могли следить за своими мыслями и развивать их, а также общаться друг с другом.
В книге «Исследование психологии процесса изобретения в области математики» (1945) Жак Адамар занялся изучением вопроса о том, как мыслит математик, и обнаружил, что в процессе творчества почти все математики избегают пользоваться языком. Они мыслят смутными образами, визуальными или тактильными. Именно о таком характере мышления говорится в письме Эйнштейна к Адамару, приведенном в названной книге:
Слова, написанные или произнесенные, не играют, видимо, ни малейшей роли в механике моего мышления. Психологическими элементами мышления являются некоторые более или менее ясные знаки или образы, которые могут быть «по желанию» воспроизведены и скомбинированы.
…Элементы, о которых я только что упомянул, бывают у меня обычно визуального или изредка двигательного типа. Слова или другие условные знаки приходится подыскивать (с трудом) только на вторичной стадии…
Разумеется, визуализация играет главную роль в творческом акте. Образ бесконечных прямых, делящих евклидову плоскость на две части, берет начало из визуализации. Вопрос сводится к следующему: «верит» ли разум фактам (независимо от того, каким образом они получены) настолько, что, как утверждают интуиционисты, необходимость в точной словесной формулировке и логическом доказательстве отпадает?
В 1930 г. Аренд Гейтинг (р. 1898), наиболее выдающийся представитель интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний {128} ; это явилось своего рода символическим выражением намерения наладить отношения с формальными логиками. Логика высказываний охватывала лишь часть классической формальной логики. Например, в логике Гейтинга из истинности высказывания pследует: неверно, что pложно. Но из утверждения «неверно, что pложно» еще не следует, что pистинно, так как высказывание pможет оказаться неконструктивным. Закон
128
В разработке интуиционистской логики приняли участие также московские математики В.И. Главенко (1897-1940; работы 1928-1929) и особенно А.Н. Колмогоров (р. 1903; работы 1925, 1932). Ср. также [71].
Несмотря на ограничения, наложенные интуиционистами на математику, и на критику интуиционистской философии представителями других направлений, в целом интуиционизм пошел математике на пользу. Он выдвинул на первый план вопрос «Что означает в математике существование?», впервые серьезно обсуждавшийся в связи с аксиомой выбора. Перефразируя Вейля, можно сказать; много ли проку от того, что мы знаем о существовании числа, обладающего теми или иными свойствами, если у нас нет возможности реализовать или вычислить его? Неограниченное, наивное использование закона исключенного третьего явно нуждается в пересмотре. Особенно важно, по-видимому, то, что интуиционизм отстаивал непременную вычислимость чисел и функций, существование которых доказано лишь тем, что предположение об их несуществовании приводит к противоречию. Узнать эти числа непосредственно — это то же самое, что жить рядом с другом, но это означает совсем иное, чем просто знать, что где-то в мире у тебя есть друг.
Противоборство логицистов и интуиционистов было лишь первой схваткой в разгоравшейся битве за обоснование математики. В борьбу вступали все новые участники, о которых речь еще впереди.
XI
Формализм и теоретико-множественные основания математики
Какое значение могут иметь жалкие остатки, немногочисленные, неполные, не связанные друг с другом единичные результаты, которые были выработаны интуиционистами, по сравнению с могущественным размахом современной математики! {129}
129
Гильберт Д. Основания математики. — В кн.: Основания геометрии. — М. — Л.: Гостехиздат, 1948, с. 383.
Логицизм и интуиционизм — два направления, возникшие в первые годы XX в. и придерживавшиеся диаметрально противоположных взглядов на основания математики, — были лишь первыми признаками надвигающейся бури. Третье направление — формализм— сформировал и возглавил Давид Гильберт. Родоначальником четвертого (теоретико-множественного)направления в основаниях математики стал Эрнст Цермело.
В своем докладе [51] на II Международном математическом конгрессе, проходившем в 1900 г. в Париже (гл. VIII), Гильберт подчеркнул важность доказательства непротиворечивости математики. Он указал также, что желательно получить прямое доказательство полной упорядоченности вещественных чисел. Но из работ Цермело мы знаем, что полное упорядочение эквивалентно аксиоме выбора. Гильберт обратил также внимание математиков на необходимость доказательства гипотезы континуума,согласно которой не существует (количественного) трансфинитного числа, большего N 0и меньшего c.Еще до того, как обрели известность парадоксы теории множеств, доставившие немало хлопот математикам, и возникла дискуссия по поводу аксиомы выбора, Гильберт предвидел насущную необходимость решения всех этих проблем.
Суть своего подхода к основаниям математики, в том числе и к доказательству ее непротиворечивости, Гильберт изложил в 1904 г. в докладе на III Международном конгрессе математиков в Гейдельберге. Тогда он еще не имел серьезных работ, реализующих намеченную им программу. В последующие 15 лет логицисты и интуиционисты развили бурную деятельность в направлении, указанном этим докладом; однако Гильберт, мягко говоря, не был удовлетворен предложенными ими решениями проблем, потрясающих сами основания математики.