Математика. Утрата определенности.

Во втором издании (1810-1819) трехтомного «Трактата по дифференциальному и интегральному исчислению» маститого Лакруа в предисловии к первому тому говорилось: «Нам нет дела до тех тонкостей, о которых так заботились греки». Типичным для того времени был недоуменный вопрос: почему мы должны брать на себя труд и доказывать с помощью хитроумных рассуждений то, что ни у кого не вызывает сомнений, и почему более очевидные истины необходимо доказывать ссылками на менее очевидные?

Даже в конце XIX в. Карл Густав Якоб Якоби (1804-1854), в работах которого по теории эллиптических функций осталось множество неразрешенных вопросов, говаривал: «На гауссовскую строгость у нас нет времени, господа». Многие математики действовали так, будто то, что им не удавалось доказать, попросту не нуждалось в доказательстве. Большинство математиков вообще не заботилось о строгости. Нередко то, чему, по их утверждениям, можно было бы придать строгий смысл, если воспользоваться методом Архимеда, не могло быть доказано строго никакими новыми Архимедами. В частности, это относится к работам по дифференциальному исчислению, не имевшему параллелей в греческой математике. Слова Д'Аламбера: «До сих пор больше внимания уделялось расширению здания, чем освещению входа, возведению новых этажей, чем укреплению фундамента» — применимы к математике на протяжении всего XVIII в. и начала XIX в.

К середине XIX в. значение доказательства упало настолько, что некоторые математики не считали необходимым проводить полные доказательства даже в тех случаях, где это было возможно. Один из выдающихся приверженцев использования алгебраических методов в геометрии, создатель так называемой матричной алгебры (гл. IV) Артур Кэли (1821-1895) сформулировал теорему о матрицах, получившую впоследствии название теоремы Кэли — Гамильтона.

(Для непосвященных сообщим, что матрицей в математике называют прямоугольную таблицу чисел. Если матрица квадратна, то в каждой ее строке и в каждом столбце стоят по n чисел.) Кэли проверил, что его теорема выполняется для

(2×2)-матриц, и заявил (в работе 1858 г.): «Я не считаю необходимым обременять себя формальным доказательством теоремы в общем случае матрицы любого порядка [т.е. (n×n)

-матрицы]».

Один из ведущих алгебраистов Англии Джеймс Джозеф Сильвестр (1814-1897) был в 1876-1884 гг. профессором университета Джона Гопкинса в Балтиморе. В одной из своих лекций он сказал: «Я не доказал этого, но уверен, насколько можно быть вообще в чем-либо уверенным, что это действительно так», после чего воспользовался результатом, о котором шла речь, для доказательства новых теорем. Нередко в конце очередной лекции Сильвестру приходилось признавать, что утверждение, в истинности которого он не сомневался на предыдущей лекции, оказалось неверным. В 1893 г. Сильвестр доказал одну теорему для (2×2)-матриц и лишь наметил те несколько пунктов, которые необходимо дополнительно рассмотреть, чтобы доказать теорему и для (n×n)-матриц.

Если учесть, как прекрасно начал строить Евклид дедуктивную систему геометрии и теорию целых чисел, то нелогичность истории математики естественно подводит нас к вопросу: почему математики так много и так безуспешно пытались обосновать иррациональные, отрицательные и комплексные числа, алгебру, дифференциальное и интегральное исчисление, теорию функций вещественного и комплексного переменного, в то время как евклидова геометрия и теория чисел возводилась на столь шатком основании, и почему это никого не смущало? Ответ на этот вопрос частично уже известен (гл. V): поскольку развивавшиеся Евклидом разделы математики затрагивали интуитивно совершенно ясные понятия (как точка или целое положительное число), найти фундаментальные принципы, или аксиомы, из которых надлежало выводить остальные свойства, было сравнительно просто, хотя аксиоматика Евклида вовсе не была лишена недостатков и в ней отсутствовали как понятие неопределяемого объекта, так и полноценные определения начальных понятий. Что же касается иррациональных, отрицательных и комплексных чисел, операций над буквенными символами, понятий дифференциального и интегрального исчисления, то они для понимания гораздо труднее тех понятий, с которыми имели дело древние греки, и поэтому некритическое их использование вызывает большую неудовлетворенность.