Дизайнерская выдумка

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