Введение в логику и научный метод

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

Принцип математической индукции может быть сформулирован следующим образом: если некоторое свойство принадлежит числу 1 и если, когда оно принадлежит числу п, можно доказать, что оно принадлежит и п + 1, то оно принадлежит всем числам. Докажем с помощью данного принципа следующую теорему для всех целочисленных значений п:

1 + 3 + 5 + 7 +… (2п – 1) = n2.

Очевидно, что это истинно для rt = 1. Теперь покажем, что, если то же самое имеет место и для числа п, то оно имеет место и для (п + 1).

a. 1 + 3 + 5 +… (2 n – 1) = n2.

Прибавив (2 n – 1) + 2 или (2 n + 1) к обеим сторонам уравнения, мы получим:

b. 1 + 3 + 5 +… (2 n – 1) + (2 n + 1) = n2 + (2 n + 1) = (n +1)2.

Однако Ь имеет ту же форму, что и а. Таким образом, мы показали, что если теорема истинна для числа п, то она истинна и для (n + 1). Она истинна для n = 1. Следовательно, она истинна для n = 1 + 1, т. е. для 2; следовательно, она истинна для n = 2 + 1, т. е. для 3, и т. д. для каждого целого числа, которого можно достигнуть путем последовательного прибавления 1. Таким образом, получившееся доказательство является абсолютно строгим, дедуктивным и всецело формальным. В нем нет никакой апелляции к эксперименту. А принцип математической индукции, как показывают современные исследователи, является частью самого значения конечных, или «индуктивных», чисел.

§ 7. Роль обобщения в математике

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

Слово «число» изначально распространялось только на целые числа (1, 2, 3 и т. д.). При таком понимании числа можно складывать и умножать, а в некоторых случаях вычитать и делить. Абстрактная природа целых чисел может быть выражена посредством набора суждений, указывающих на то, какие операции могут проводиться в отношении суждений и в каких отношениях эти операции состоят друг к другу. Например, ниже приведены некоторые из абстрактных свойств целых чисел:

a + b = b + a ,

( a + b ) + c = a + ( b + c ),

a × b = b × a,

a × ( b + c ) = a × b + a × c.