История и методология науки. Большаков Б.Е. - 47 стр.

       Развитие теории радиолокации во многом было связано именно о этой задачей.
Иногда её называют выделением слабого сигнала из помех.
       Перечисленные три проблемные ситуации требуют разработки некоторых теорий,
но они исключают из рассмотрения те ситуации, которые обозначим №№ 5—8. Именно в
этих последних ситуациях, когда инженер обращается за помощью к «среднему
математику», он получает ответ: «Не вижу математической постановки задачи!»
       Какой же выход?
       Инженер обязан довести исследование технического задания на проектирование до
ситуаций, которые обозначим через №№ 2—4. Ситуация № 1 есть ни что иное, как
хорошо сделанный комплект рабочих чертежей, описания будущей работающей системы.
       Чаще всего, особенно в разработке новых систем, инженеру приходится начинать с
ситуации № 8, когда неизвестно все, т.е. не определены все (а только некоторые) входы,
не определены все (а только некоторые) выходы, не определены все (а только некоторые)
элементы процесса. Когда разработка будет закончена, то будет определено всё.
       Так приходим к выводу о необходимости введения, «временных технических
условий» на приемку математических теорий, используемых для проектирования
разнообразных систем.
                        3.2. Н. Бурбаки и аксиоматический метод
       Появление многотомного издания современной математики явилось крупным
событием в жизни мировой науки. Под псевдонимом Н. Бурбаки выступила группа
блестящих математиков XX века, одним из представителей которых был Ж. Дьедонне.
       Научная программа этой группы нашла свое отражение в «математическом
манифесте», который назывался «Архитектура математики». Нас интересует этот вопрос в
первую очередь потому, что нам нужна «Архитектура проектирования сложных систем».
       Интересен финал этой статьи. Она заканчивается словами Лежена − Дирихле, что
все великие математики всегда стремились «вычисление заменить идеями». По досадному
недоразумению, отмеченному В. Успенским, в двух переводах этой статьи:
       «…   последняя     фраза    содержит   опечатку.   Напечатано:   «идеи   заменить
вычислениями, следует читать: «вычисления заменить идеями». (Н. Бурбаки. Теория
множеств. М.: Мир, 1965. С. 18).
       Нам кажется, что этот вывод очень важен, тем более, что для вычислений есть
ЭВМ.
       Книга Н. Бурбаки «Теория множеств» открывается главой «Описание формальной
математики». Именно эта часть нам и нужна. Но прежде — о положении в математике,
следуя «математическому манифесту».

                                                                                      47