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