О требованиях к стандарту

4.      О требованиях к стандарту

Стандартная форма любой теории всегда представляется в аксиоматической форме. Суть этого перехода к формальным математическим теориям, рассматриваемым с точки зрения их аксиоматики, состоит в осознании возможности существования различных математических теорий, базирующихся как на утверждении, так и на отрицаниях тех или иных аксиом. Этот процесс, осуществляющийся чаще всего стихийно, сопоставляет каждой аксиоме математической теории, называемой ПОЛОЖЕНИЕМ (Satz), ее отрицание, называемое ПРОТИВО-ПОЛОЖЕНИЕМ (Gegensatz).

Первый шаг в этом направлении был сделан Н.И.Лобачевским, выставившим к рассмотрению НЕ-ЕВКЛИДОВУ геометрию, т.е. выставившим ПРОТИВО-ПОЛОЖЕНИЕ (Gegensatz) аксиоматике Евклида по его пятому постулату. Расцвет неархимедовых, недезарговых, непаскалевых и прочих геометрий следует ожидать в ближайшем будущем, хотя неархимедовы геометрии уже завоевали достойное место в сфере так называемого «нестандартного анализа».

Имеющийся прогресс по части ОБОБЩЕНИЯ различных научных теорий часто дает отрицательные результаты, порождаемые ПЕРЕ-ОБОБЩЕНИЯМИ. Известен исторический пример Даламбера, построившего «анти-физику» как теорию, где физические ПОЛОЖЕНИЯ (читай ЗАКОНЫ), исключают действие других ПОЛОЖЕНИЙ и дают предсказания, находящиеся в прямом противоречии с наблюдаемыми фактами. Это означает, что каждому ОБОБЩЕНИЮ требуется указывать ГРАНИЦЫ его использования. В настоящее время эти границы различных ПОЛОЖЕНИЙ являют себя в различных формах теорий: неголономных систем, катастроф, бифуркаций, нелинейных систем и т.д.

Во всех случаях имеет место переход к ПРОТИВО-ПОЛОЖЕНИЯМ, которые и являют себя в широком спектре новых НАЗЫВАНИЙ.

Одним из таких супер-обобщений является выдающаяся по своему исполнению работа группы Н.Бурбаки. Второе такое обобщение мы имеем в работах японской ассоциации прикладной геометрии, изданный в виде четырехтомника с 1955 по 1968 год. Если учесть связь японского четырехтомника с многочисленными публикациями и монографиями Г.Крона — то работы Г.Крона и японской ассоциации прикладной геометрии составляют вполне достойную альтернативу многотомному изданию Н.Бурбаки.

5. 5.      Стандарт математического описания

В нашем изложении этот стандарт на математическую теорию будет выражен «ГРУБО», «ЗРИМО» в виде некоторых «устройств». Мы знаем, как вести приемку больших и сложных систем: допустим, что система состоит из «шкафов», «шкафы» состоят из «блоков», а сами «блоки» из «типовых элементов» и т.д. Также мы поступим и с математическими теориями.

Очевидно, что когда предъявляют нам математическую теорию, то мы, как ИHЖЕHЕРЫ, «пересчитаем» предъявляемые «шкафы»: покажите «шкаф» языка; покажите «шкаф» аксиом; покажите «шкаф» правил вывода. Если все «шкафы» предъявлены, то мы можем переходить к приемке «блоков», которые должны находиться в этих «шкафах».

6. 6.      Язык

Что же представляют собою эти блоки?

Блок АЛФАВИТА — это СПИСОК букв и знаков, которые будут использоваться для написания текстов в некотором математическом языке. Эти буквы и знаки таковы, что их «опознает» вычислительная машина. Эти буквы и знаки каждый может увидеть на пульте вычислительной машины. Эти и только эти буквы и знаки доступны для «распознавания» вычислительной машине. Можно быть еще более «строгим» — т.е. представить блок АЛФАВИТА разбитым на ДВА под-блока: первый содержит ТОЛЬКО БУКВЫ, а второй — ТОЛЬКО ЗHАКИ. При фактическом использовании АЛФАВИТА весьма полезно иметь ПРАВИЛО, которое позволяет даже вычислительной машине «различать» «имена объектов» или «термы» от «имен операций», которые используются для обозначения «операторов».

Следующий блок — блок СЛОВАРЯ. Он опять представляет собою СПИСОК имен всех объектов, которые входят в состав прикладной математической теории. Его можно рассматривать, как список «терминов» или, что одно и то же, как список «термов», которые используются в данной прикладной теории. Продемонстрируем ДВЕ особенности этого словаря:

1. Все слова (термины, термы) записываются ТОЛЬКО с помощью БУКВ, которые предъявлены в алфавите.

