Формализм и теоретико-множественные основания математики 4 страница

На протяжении всего XVIII в. математики вели борьбу с понятием бесконечно малой величины, производили с бесконечно малыми действия по произвольным, ничем не обоснованным и даже противоречащим логике правилам и в конце концов отвергли бесконечно малые величины как лишенные всякого смысла. Коши своими трудами не только наложил запрет на бесконечно малые величины, но и вообще ликвидировал необходимость обращения к ним. Тем не менее поиск законных оснований для использования бесконечно малых исподволь продолжался. На вопрос Гесты Миттаг-Леффлера (1846-1927), не могут ли кроме рациональных и всех вещественных чисел (и, так сказать, «между» этими двумя классами чисел) существовать числа иного рода, Кантор дал резко отрицательный ответ. В 1887 г. он опубликовал работу, где доказал логическую невозможность существования бесконечно малых, основываясь, по существу, на так называемой аксиоме Архимеда, утверждающей, что для любого вещественного числа a найдется такое целое число n, при котором величина na будет больше любого наперед заданного вещественного числа b. Пеано также опубликовал работу, в которой доказывал, что бесконечно малые величины не существуют. К такому же выводу пришел в своих «Принципах математики» (1903) и Бертран Рассел.

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

Поль Дюбуа-Реймон, Отто Штольц и Феликс Клейн были уверены в осуществимости построения непротиворечивой теории на основе понятия бесконечно малой. Более того, Клейн указал, от какой именно аксиомы вещественных чисел (аксиомы Архимеда) необходимо отказаться, чтобы такая теория стала возможной. В 1934 г. Сколем ввел новые числа (получившие название гипервещественных), отличные от обычных вещественных чисел, и установил некоторые их свойства. Кульминацией исследований некоторых математиков в этой области стало создание новой теории, узаконившей бесконечно малые. Наиболее существенный вклад внес в эту теорию Абрахам Робинсон (1918-1974).

Новая система — так называемый нестандартный анализ (ср. элементарную брошюру [85] или учебники [76]*, [86] и [87]) — вводит гипервещественные числа, включающие в себя обычные («старые») вещественные числа и бесконечно малые. Последние определяются практически так же, как у Лейбница: положительная бесконечно малая есть число, которое меньше любого обычного положительного вещественного числа, но больше нуля[148](аналогично отрицательная бесконечно малая больше любого отрицательного вещественного числа, но меньше нуля). Бесконечно малые в нестандартном анализе являются фиксированными числами, а не переменными величинами в смысле Лейбница и не переменными величинами, стремящимися к нулю, как понимал иногда бесконечно малые величины Коши и как понимают их сегодня в стандартных учебниках «высшей математики». Кроме того, нестандартный анализ вводит новые бесконечные элементы, обратные бесконечно малым, но не являющиеся трансфинитными числами Кантора. Каждое конечное гипервещественное число r представимо в виде x + α, где x — обычное вещественное число, а α — бесконечно малая.

Понятие бесконечно малого элемента позволяет говорить о бесконечно близких гипервещественных числах. Два гипервещественных числа называются бесконечно близкими, если их разность бесконечно мала. Следовательно, каждое гипервещественное число бесконечно близко некоторому (обычному) вещественному числу, так как разность между ними бесконечно мала. Обращаться с гипервещественными числами можно так же, как с обычными вещественными числами.[149]

Новая система гипервещественных чисел позволяет вводить функции, принимающие обычные вещественные или гипервещественные значения. На языке гипервещественных чисел можно по-новому определить непрерывность функции: функция f(x) непрерывна при x = a, если разность f(x) − f(a) бесконечно мала, когда бесконечно мала разность x − a. Гипервещественные числа позволяют ввести определения производной и других понятий математического анализа и доказать все теоремы анализа. Но главное состоит в том, что в системе гипервещественных чисел обретает точность и доказательность подход к построению анализа, который ранее отвергался как недостаточно ясный и даже бессмысленный.[150]

В какой мере система гипервещественных чисел способствует увеличению мощи математики? Пока введение гипервещественных чисел не привело к сколько-нибудь значительным новым результатам.[151]Важно другое: нестандартный анализ открыл новый путь, по которому одни математики пойдут охотно (уже появилось несколько книг по нестандартному анализу), тогда как другие по тем или иным причинам его отвергнут. С появлением нестандартного анализа с облегчением вздохнули лишь физики, поскольку они, невзирая на запрет Коши, всегда широко пользовались бесконечно малыми (впрочем, их привычки здесь столь устойчивы, что пока они не уделили особенно большого внимания «новому» анализу).

