Универсум. Метамоделирование = кодификация + интерпретация.
Универсум.
Ну вот УНИВЕРСУМ, если хочется ввести нечто такое, то наверное это будут ИМЕНА (символьные сущности) как обозначения чего бы то ни было. Это фундаментально.
Имена как порождения процедуры разметки. Ну и метамоделирование как очень общая процедура.
(Формализация тоже разметка, измерение тоже разметка).
Концепция такая.
Мы объявились в этом мире и ничего не знаем, начинаем разбираться - картографы реальности.
Ну и начинаем строить карту этого пока непонятного нечта.
На карте должны быть обозначения.
Вот эти обозначения и есть имена в самом общем смысле.
Сами имена это тоже некие размеченные участки этого нечта.
т.е. тут появляется
- неразмеченное/непоименованное нечто
- процедура разметки
- процедура порождения имени как отображение между двумя разметками
- 1я разметка = Имя (выделенное нечто)
- 2я разметка = помеченная сущность (выделенное нечто)
- 3я разметка = разметка между разметками, порожденная разметкой (которая суть процесс разметки); (разметка между разметками суть модельное отображение (интерпретация)).
Этим путем я уже двигался при обдумывании метаинтерпретатора.
Существенное тут = разметка.
По сути это остенсивная процедура (физическая процедура) выделения объектов/процессов/отношений/(процедур разметки), т.е. разметка.
Указать на саму разметку мы можем только так, остенсивно/указательно. Вот такая процедура и есть разметка.
Разметка разметки.
Потом с помощью разметки строим разметку, которая связывает имена и то, что они обозначают.
Ну и завертелось всё.
Это конструктивная аналитическая процедура. Начала аналитической философии/физики, аналитической конструктивной математики, изначальная процедура формализации, это повышение уровня формализации, изначальная процедура конструктивизма.
ps
И не побоюсь этого слова = Кодификация.
Может так и надо назвать эту сонму, которую перечислил.
Кодификация.
Метамаделирование = интерпретация + кодификация
/* тут думать надо еще, чтобы не занес полет фантазии ))
но вроде норм
https://ru.wikipedia.org/wiki/Универсум_фон_Неймана
https://ru.wikipedia.org/wiki/Универсум_Гротендика
Ну вот УНИВЕРСУМ, если хочется ввести нечто такое, то наверное это будут ИМЕНА (символьные сущности) как обозначения чего бы то ни было. Это фундаментально.
Имена как порождения процедуры разметки. Ну и метамоделирование как очень общая процедура.
(Формализация тоже разметка, измерение тоже разметка).
Концепция такая.
Мы объявились в этом мире и ничего не знаем, начинаем разбираться - картографы реальности.
Ну и начинаем строить карту этого пока непонятного нечта.
На карте должны быть обозначения.
Вот эти обозначения и есть имена в самом общем смысле.
Сами имена это тоже некие размеченные участки этого нечта.
т.е. тут появляется
- неразмеченное/непоименованное нечто
- процедура разметки
- процедура порождения имени как отображение между двумя разметками
- 1я разметка = Имя (выделенное нечто)
- 2я разметка = помеченная сущность (выделенное нечто)
- 3я разметка = разметка между разметками, порожденная разметкой (которая суть процесс разметки); (разметка между разметками суть модельное отображение (интерпретация)).
Этим путем я уже двигался при обдумывании метаинтерпретатора.
Существенное тут = разметка.
По сути это остенсивная процедура (физическая процедура) выделения объектов/процессов/отношений/(процедур разметки), т.е. разметка.
Указать на саму разметку мы можем только так, остенсивно/указательно. Вот такая процедура и есть разметка.
Разметка разметки.
Потом с помощью разметки строим разметку, которая связывает имена и то, что они обозначают.
Ну и завертелось всё.
Это конструктивная аналитическая процедура. Начала аналитической философии/физики, аналитической конструктивной математики, изначальная процедура формализации, это повышение уровня формализации, изначальная процедура конструктивизма.
ps
И не побоюсь этого слова = Кодификация.
Может так и надо назвать эту сонму, которую перечислил.
Кодификация.
Метамаделирование = интерпретация + кодификация
/* тут думать надо еще, чтобы не занес полет фантазии ))
но вроде норм
https://ru.wikipedia.org/wiki/Универсум_фон_Неймана
https://ru.wikipedia.org/wiki/Универсум_Гротендика