Минималисткая программа
В связи с идеей обозначения «манифестирующей декларации» программой стал искать прецеденты, которые могут быть прототипами. Вот - программа Хомского. Конечно же, сразу ассоциируется и программа Гильберта. Не случайно логика и грамматика «близнецы-братья». Всегда на какую-нибудь категорную или генеративную логику найдётся категорная или генеративная грамматика и наоборот. Задача классификации моделей напрашивается сама собой. То есть, это естественный следующий шаг после программного текста. Это «меташаги», если хотите. Фонды алгоритмов и программ из этой части. Программная система унивалентных оснований математики ещё один пример. Вот, кстати, проект Mizar - тоже проект формализации математики со своим формальным языком (может быть и прототипом псевдокода!). 9400 математических понятий и 49000 теорем! А ведь это всё явно модели! И самые, что ни на есть формальные. В связи с проектом был сначала и манифест и своя «корневая» металогика.
Мне кажется, что позиционирование относительно проектов формализации, всё-таки, должно быть со стороны грамматики, компьютерных языков. Как ни странно, но этот путь кажется более строгим и менее запутанным, явным и «объективизированным»! Без груза накопившихся за столетия избыточных математических конструкций с одной стороны и с обнаружением при вычислениях скрытых интуиций математиков, с другой. Принцип минимализма Хомского - это попытка приблизиться к универсальной грамматике снизу, то есть решить вопрос «каким будет оптимальный ответ на то, какой должна быть теория i-Language ?». Ответ можно сформулировать в рамках любой теории, но точная постановка основного вопроса существует только в рамках минималисткой грамматики. Этот вопрос можно уточнить следующими двумя: Что такое язык? и Почему у него такие свойства? Мы можем переформулировать их с точки зрения МЕТАМОДЕЛИРОВАНИЯ или последнее может стать ... (хотел написать «первым») ... ответом на них.