Развитие оснований математики с начала XX в. протекает поистине драматически, и современное состояние математики по-прежнему весьма плачевно, что вряд ли можно считать нормальным. Свет истины более не освещает путь, по которому следовало бы двигаться. Вместо единой, вызывавшей общее восхищение и одинаково приемлемой для всех математической науки, доказательства которой считались наивысшим достижением здравого смысла, хотя порой и нуждались в коррекции, мы имеем теперь различные, конфликтующие между собой подходы к математике. Несколько взаимоисключающих подходов имеется в рамках одного лишь теоретико-множественного направления, не говоря уже о существовании других самостоятельных направлений: логицизма, интуиционизма и формализма. В этих школах также выделяются различные и даже конфликтующие подходы. Так, конструктивистское направление, возникшее в недрах интуиционизма, разделилось на множество группировок. В рамках формализма принципы математики могут быть выбраны по-разному. Нестандартный анализ, не будучи порождением какой-либо одной школы, допускает различные подходы ко многим проблемам математического анализа, в свою очередь приводящие к различным и даже противоположным точкам зрения. То, что считается алогичным и отвергается одной школой, другая объявляет здравым и вполне приемлемым.

Итак, все попытки исключить возможные противоречия и доказать непротиворечивость математических построений до сих пор не увенчались успехом. Между математиками нет более единого мнения относительно того, принимать аксиоматический подход (и если принимать, то какой системе аксиом отдать предпочтение) или остановиться на неаксиоматическом интуиционистском подходе. Большинство современных математиков склонны рассматривать свою науку как совокупность различных аксиоматически определяемых структур, с одной стороны, позволяющих охватить все, что должно входить в математику, а с другой — охватывающих больше, чем положено. Современные математики расходятся во мнениях даже относительно того, какие методы рассуждений следует считать допустимыми. Закон исключенного третьего ныне не принадлежит к числу бесспорных принципов логики, и чистые доказательства существования, не дающие готового рецепта вычисления той величины, существование которой доказывается, ставятся под сомнение независимо от того, используется или не используется в них закон исключенного третьего. От претензий на безупречную доказательность своих рассуждений математикам пришлось отказаться. Возможность неоднозначного выбора аксиоматики и подходов привела к возникновению различных математик. Последние исследования в области оснований математики дошли до той черты, за которой открывается лишь первозданный хаос.

Интуиционисты представляли единственное направление в математике, сохранившее самообладание и выдержку в 30-е годы, когда описанные выше результаты сломили логицистов, формалистов и сторонников теоретико-множественного направления. Игра с логическими символами и принципами, захватившая умы гигантов математической науки, для интуиционистов была пустой забавой. "Непротиворечивость математики очевидна, считали они, ибо ее гарантирует человеческий разум, постигающий истины на интуитивном уровне. Аксиому выбора и гипотезу континуума интуиционисты отвергали как неприемлемые, о чем заявил еще в 1907 г. Брауэр. Неполнота и существование неразрешимых утверждений не беспокоили интуиционистов, ибо они могли с полным основанием сказать представителям других направлений: «А что мы вам говорили?» Но даже интуиционисты неохотно отказывались от разделов математики, возникших еще в XIX в., но не удовлетворявших их требованиям. Интуиционисты считали неприемлемым доказывать существование математических объектов с помощью закона исключенного третьего и объявляли удовлетворительными только такие доказательства, которые позволяли сколь угодно точно вычислять величину, существование которой доказывается. Иначе говоря, интуиционисты боролись за конструктивные доказательства существования.

Итак, ни одна школа не имела права претендовать на то, что она представляет математику в целом. К сожалению, как отметил в 1960 г. Аренд Рейтинг, начиная с 30-х годов дух дружеского сотрудничества между школами уступил место духу непримиримого соперничества.

В 1901 г. Бертран Рассел сказал: «Один из величайших триумфов математики состоит в открытии того, что представляет собой математика в действительности». Ныне эти слова поражают нас своей наивностью. Уже сегодня различные школы по-разному воспринимают математику как таковую, и в будущем это различие в подходах, по-видимому, только усилится. Существующие ныне школы каждая по-своему пытались обосновать современную математику. Но если заглянуть в прошлое и вспомнить об аптечной математике, а также о математике XVII и XIX вв., то происшедшие изменения, разительные и драматические, станут особенно заметными. Представители некоторых современных школ в основаниях математики пытались подвести надежный фундамент под математику начала XX в. Быть может, их результаты послужат математике XXI в.? Интуиционисты воспринимают математику как живой и развивающийся организм. Но предсказывала ли их «интуиция» что-нибудь такое, с чем математикам не приходилось сталкиваться в прошлом? Даже в 30-е годы отрицательный ответ на такой вопрос заведомо не соответствовал бы истине. Следовательно, производимые время от времени пересмотры оснований математики просто необходимы.

