Известно утверждение Ферма о том, что диофантово уравнение

хп + уп = zn

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

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

Обе упомянутые проблемы — проблема Ферма и проблема трех тел — являются в нашем запасе проблем как бы противоположными полюсами: первая представляет свободное движение чистого разума, принадлежащее области абстрактной теории чпсел, вторая выдвинута астрономией и необходима для познания простейших основных явлений природы.

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

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

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

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

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

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

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