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

Только что сказанного достаточно, чтобы показать, насколько было бы тщетно пытаться заменить свободную инициативу математика каким-нибудь механическим приемом.

Для получения действительно ценного результата недостаточно нагромоздить кучу выкладок или иметь машину для приведения всего в порядок; имеет значение не порядок вообще, а порядок неожиданный. Машина может сколько угодно кромсать сырой фактический материал, но то, что мы назвали душой факта, всегда будет ускользать от нее.

Начиная с середины истекшего столетия математики все больше и больше стремятся к достижению абсолютной строгости, и в этом они вполне правы. Это стремление выступает все ярче и ярче. В математике строгость еще не составляет всего, но где ее нет, там нет ничего; нестрогое доказательство – это ничто! Думаю, что с этим никто спорить не станет. Но если толковать эту истину слишком буквально, то окажется, что, например, до 1820 г. не было вовсе математики – утверждение, несомненно, преувеличенное; математики того времени охотно подразумевали то, что мы излагаем в пространных рассуждениях. Это не значит, что они вовсе не замечали этого, но они проходили мимо слишком поспешно; а чтобы хорошо разглядеть проблему, надо было бы взять на себя труд хотя бы высказать ее.

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

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

Только что мы видели пример того значения, какое в математике имеют слова и выражения; я мог бы привести еще много других примеров. Трудно поверить, какую огромную экономию мысли – как выражается Мах – может осуществить одно хорошо подобранное слово. Я, кажется, уже высказал как-то ту мысль, что математика – это искусство давать одно и то же название различным вещам. Объяснимся подробнее. Надо, чтобы эти вещи, различные по своему содержанию, были сходны по форме, надо, чтобы они, так сказать, могли войти в одну и ту же форму для отливки. Когда названия хорошо подобраны, вдруг с удивлением замечаешь, что все доказательства, проведенные для одного какого-нибудь предмета, непосредственно могут быть приложены к множеству новых предметов, причем не приходится даже ничего в них изменять, даже отдельных слов, ибо названия остались те же.

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

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

У физиков мы встречаемся с совершенно таким же приемом. Они, например, придумали слово «энергия», и это слово оказалось удивительно плодотворным. Изгнав исключения, оно тоже создало закон; оно дало также одно название вещам, различным по содержанию, но сходным по форме.

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

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