Наш рассказ о событиях, развернувшихся в основаниях математики в XX в., мы хотели бы закончить следующей притчей. На берегах Рейна в течение многих веков возвышался прекрасный замок. Пауки, обитавшие в подвалах замка, затянули паутиной все его проходы. Однажды сильный порыв ветра разрушил тончайшие нити паутины, и пауки принялись поспешно восстанавливать образовавшиеся бреши: они считали, что замок держится на их паутине!

XIII

Математика в изоляции

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

Рене Декарт

История математики знает не только величайшие взлеты, но и глубокие падения. Потеря истины, бесспорно, может считаться подлинной трагедией, ибо истины — драгоценнейшее из достояний человечества, и утрата даже одной из них — более чем основательная причина для огорчения. Осознание того, что сверкающая великолепием витрина человеческого разума далеко не совершенна по своей структуре, страдает множеством недостатков и подвержена чудовищным противоречиям, могущим вскрыться в любой момент, нанесло еще один удар по статусу математики. Но бедствия, обрушившиеся на математику, были вызваны и другими причинами. Тяжелые предчувствия и разногласия между математиками были обусловлены самим ходом развития математики за последние сто лет. Большинство математиков как бы отгородились от внешнего мира, сосредоточив усилия на проблемах, возникавших внутри самой математики, — по существу, они порвали с естествознанием. Это изменение в развитии математики нередко описывают как обращение к чистой математике, противопоставляемой прикладной математике (ср., например, [97]). Но оба термина — прикладная математика и чистая математика, — хотя мы также будем ими пользоваться, не вполне точно передают суть происходившего.

Что представляла собой математика? Для предыдущих поколений математика была прежде всего и главным образом тончайшим творением человеческого разума, предназначенным для исследования природы. Фундаментальные понятия, универсальные методы и почти все наиболее важные теоремы математики были разработаны и доказаны именно в процессе усовершенствования математики как инструмента познания мира. Естествознание было кровью и плотью математики и питало ее живительными соками. Математики охотно сотрудничали с физиками, астрономами, химиками и инженерами в решении различных научно-технических проблем, а часто и сами являлись выдающимися физиками и астрономами. В XVII-XVIII вв., а также на протяжении большей части XIX в. различие между математикой и теоретическим естествознанием отмечалось крайне редко.[152]Многие ведущие математики, работая в области астрономии, механики, гидродинамики, электромагнетизма и теории упругости, получили здесь несравненно более важные результаты, чем в собственно математике. Математика была царицей и одновременно служанкой естественных наук.

Мы уже рассказывали (гл. I-IV) о нескончаемых усилиях, которые с античных времен предпринимало человечество, чтобы выведать у природы ее «математические тайны». Столь высокая приверженность изучению природы отнюдь не ограничивала прикладную математику решением лишь физических проблем. Великие математики нередко выходили за рамки тех проблем, которые стояли перед естествознанием их времени. А поскольку они действительно были великими и полностью сознавали традиционную роль своей науки, им удавалось наметить направления исследований, которые оказывались немаловажными для теоретического естествознания или проливали свет на понятия, уже применявшиеся для исследования природы. Так, Пуанкаре, многие годы посвятивший астрономии (его перу принадлежит фундаментальный трехтомный труд «Новые методы небесной механики»), считал необходимым разрабатывать те вопросы теории дифференциальных уравнений, которые могли способствовать дальнейшему развитию астрономии.

Некоторые математические работы дополняли или завершали исследования, полезность которых была установлена ранее и ни у кого не вызывала сомнений. Так, совершенно очевидно, что если дифференциальные уравнения одного и того же типа неоднократно встречаются в приложениях, то разумно изучить дифференциальное уравнение общего вида, охватывающее все частные случаи. Это позволяет разработать более удобный или отличающийся большей общностью метод решения, а также получить наибольшее количество сведений о всем классе решений. Одна из отличительных особенностей математики, ее абстрактность, позволяет описывать на математическом языке самые различные физические явления. Так, волны на воде, звуковые и радиоволны математика описывает одним и тем же дифференциальным уравнением, известным под названием волнового уравнения. Те дополнительные сведения, которые математик обнаруживает, исследуя волновое уравнение (впервые выведенное при изучении звуковых волн), могли оказаться (и действительно оказывались) весьма полезными при решении, например, некоторых задач из теории радиоволн. Распознавание за внешне различными явлениями тождественных математических структур позволяет упрочить и понять многообразие теоретических построений, вызванных к жизни проблемами познания реального мира, и установить общую абстрактную основу описания таких явлений.

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

