О науке

Выше я сказал, что математики стараются всегда обобщать полученные ими предложения; например, мы только что доказали равенство

a + 1 = 1 + a,

а затем воспользовались им для обоснования равенства

a + b = b + a,

которое, очевидно, является более общим.

Таким образом, математика, как и другие науки, может идти от частного к общему.

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

Нет сомнения, что математическое рассуждение посредством рекурренции и индуктивное физическое рассуждение покоятся на различных основаниях; но ход их параллелен — они движутся в том же направлении, т. е. от частного к общему.

Рассмотрим это несколько ближе. Чтобы доказать равенство

a + 2 = 2 + a,

нам достаточно применить два раза правило

a + 1 = 1 + a

(1)

и написать

a + 2 = a + 1 + 1 = 1 + a + 1 = 1 + 1 + a = 2 + a.

(2)

Однако равенство (2), выведенное таким образом чисто аналитически из равенства (1), не есть просто его частный случай: это нечто иное.

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

Два члена равенства (2) суть просто сочетания, более сложные, чем два члена равенства (1), и анализ служит только для отделения элементов, которые входят в эти сочетания, и для изучения их соотношений.

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

Это — процесс чисто аналитический, однако он направлен не от общего к частному, ибо совокупности, очевидно, не могут быть рассматриваемы как нечто более частное, чем их составные элементы.

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

Несомненно, что оно необходимо; но оно не является достаточным.

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

В чем же может заключаться это преимущество?

Зачем, например, надо рассуждать не об элементарных треугольниках, а о многоугольнике, который ведь всегда разложим на треугольники?

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

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

Если четырехугольник есть не что иное, чем соединенные рядом два треугольника, то это потому, что он принадлежит к роду многоугольников.

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

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

Чтобы достигнуть этого, необходимо вновь подняться от частного к общему, пройдя одну или несколько ступеней.

Аналитический процесс «конструирования» не вынуждает нас опускаться ниже, а оставляет все на том же уровне.

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

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

Глава II Математическая величина и опыт