6.7. Заключение

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

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

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

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