Устойчивое развитие: Научные основы проектирования в системе природа-общество-человек. Кузнецов О.Л - 461 стр.

      Хотя в данный момент этот вопрос особенно актуален, ни в коем
случае не надо думать, что он нов; его ставили с первых же шагов матема-
тической науки». Мы привели выдержку из манифеста математики для то-
го, чтобы читатель … заменил слова «математическая наука» на слова
«техническая наука». Разве не чувствует себя инженер чужеземцем в
некоторых областях техники? Что из себя представляет конгломерат
технических наук − «развитие крепко сложенного организма» или этот
конгломерат находится в пути превращения в Вавилонскую башню, в ско-
пление автономных дисциплин, изолированных друг от друга, как по сво-
им методам, так и по своим целям и даже языку?»
      Мы должны ясно осознавать опасность распада технических на-
ук и можем избежать этой опасности, следуя методу, предлагаемому
математиками.
      Бурбаки: «В настоящее время, напротив, мы думаем, что внутренняя
эволюция математической науки вопреки видимости более чем когда-либо
упрочила единство ее различных частей и создала своего рода централь-
ное ядро, которое обычно называют «аксиоматическим методом».
      Упорядочить словарь языка и уточнить его синтаксис — составляет
одну из сторон аксиоматического метода, а именно ту, которую следует
называть логическим формализмом (или, как еще говорят «логистикой»).
Но — и мы не настаиваем на этом — это только одна сторона — полез-
ная, но при том наименее интересная».
      Нет никакого сомнения, что для технических наук необходимо вы-
полнить подобную работу. Можно признаться, уже по собственному опы-
ту, что это «полезное дело» тем не менее является «наименее интересным.
Но, к сожалению, в проектировании систем очень часто «полезное дело»
является «наименее интересным». Избавиться от этих «наименее интерес-
ных», но «полезных дел» можно только с помощью вычислительных ма-
шин, но чтобы заставить машину делать эту работу, разработчик должен
понять сам, что можно поручить машине.
      Знакомясь с «математическим языком» мы не находим почему-то
традиционного языка с его «именем существительным» и «глаголами». А
ведь как было бы хорошо, если бы изучение обычных языков и «математи-
ческого языка» можно было бы осуществлять одним и тем же способом!
Именно здесь и кроется трудность в использовании математического языка
при проектировании конкретных систем: «Как рассказать об этом матема-
тическим языком?», «О чем это рассказано математическим языком?»
      Как будет показано в последующих главах именно эту трудность и
снимает — ТЕНЗОР.
      Раздел, который назван «Аксиомы», у Н.Бурбаки описан следующим
образом:


                                  459