Лев Понтрягин - Жизнеописание Л. С. Понтрягина, математика, составленное им самим

• Название: Жизнеописание Л. С. Понтрягина, математика, составленное им самим
• Автор: Лев Понтрягин
• Издательство: Прима
• Жанр: Биографии и Мемуары
• Год: 1998

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

Текст публикуемого ниже «Жизнеописания...» был написан, по воспоминанию вдовы Льва Семёновича — Александры Игнатьевны Понтрягиной, после тяжёлой болезни, зимой 1982–83 года, и подготовлен к изданию по рукописи, предоставленной вдовой.

Книга насквозь лична и субъективна, но в ней хорошо отражена эпоха развития науки в Советском Союзе, в частности — развитие математики. Она поражает своей правдивостью и открытостью. В этом, может быть, и есть её историческая и воспитательная ценность.

---

Если бы приведённый мною пример был только досадным исключением, то ошибку, по-видимому, легко можно было бы устранить. Но, на мой взгляд, в подобное состояние, к сожалению, пришла вся система школьного математического образования...

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

Отвлекаясь от действительности, люди получили точки, лишённые измерений, линии, лишённые толщины и ширины, разные «a» и «b», «x» и «y», постоянные и переменные величины, а далее — дошли до продуктов «свободного творчества и воображения самого разума» — до мнимых величин. «Но совершенно неверно, будто в чистой математике разум имеет дело только с продуктами своего собственного творчества и воображения», — писал Энгельс (К. Маркс и Ф. Энгельс. Соч., т. 20, с. 37). И выведение математических понятий друг из друга, кажущееся не опирающимся на определённые данные и факты, доказывает не их априорное возникновение, а лишь их рациональную связь. Нельзя не согласиться с мыслью: «Как и все другие науки, математика возникла из практических потребностей людей... Но, как и во всех других областях мышления, законы, абстрагированные из реального мира, на известной ступени развития отрываются от реального мира, противопоставляются ему как нечто самостоятельное, как явившиеся извне законы, с которыми мир должен сообразоваться... Чистая математика применяется впоследствии к миру, хотя она заимствована из этого самого мира и только выражает часть присущих ему форм связей, — и как раз только поэтому и может вообще применяться» (там же, с. 37–38).

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

Поэтому несерьёзными выглядят философствования типа, например, следующего: «Общепринято (?! — Л. П.) математику подразделять на следующие отрасли: чистую математику (или собственно математику), прикладную математику и метаматематику. В свою очередь, чистая математика подразделяется на формальную и содержательную математики». (Цитируется брошюра о «философских проблемах математики», выпущенная издательством «Знание». Не называю имени автора только потому, что брошюра вышла семь лет назад.) В математике нет «надматематических» (ведь «мета» по-гречески означает «вне», «за пределами») разделов (отраслей), равно как совершенно нелепо подразделять её на «формальную» и «содержательную». Я отнюдь не умаляю значения специализации исследовательской деятельности на теоретическую и прикладную. Однако, познакомившись ближе, нетрудно убедиться, сколь тесно взаимодействие и взаимопереплетение фундаментальных изысканий и сферы их приложений. Высокий уровень абстракций современной математики способен гипнотизировать тех, кто не является в ней специалистом, и, очевидно, порождать в их среде досужие мнения, неверные представления, особое почтение лишь к кабалистическим формулировкам типа приведённой мною из школьного учебника и недоверие к ясности и простоте действительно научных утверждений. Именно подобное отношение, порождённое дилетантизмом в специальной области и одновременно узостью общего кругозора, способно послужить неблагоприятной почвой для принятия решений в практических делах.

Действительно, существует область математики, именуемая математической логикой, которая занимается изучением формальных математических высказываний, способов их построения, правилами вывода и тому подобными, точно определёнными в строгом математическом смысле действиями. Из сказанного, однако, не следует, будто есть целый раздел математики, как изображает процитированный автор, названный им «формальной математикой», в котором специалисты заняты-де производством практически ненужных «высказываний». Его деление «чистой математики» на «формальную и содержательную» не имеет никакого смысла и непонятно математикам. Если же учесть, что он «перемешивает» и без того трудные математические понятия с туманными философскими формулировками, прибегает к неоправданным обобщениям, то просто диву даёшься, какое пустословие можно выдавать за науку на страницах массового издания.

Не тем же ли обусловлены и рассуждения о некоем «предмете философии математики», суть-де которого составляют «свойства и отношения математики, о присущности или неприсущности которых мы (т.е. он, автор. — Л. П.) можем судить, опираясь на категории и положения философии»? Философские категории и положения у написавшего приведённые строки «выступают в роли базиса (основания), необходимого для решения философских проблем математики».

Боюсь, что при таком подходе автор удаляется не только от самой математики, но и от той научной философии, которая служит фундаментом господствующего в нашем обществе мировоззрения, методологии нашего познания. Действительно, рассуждения о «формальной математике» (само это выражение не может не покоробить учёного-математика) как о «совокупности формальных теорий, главными интерпретациями которых являются системы математических объектов», представляются мне не иначе как словесным сором, а умозрения, что, мол, «понятие формулы (предложения) языка является чисто синтаксическим (формальным), не опирающимся на содержание (семантику) и независимым от него», — принципиально ложными. Определение же: «Под формальной теорией понимается правильное подмножество... формул формального языка» — бессмыслицей.

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

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

Как это понимать?.. Да, форма может иметь специфические особенности своего развития, но отнюдь не независимо от логики развития содержания.

Это уже философские азы, указывать на которые просто неловко.

Абстрактность математики — производное, следствие её специфической природы, а не наоборот; абстракция есть логический акт, производный от содержательной деятельности; «форма как таковая» есть определённая содержательная предметная деятельность, состоящая в воспроизведении стороны предметов, явлений, процессов объективного мира; рассмотрение её «самой по себе», вне этой предметной деятельности приводит в конце концов к отождествлению предмета науки с её «языком», то есть к соскальзыванию в идеализм, в метафизику. Отождествление предмета теории с её формальным аппаратом приводит к тому, что математика — в представлениях горе-философов — вырождается в лингвистику (подобно тому как аналогичная тенденция приводит теоретическую лингвистику, наоборот, к отождествлению с математикой).

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