Жюль Пуанкаре - Теорема века. Мир с точки зрения математики

Очевидно, нет, мы еще не овладеем всецело реальностью; то нечто, что создает единство доказательства, совсем ускользнет от нас.

Чистый анализ предоставляет в наше распоряжение много приемов, гарантируя нам их непогрешимость; он открывает нам тысячу различных путей, которым мы смело можем вверяться; мы уверены, что не встретим там препятствий; но какой из всех этих путей скорее всего приведет нас к цели? Кто скажет нам, какой следует выбрать? Нам нужна способность, которая позволяла бы видеть цель издали, а эта способность есть интуиция. Она необходима для исследователя в выборе пути, она не менее необходима и для того, кто идет по его следам и хочет знать, почему он избрал его.

Если вы присутствуете при шахматной партии, чтобы понять ее, вам недостаточно будет знать правила ходов фигур. Это только позволило бы вам знать, что каждый ход сделан по правилам игры, а это преимущество, конечно, не имело бы большой цены. Однако в таком положении был бы читатель математической книги, если бы он был только логиком. Совсем другое дело – понимать партию; это значит знать, почему игрок выдвигает одну фигуру раньше другой, которую он мог бы подвинуть, не нарушая правил игры. Это значит подметить скрытую мысль, которая делает из этого ряда последовательных ходов нечто вроде организованного целого. Тем более эта способность необходима для самого игрока, т. е. для изобретателя.

Оставим это сравнение и вернемся к математике. Посмотрим, что произошло, например, с идеей непрерывной функции. Вначале это был только чувственный образ, например образ непрерывной черты, проведенной мелом на черной доске. Потом мало-помалу она стала очищаться: скоро воспользовались ею для построения сложной системы неравенств, которая воспроизводила, так сказать, все черты первообраза; когда это построение было окончено, тогда освободили ее от «строительных лесов», отбросив то грубое представление, которое служило ей некоторое время подпорой, а теперь стало бесполезным; не осталось больше ничего, кроме самого построения, безупречного в глазах логика. Однако же если бы первообраз совершенно исчез из нашей памяти, как бы мы угадали, по какой прихоти были построены так, одно за другим, эти неравенства?

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

Этот вид целого необходим для изобретателя; он одинаково необходим и для того, кто хочет действительно понять изобретателя; может ли логика дать нам его?

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

Таким образом, логика и интуиция играют каждая свою необходимую роль. Обе они неизбежны. Логика, которая одна может дать достоверность, есть орудие доказательства; интуиция есть орудие изобретательства.

Но едва только я сформулировал этот вывод, как меня охватывает сомнение.

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

Здесь есть какое-то, по крайней мере кажущееся, противоречие, которое необходимо разъяснить.

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

В одной из глав «Науки и гипотезы» я имел случай исследовать природу математического умозаключения; я показал, как это умозаключение, не переставая быть безусловно строгим, могло поднимать нас от частного к общему при помощи процесса, который я назвал математической индукцией.