Развитие математики приводило к постановке и настоятельному поиску решения проблем, не связанных непосредственно с проблемами естествознания. Так, в XIX в. (гл. VIII) математики поняли, что определения многих понятий страдают расплывчатостью, а в математических рассуждениях и доказательствах немало пробелов. Движение за математическую строгость, принявшее необычайно широкий размах, не ставило целью решение каких бы то ни было естественнонаучных проблем, как не преследовали такой цели и позднее возникшие различные школы, пытавшиеся перестроить основания математики. И все же гигантская работа по перестройке оснований математики, производимая в интересах самой этой науки, несомненно, явилась откликом на насущные проблемы не только чистой, но и прикладной математики.

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

Но разве сто лет назад и ранее, спросит читатель, не было математики, созданной лишь ради нее самой, безотносительно к каким бы то ни было приложениям? Разумеется, была. Великолепный примером чистой математики может служить теория чисел. Хотя пифагорейцы считали, что, изучая целые числа, они постигают сокровенные тайны внутреннего строения материальных объектов (гл. I), впоследствии теория чисел стала совершенно самостоятельной наукой. Одним из первых математиков, изучавших числа «сами по себе», был Ферма. Начало проективной геометрии положили художники эпохи Возрождения, стремившиеся к реализму в живописи, а Жирар Дезарг и Блез Паскаль превратили проективную геометрию в последовательный метод получения новых результатов евклидовой геометрии. Но в XVIII в. работы Дезарга и Паскаля были забыты, а когда в XIX в. математики вновь обратились к проективной геометрии, они занимались ей главным образом из чисто эстетических побуждений, хотя от внимания наиболее проницательных геометров не ускользнули важные связи между проективной и неевклидовой геометриями. Многие проблемы были решены сами по себе только потому, что они заинтересовали кого-то из математиков и тем захотелось испытать свои силы.

Чистая математика, полностью оторванная от запросов естествознания, никогда не находилась в центре забот и интересов математиков. Ей отводилась роль своего рода забавы, отдохновения от гораздо более важных и увлекательных проблем, выдвигаемых естественными науками. Так, создатель теории чисел Ферма большую часть своего времени отдавал разработке аналитической геометрии, решению различных задач математического анализа и оптики (гл. VI). Он попытался заинтересовать теорией чисел Паскаля и Гюйгенса, но потерпел неудачу.[154]В XVIII в. столь абстрактная наука, как теория чисел, привлекала лишь очень немногих математиков.

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

Теорией чисел занимался и Лагранж, но основное время он уделял математическому анализу — области математики, жизненно важной для приложений (гл. III). Его шедевром по праву считается «Аналитическая механика» (Mécanique analitique), посвященная применению математических методов, в механике. В 1777 г. Лагранж пожаловался одному из друзей: «Исследования по теории чисел стоят мне наибольших усилий, но, должно быть, имеют наименьшую ценность». Гаусс также посвятил теории чисел одну из своих величайших работ «Арифметические исследования» (Disquisitiones arithmeticae, 1801), которая по праву считается классической. Тот, кто прочитал только этот труд Гаусса, мог бы подумать, что автор «Арифметических исследований» — чистый математик. Но главной областью его деятельности была прикладная математика (гл. VI). Феликс Клейн в «Лекциях о развитии математики в XIX в.» [98] называет «Арифметические исследования» юношеской работой Гаусса.

Хотя Гаусс в дальнейшем неоднократно возвращался к теории чисел, он явно не считал ее важнейшим разделом математики. Ему нередко предлагали заняться доказательством Великой теоремы Ферма, гласящей, что при n > 2 никакие целые числа x, y и z не удовлетворяют соотношению xn + yn = zn [99]. Но в письме Вильгельму Ольберсу от 21 марта 1816 г. Гаусс заметил, что гипотеза Ферма — это изолированная, ни с чем не связанная теорема и поэтому не представляет особого интереса. Имеется немало гипотез, добавил Гаусс, которые пока не удалось ни доказать, ни опровергнуть, но сильная занятость другими делами не оставляет времени для задач того типа, которые рассмотрены в «Арифметических исследованиях». Гаусс надеялся, что гипотезу Ферма удастся доказать на основе другой выполненной им работы, но и тогда теорема Ферма будет одним из наименее интересных следствий из более общих его результатов.

