Напротив, посмотрите на Клейна: он изучает один из самых абстрактных вопросов теории функций; требуется узнать, всегда ли существует на данной поверхности Римана функция, допускающая данные сингулярности. Что делает знаменитый немецкий геометр? Он заменяет поверхность Римана металлической поверхностью, электропроводность которой меняется по известным законам, и соединяет две точки ее с двумя полюсами элемента. Ток, говорит он, непременно пройдет, и распределение этого тока по поверхности определит функцию, особыми свойствами которой будут именно те, которые предусмотрены условием.
Без сомнения, Клейн знает, что он дал здесь лишь наглядный очерк; и все-таки он не задумался опубликовать его; вероятно, он надеялся найти здесь если не строгое доказательство, то по крайней мере как бы нравственную уверенность. Логик с ужасом отбросил бы подобную концепцию или – вернее – ему и не нужно было бы ее отбрасывать, потому что она никогда не могла бы возникнуть в его уме.
Позвольте мне еще сравнить двух людей, которые составляют гордость французской науки; они недавно умерли, но давно уже стяжали себе бессмертие. Я говорю о Бертране и Эрмите. Они воспитывались в одной школе и в одно и то же время; получили одно воспитание и подверглись одним и тем же влияниям; и однако какое различие – не только в их сочинениях, но и в их преподавании, в их манере говорить, в самой их внешности! Эти две личности запечатлелись в памяти всех их учеников неизгладимыми чертами; воспоминание о них еще свежо у всех тех, кто имел счастье слушать их лекции; нам легко восстановить его.
Когда говорил Бертран, он все время находился в движении; то он как будто боролся с каким-то внешним врагом, то движением руки чертил фигуры, которые он изучал. Очевидно, он видел их и хотел изобразить, поэтому он и прибегал к жесту. Что касается Эрмита, то это совершенная противоположность; глаза его как бы избегали соприкосновения с миром; не вне, а внутри искал он образ истины.
Между немецкими геометрами той же эпохи два имени пользуются особенной славой; это имена тех двух ученых, которые основали общую теорию функций, Вейерштрасса и Римана. Вейерштрасс все сводит к рассмотрению рядов и к их аналитическим преобразованиям; можно сказать, он превращает анализ как бы в продолжение арифметики; можно перелистать все его сочинения и не встретить в них ни одного чертежа. Напротив, Риман постоянно прибегает к помощи геометрии; каждая концепция его есть образ, который никто не может позабыть, раз его смысл понят.
Возьмем примеры более свежие. Ли был интуитивистом. При чтении его трудов могли возникнуть сомнения, но все они исчезали после беседы с ним; сейчас же было видно, что он мыслит в образах. Ковалевская была логиком.
У наших студентов мы замечаем те же самые различия; одни больше любят решать задачи «аналитически», другие – «геометрически». Первые не способны «представлять в пространстве», последние скоро утомились бы и запутались бы в длинных вычислениях. Оба рода умов одинаково необходимы для прогресса науки; как логики, так и интуитивисты создали великие вещи, которых не могли бы создать другие. Кто осмелится сказать, что, на его взгляд, было бы лучше, если бы Вейерштрасс никогда не писал, или что он предпочел бы, чтобы Римана не существовало? Итак, и анализ, и синтез играют каждый свою законную роль. Но интересно поближе рассмотреть, какое место в истории науки отводится одному и какое – другому.
Интересная вещь! Если мы перечитаем сочинения древних, у нас явится склонность причислить всех их к интуитивистам. И однако природа всегда остается одной и той же; маловероятно, что она только в нашу эпоху начала создавать расположенные к логике умы.
Если бы мы могли снова вникнуть в ход тех идей, которые господствовали в их время, мы узнали бы, что многие из древних геометров по своему направлению были аналитиками. Например, Евклид воздвиг здание науки, в котором его современники не могли найти недостатка. В этом обширном построении – каждая часть которого все же была обусловлена интуицией – мы можем еще и теперь без особого труда признать творчество логика.
Изменились не умы, а идеи; интуитивные умы остаются все теми же, но их читатели потребовали от них больше уступок.
Какова же причина этой эволюции?
Нетрудно обнаружить ее. Интуиция не может дать нам ни строгости, ни даже достоверности – это замечается все больше и больше.
Приведем несколько примеров. Мы знаем, что существуют непрерывные функции, не имеющие производных. Ничто так не подрывает доверие к интуиции, как эта внушенная нам логикой теорема. Наши отцы не преминули бы сказать: «очевидно, что любая непрерывная функция имеет производную, потому что любая кривая имеет касательную».
Почему же интуиция может обмануть нас в этом случае? А потому, что когда мы стараемся вообразить кривую, мы не можем представить себе ее без толщины; то же самое – когда мы представляем себе прямую, мы видим ее в форме прямолинейной полосы известной ширины. Мы отлично знаем, что эти линии не имеют толщины; мы силимся вообразить их все более и более тонкими и таким образом приблизиться к пределу; до некоторой степени нам это удается, но мы никогда не достигнем этого предела.
Теперь ясно, что мы всегда будем в состоянии представить себе эти две узкие полосы – одну прямолинейную, другую криволинейную – в таком положении, что они будут слегка захватывать друг друга, не пересекаясь.
Таким образом, мы поневоле придем, – если не будем предупреждены строгим анализом, – к заключению, что кривая всегда имеет касательную.
Для другого примера я возьму принцип Дирихле, на котором основано так много теорем математической физики; теперь он доказывается самыми строгими, но очень длинными рассуждениями; напротив, прежде довольствовались одним кратким пояснением. Определенный интеграл, зависящий от произвольной функции, никогда не может обращаться в нуль. Отсюда заключали, что он должен иметь минимум. Недостаток этого рассуждения непосредственно очевиден для нас, потому что мы употребляем абстрактный термин «функция» и потому что мы освоились со всеми особенностями, которые могут иметь функции, когда это слово понимается в самом общем значении.
Но этого бы не было, если бы мы пользовались конкретными образами – если бы, например, смотрели на эту функцию как на электрический потенциал; можно было бы справедливо утверждать, что электростатическое равновесие может быть достигнуто. Однако, может быть, сравнение из физики возбудило бы некоторое смутное недоверие. Но если бы постараться перевести рассуждение на язык геометрии, средний между языком анализа и физики, то этого недоверия, без сомнения, не возникало бы и, таким образом, может быть, можно было бы еще теперь обмануть многих непредубежденных читателей.
Итак, интуиция не дает нам достоверности. Вот почему должна была возникнуть эволюция; теперь посмотрим, как она возникла.
Вскоре заметили, что строгость не могла бы иметь места в рассуждениях, если не ввести ее сначала в определения.
ebooksa