С. Капица - Жизнь науки

Будет большой ошибкой думать при этом, что строгость в доказательстве — это враг простоты. Многочисленные примеры убеждают нас в противоположном: строгие методы являются в то же время простейшими и наиболее доступными. Стремление к строгости как раз и приводит к отысканию простейших доказательств. Это же стремление часто прокладывает путь к методам, которые оказываются более плодотворными, чем старые менее строгие методы. Так, теория алгебраических кривых благодаря более строгим методам теории функций комплексного переменного и целесообразному применению трансцендентных средств значительно упростилась и приобрела большую цельность. Далее, доказательство правомерности применения четырех элементарных арифметических действий к степенным рядам, а также почленного дифференцирования и интегрирования этих рядов и основанное на этом признание степенного ряда, несомненно, значительно упростили весь анализ, в частности, теорию исключения и теорию дифференциальных уравнений (вместе с ее теоремами существования).

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

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

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

К новым понятиям относятся также новые обозначения. Мы их выбираем таким образом, чтобы они напоминали те явления, которые послужили поводом для образования этих понятий. Так, геометрические фигуры являются образами для напоминания пространственных представлений и в качестве таковых применяются всеми математиками. Кто не связывает с двумя неравенствами а > Ъ > с между тремя величинами а, 6, с образ тройки прямолинейно расположенных и следующих друг за другом точек в качестве геометрической интерпретации понятия «между»? Кто не пользуется образом вложенных друг в друга отрезков и прямоугольников, если нужно провести полное и строгое доказательство трудной теоремы о непрерывности функций или существования предельной точки? Кто может обойтись без фигуры треугольника, окружности с заданным центром или без тройки взаимно перпендикулярных осей? Илп кто хотел бы отказаться от образа некоторого поля или семейства кривых, или поверхностей с их огибающей — понятий, которые играют такую существенную роль в дифференциальной геометрии, в теории дифференциальных уравнений, в основах вариационного исчисления и в других чисто математических областях знания?

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

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

Сходство между геометрическим и арифметическим мышлением проявляется также и в том, что в арифметических исследованиях мы также мало, как и при геометрических рассмотрениях, прослеживаем до конца цепь логических рассуждений, вплоть до аксиом. Напротив, в особенности при первом подходе к проблеме, мы и в арифметике, совершенно так же как и в геометрии, сначала пользуемся некоторым мимолетным, бессознательным, не вполне отчетливым комбинированием, опирающимся на доверие к некоторому арифметическому чутью, к действенности арифметических знаков,— без чего мы не могли бы продвигаться в арифметике точно так же, как мы не можем продвигаться в геометрии, не опираясь на силы геометрического воображения. Образцом арифметической теории, оперирующей строгим образом с геометрическими понятиями и знаками, может служить работа Минковского «Геометрия чисел» (Лейпциг, 1896).

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

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