Математика нуждается в систематизации

Математика нуждается в систематизации
Иван Деревянко

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

Иван Деревянко

Математика нуждается в систематизации

Систем в математике много,

Но сущность у них всегда одна:

Четыре исходных объекта строго,

А основа – множество, как среда.

Введение

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

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

Кратко о системах. «Система» – понятие весьма распространенное. В интернете дается более 66 млн. ссылок на это понятие. Обращает на себя внимание то, что довольно много ссылок на объекты, как на системы, но эти объекты системами не являются и что среди этих ссылок нет ни одной с всеобщим определение систем.

К числу непосредственных предшественников разработки теории систем можно отнести А.А. Богданова с его тектологией, как всеобщей организационной наукой. Современная разработка этой теории осуществлялась такими авторами, как Л. фон Берталанфи, М. Месарович, Р. Акоф, Л. Заде, О Ланге, А.И. Уемов, И.В. Блауберг, В.Н. Садовский, Э.Г. Юдин др.

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

Анализ различных видов систем показал, что свойства и закономерности хорошо работающих технических систем соответствуют естественным системам, хотя не раскрытыми остаются теоретические вопросы их структурообразования. Ситуация соответствует тому, что в свое время остроумно подметил А. Эйнштейн.

«Теория— это когда все известно, но ничего не работает. Практика— это когда все работает, но никто не знает почему. Мы же объединяем теорию и практику: ничего не работает… и никто не знает почему!» [1].

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

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

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

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

Из общих методов системного исследования следует отметить достаточно хорошо разработанный фон Берталанфи метод, при котором принимается мир таким, каким он обнаруживается, исследуются содержащиеся в нем различные системы – зоологические, физиологические и т. п., а затем делаются выводы о наблюдаемых закономерностях [2].

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

Что общего у всех систем? Чтобы ответить на этот вопрос, необходимо провести тщательный анализ всех типов систем и их свойств. На основе такого анализа станет возможным построение всеобщей модели систем и появятся основания для формулирования общего определения этого понятия.

О понятийном аппарате математических теорий.

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

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

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

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

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

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

Такой принцип является основой системного подхода, методологическая форма которого выражает естественную (природную) сущность потребностей человека. Потребительские свойства объекта (в данном случае -теории) предопределяют ее полезность, продолжительность и "географию" проявляемого к ней интереса со стороны наиболее авторитетных исследователей. В этом заключается суть второго принципа системного подхода – соответствие основных свойств объекта (теории) потребностям человека (исследователя).

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

– теория должна иметь неопределимые первичные понятия об объектах исследования;

– быть непротиворечивой;

– содержать независимые с точки зрения познания методы исследования;

– обладать симметрией.

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

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

Исходя из этих соображений, можно рассмотреть следующие классические теоретические направления в математике:

– теоретико-множественное направление, система аксиом которого известна как система Цермело-Френкеля;

– логизм Фреге-Рассела;

– интуиционизм Брауэра;

– формализм Гильберта;

– единая теория Вейля;

– единая теория поля Эйнштейна;

– всеобщая организационная наука – тектология Богданова.

Из наиболее популярных в настоящее время можно выделить теорию групп и топологию. Все эти теории претендуют или в свое время претендовали на универсальность, следовательно, их выбор не противоречит четвертому принципу системного подхода – принципу всеобщности результата.

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

На первый вопрос ответ дает история: ни одна из математических концепций экзамен на всеобщую универсальность не выдержала. Существует даже мнение, что такую единую теорию в принципе создать нельзя. Тем не менее поиски в этом направлении не прекращаются, очевидно, потому что результаты таких работ оказываются весьма плодотворными. Здесь все ясно: достичь абсолютной истины нельзя, но к ней надо стремиться.

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