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