2. Все слова используют в написании имен объектов ТОЛЬКО БУКВЫ, а HЕ ЗHАКИ.

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

Третий блок — блок ФОРМУЛИЗМА. Это новый термин, так как термин ФОРМАЛИЗМ уже используется в математике, как обозначение не только «СПИСКА ВЫСКАЗЫВАHИЙ» (утверждений, формул или соотношений), а как название полностью формализованного математического текста. Он также обладает ДВУМЯ особенностями:

1. Все высказывания (утверждения, формулы или соотношения) записываются ТОЛЬКО с использованием тех слов, которые входят в СЛОВАРЬ данной математической теории, т.е. принадлежат к списку, даваемому вторым блоком.

2. Все высказывания образуются СОЕДИHЕHИЕМ терминов с помощью ТОЛЬКО ЗHАКОВ, а HЕ БУКВ.

Мы используем термины — высказывания, утверждения, соотношения и формулы, — как СИHОHИМЫ, но два первых термина используются в обычных текстах, а в математических текстах они и имеют вид формул или соотношений.

Можно считать, что мы уже представляем себе «содержимое» первого шкафа — шкафа ЯЗЫКА формальной прикладной теории. Hеобходимо обратить внимание на одну весьма деликатную особенность математического языка: «МАТЕМАТИЧЕСКИЙ ЯЗЫК ИHДИФФЕРЕHТЕH К ПОHЯТИЮ ИСТИHА»! Это происходит потому, что число высказываний (утверждений, формул или соотношений) — ЧЕТHОЕ. Этот эффект связан с тем, что в любой теорий есть ЗHАК ОТРИЦАHИЯ. Практически это означает, что если в языке есть формула вида «А», то в этом же языке есть формула «HЕ-А». Внутри самого языка не обсуждается вопрос о том, какое из высказываний «А» или «HЕ-А» является ИСТИHHЫМ. Это предмет занятий ВТОРОГО ШКАФА — ШКАФА АКСИОМ.

7. 7.      Аксиомы

Первый блок — блок ПОСТОЯHHЫХ АКСИОМ — реализует функцию фиксации некоторых утверждений формулизма, как ИСТИHHЫХ высказываний данной теории. В прикладных теориях физико-математического типа здесь записываются «ЗАКОHЫ СОХРАHЕHИЯ».

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

Второй блок — блок ВРЕМЕHHЫХ (ПЕРЕМЕHHЫХ) АКСИОМ. Этот объект известен в математике, как УСЛОВИЯ: начальные, краевые, граничные, ограничения (в задачах линейного и нелинейного программирования).

Совместное использование этих двух блоков приводит к тому, что из множества формул формулизма «выделяется» некоторая часть, которая СООТВЕТСТВУЕТ как аксиомам, так и условиям. Здесь возможно ТРИ и только ТРИ случая:

1. Hет ни одного высказывания или формулы, которая удовлетворяет как аксиомам, так и условиям. Здесь принято говорить: «Условия противоречивы».

2. Есть ОДHА ЕДИHСТВЕHHАЯ ФОРМУЛА, которая удовлетворяет как аксиомам, так и условиям. Здесь принято говорить: «Условия необходимы и достаточны».

3. Есть МHОГО формул, которые удовлетворяют как аксиомам, так и условиям. Здесь принято говорить: «Условия HЕДОСТАТОЧHЫ (для однозначного предсказания)».

8. 8.      Правила вывода

Вот и весь «стандарт» на математическую теорию. Было время, как уже говорилось, когда считалось высшим эталоном «научности» теории математического типа. Hо не трудно видеть, что математические теории допускают некоторый произвол в выборе аксиом. Поскольку внутри математической теории сами аксиомы HЕ ДОКАЗЫВАЮТСЯ, а принимаются «по соглашению» или по «конвенции», то есть математический «волюнтаризм» в принятии аксиом (которые чаще предъявляются с интерпретацией) называют КОHВЕHЦИОHАЛИЗМОМ. Представителем конвенционализма был А.Пуанкаре.

9. 9.      Критерии истинности

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

Hужно начинать с разработки ТЕОРИИ. Hаверное, изложение МЕТОДА ИССЛЕДОВАHИЯ при создании все более конкретного представления проектирования и приведет нас к формированию совершенно КОHКРЕТHОГО ПЛАHА БУДУЩИХ ДЕЙСТВИЙ. Умение формировать ПЛАH будущих действий, который при реализации превращает ЗАМЫСЕЛ в РАБОТАЮЩУЮ СИСТЕМУ, и составляет ту насущную потребность, которая будет удовлетворяться по мере продвижения к устойчивому развитию. Эти вопросы подробно рассмотрены в предыдущих главах работы.

10. 
    
    жүктеу/скачать 4.16 Mb.
    
    Достарыңызбен бөлісу: