February 11th, 2019

формализация, измерения, арифметизация, координатизация

"сделать измеримым все, что таковым еще не является"
"следует измерять то, что измеримо, и делать измеримым то, что таковым не является"
Галилей
формализация, измерения, арифметизация, координатизация, оцифровка, символизаация

согласно Фридману это называется "арифметизацией"
согласно Шафаревичу это называется "координатизацией"
ссылки внизу

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

у Шафаревича можно и полезно почитать предисловие и параграф 1
§ 1. Что такое алгебра?
Идея координатизации. Примеры: словарь квантовой механики и координатизация конечных моделей аксиом сочетания и параллельности.

"Любые объекты, являющиеся предметом математического исследования, — кривые и поверхности, отображения, симметрии, кристаллы, квантово-механические величины и т.д. - могут быть «координатизированы» или «измерены». Однако для такой координатизации «обычных» чисел далеко не достаточно. "
Collapse )

символизация

"сделать измеримым все, что таковым еще не является" Галилей
формализация, измерения, арифметизация, координатизация
https://deep-econom.livejournal.com/314541.html

как это все происходит?
берем нечто совсем неформальное и якобы неформализуемое
смотрим за состояниями этого нечто, если состояния различаются и следовательно меняются, то фиксируем изменения состояний, эти изменения можем обозначать какими-либо произвольными символами(знаками), тем самым мы начали процесс символизации (или формализация, измерения, арифметизация, координатизация),
последовательные состояния мы можем связать стрелочками (или связями) и назвать процессом, так у нас появились процессы, появилась система, появились связи
и все завертелось вплоть до формализации всего и вся

Высшая степень понимания чего-либо это формализация этого чего-либо.
Таким образом, мы приходим к тезису: формализация как высшая стадия понимания.

когда мы приписываем символы различимым состояниям, мы по сути строим модели, примитивные модели, следовательно мы переходим к моделированию,
а поскольку понимание это процесс узнавания и использования моделей, то мы переходим к процессу понимания, начинается процесс конструирования новых моделей, процесс познания

т.е. процессы формализации, измерения, арифметизации, координатизации правильнее называть процесс символизации или процесс "омоделивания" (в подражание всяким методологам и философам)
мне же нравится слово символизация
символизация это уже примитивные модели, на основе которых можно строить модели более высокого уровня

аксиома метамодельности как полиморфизм полиморфизмов

полиморфизм полиморфизмов
аксиома метамодельности как выражение сути полиморфизма полиморфизмов
совсем смутные мысли для размышления )

типы данных
конструктор типов данных
модификатор типов данных

типы операций/процессов
конструктор типов операций/процессов
модификатор типов операций/процессов

сущности
конструктор сущностей
модификатор сущностей

сущности = (данные или процессы)
любые сущности представимы моделями

сущности = (модели данных или модели процессов)

данные можно считать тоже процессами, это как посмотреть
можно считать, что нет ничего кроме процессов

пример (s1,s2) упорядоченная пара, по сути процесс, который определяется начальным состоянием s1 и конечным s2
т.е. процесс это упорядоченные пары
тогда объект это (s1,s1)
т.е. объект это разновидность процесса (медленно меняющийся процесс в некотором смысле)

ну и как высшая степень полиморфизма (higher-kinded polymorphism) по сути это модель полиморфизма моделей...
ыыыыы.. ))
ну вот и приходим к аксиоме метамодельности )

в подражание названию аксиома унивалентности хочется назвать свою конструкцию аксиома метамодельности
формальная_модель=((a,b),(c,d))=((a->b)->(c->d))

аксиома метамодельности ((*,*),(*,*))
((*->*)->(*->*))

они все пишут о моделях
https://deep-econom.livejournal.com/313967.html

Искусственный интеллект: вариант перехода от теоретизирования к проектированию.

Искусственный интеллект: вариант перехода от теоретизирования к проектированию.

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

Пример перехода от теоретизирований к проектированию.
Collapse )