Обычно в подтверждение того, что Гаусс, якобы, отдавал предпочтение чистой математике, приводят его знаменитое высказывание: «Математика — царица всех наук, арифметика — царица математики. Она часто снисходит до оказания услуг астрономии и другим естественным наукам, но при всех обстоятельствах первое место, несомненно, останется за ней». Однако вся научная деятельность Гаусса свидетельствует об обратном, и, возможно, это нехарактерное для Гаусса высказывание, должно быть, вырвалось у него под влиянием минуты. Подлинный же девиз всей его деятельности такой: «Ты, природа, моя богиня, твоим законам я преданно служу». По иронии судьбы именно необычайно тщательный подход Гаусса ко всему, что касалось согласованности математики с природой, привел — через его работы по неевклидовой геометрии — к глубоким и драматическим последствиям, подорвав веру Гаусса в истинность математических законов. В целом же по поводу математики до начала XX в. можно сказать, что хотя чистая математика уже и существовала, не было ни одного чистого математика.

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

Столь выдающиеся достижения математической мысли, как неевклидова геометрия и кватернионы, казалось, явно не согласуются с природой, хотя их создатели и исходили из физических соображений.[155]Тем не менее и неевклидова геометрия, и кватернионы, как выяснилось впоследствии, вполне применимы к описанию реального мира. Осознание того, что творения человеческого ума, равно как и все понятия, традиционно считавшиеся внутренне присущими «плану мироздания», весьма пригодны для описания природы, вскоре привело к развитию совершенно нового подхода к математике. Почему это не может случиться с творениями человеческого разума и в будущем? Многие математики пришли к выводу, что заниматься решением проблем, так или иначе связанных с реальным миром, совершенно не обязательно: ведь и математика как свод идей, зародившихся в человеческом разуме, рано или поздно непременно окажется полезной. Более того, чистое мышление, не стесняемое необходимостью следовать за физическими явлениями, обретает большую свободу и соответственно продвигается дальше. Человеческое воображение, не знающее оков, создает более мощные теории, которые способствуют более глубокому пониманию реального мира и овладению природой.

Были и другие причины, побудившие математиков отойти от изучения реального мира. Широкий размах математических и естественнонаучных исследований не позволял ученым чувствовать себя одинаково свободно и в математике, и в естественных науках. Стоящие перед естествознанием проблемы, подобные тем, в решении которых ранее неизменно принимали участие великие математики, ныне становились все более сложными. Так почему бы, решили математики, не ограничить свою деятельность рамками чистой математики и тем не облегчить себе работу?

Существовала еще одна причина, вынудившая многих математиков обратиться к проблемам чистой математики. Естественнонаучные проблемы редко удается решить окончательно раз и навсегда. Обычно ученые получают все лучшее приближение, но отнюдь не полное решение задачи. Основные научные проблемы, например проблема трех тел, т.е. описания движения трех тел (скажем, Солнца, Земли и Луны), каждое из которых притягивает два других тела, по-прежнему остаются нерешенными. Как заметил Фрэнсис Бэкон, изощренность природы неизмеримо превосходит человеческую мудрость. А чистая математика, напротив, дает нам примеры четко поставленных проблем, допускающих полное решение. Для человеческого разума такие четко поставленные и до конца решаемые проблемы обладают особой привлекательностью в отличие от проблем недосягаемой глубины и неисчерпаемой сложности. Немногие проблемы, устоявшие перед натиском математиков нескольких поколений (например, гипотеза Гольдбаха), формулируются подкупающе просто.

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

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

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

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

Третье направление, избираемое чистой математикой, — специализация. Еще Евклид ставил и решал вопрос о том, существует ли бесконечно много простых чисел. Теперь «естественно» спросить, существует ли простое число среди любых семи последовательных целых чисел. Пифагорейцы ввели понятие дружественных чисел. Два числа называются дружественными, если сумма делителей одного числа равна другому числу. Например, 284 и 220 — дружественные числа. Один из лучших специалистов по теории чисел Леонард Диксон предложил задачу о дружественных тройках чисел. «Мы будем говорить, что три числа образуют дружественную тройку, если сумма собственных делителей каждого числа равна сумме двух других чисел», — писал Диксон и поставил задачу об отыскании таких троек. Другой пример подобного рода относится к так называемым степенным числам. Условимся называть натуральное число n степенным, если из того, что n делится на простое число p, следует, что оно делится и на p2 (другими словами, если в «каноническом» разложении n = р1α1∙р2α2∙…∙pkαk числа n на простые множители все показатели степени α1, α2, …, αk ≥ 2 ). Существуют ли положительные целые числа (отличные от 1 и 4), представимые бесконечно многими способами в виде разности двух взаимно-простых степенных чисел?