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

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

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

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

Обобщение и абстракция, предпринятые с единственной целью — написать очередную статью для «отчета», как правило, не представляют ценности с точки зрения приложений.{154} Подавляющее большинство работ такого рода посвящено переформулировке на более общем и более абстрактном языке с использованием новой терминологии того, что было известно и раньше, но излагалось на более простом и частном языке. Что же касается приложений математики, то здесь такая переформулировка не дает ни более мощного метода, ни более глубокого понимания. Распространение новомодной терминологии, как правило искусственной и не связанной с какими-либо физическими идеями, хотя и направленной якобы на модернизацию идей, заведомо не способствует более эффективному применению математики, а, наоборот, затрудняет его. Это новый язык, но не новая математика.

Третье направление, избираемое чистой математикой, — специализация. Еще Евклид ставил и решал вопрос о том, существует ли бесконечно много простых чисел. Теперь «естественно» спросить, существует ли простое число среди любых семи последовательных целых чисел. Пифагорейцы ввели понятие дружественных чисел. Два числа называются дружественными, если сумма делителей одного числа равна другому числу. Например, 284 и 220 — дружественные числа. Один из лучших специалистов по теории чисел Леонард Диксон предложил задачу о дружественных тройках чисел. «Мы будем говорить, что три числа образуют дружественную тройку, если сумма собственных делителей каждого числа равна сумме двух других чисел», — писал Диксон и поставил задачу об отыскании таких троек. Другой пример подобного рода относится к так называемым степенным числам. Условимся называть натуральное число n

степенным, если из того, что n делится на простое число p, следует, что оно делится и на p² (другими словами, если в «каноническом» разложении n = р₁

^α1∙р₂^α2∙…∙p_k^αk

числа n на простые множители все показатели степени α₁, α₂, …, α_k ≥ 2). Существуют ли положительные целые числа (отличные от 1 и 4), представимые бесконечно многими способами в виде разности двух взаимно-простых степенных чисел?

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

Распространение специализации приняло столь широкие масштабы, что группа выдающихся французских математиков, выступающих под коллективным псевдонимом Никола Бурбаки, группа, заведомо не занимающаяся прикладной математикой{155}, сочла необходимым выступить с критикой сложившегося положения: