June 27th, 2019

метаклассификация, классификация классификаций

уже пора заняться метаклассификацией, классификацией классификаций ))

классифицировать классификации, понятия, определения
даже удивительно, что до сих пор это не сделано

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

вполне возможно, что я чтото не знаю, чтото прошло мимо меня
Collapse )

время, производная, дифуры

у меня есть один достаточно известный и достаточно разумный подход - не ломать то, что работает

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

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

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

время, производная, дифуры
Collapse )

3М. Манифест МетаМоделирования. прототип-05

3М. Манифест МетаМоделирования. прототип-04
https://deep-econom.livejournal.com/398988.html

надо учесть в манифесте нижеследующее:

человечество наворотило инфомусора с вкраплениями правильного, надо эти пазлы вытаскивать, отмывать, очищать, укладывать )
главное самим еще больше инфомусора не наплодить при этом )))

serj_aleks:
Миссия однако! Если по Банаху математик тот кто аналогии конструирует, то мы безусловно математики. И культура закладывается образованием. Речь о форме практики. У меня среди знакомых не только доктора наук, но и академики и никто из серъезных людей никогда косо не смотрел на любые попытки обобщения. Это же сук, на котором все сидят. Все строят одно и то же. Ну кто-то ходит в офис, а кто-то не ходит. Ручка раньше, а сейчас комп - вот и весь инструментарий наряду с головой. Кого-то заносит от отсутсвия ограничений, а кто-то зажат в некоторые условные и официальные рамки. Главное здесь сбалансировать. И чтобы процесс нравился. Чтобы был кайф от этого. Если мы бросим это, может зарасти мхом, а если как лягушки побарахтаемся, может образуется твёрдая почва. Кстати, появиласт идея, может манифест надо написать не в стиле определения концептов, а процессуальным подходом, только принципы, как надо действовать. Ну, конечно, с указанием основных объектов внимания. Похоже есть противоречие между трудностью и основным процессом программирования процесса моделирования и определенным форматом манифестирующей конструкции. О чем я. На примере кодификации в праве. Есть, например, гражданский кодекс, а есть процессуальный. Манифест должен имет процессуальный характер. Положения типа - ничего не сочиняем! Критерии выбора пазлов ... и т.д. :)

смотрите комменты тут
Метамоделирование как обобщение философии и науки
https://metamodeling.livejournal.com/22452.html

spydell ниже плинтуса

spydell ниже плинтуса ушел, а жаль...
ну вот опять вынужден сказать плохо про когото ) вынужден ради объективной картинки )) а не корысти ради

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

Как распределено мировое богатство?
https://spydell.livejournal.com/669188.html

лямбда-исчисление

Ещё одно введение в теории типов
В математике понятие “теория типов” развивается, и ещё непонятно в какой общности нужно будет давать определение. В контексте информатики теориями типов называют обобщения λ→ — просто типизированного лямбда-исчисления.

В сущности, теория типов — набор правил, которые позволяют конструировать выражения из подвыражений, в ситуации когда не любые выражений комбинируются, а только правильно стыкующиеся. Чтобы выразить “стыкуемость” вводится понятие типов (и набор правил, как эти типы записывать). Если терм x имеет тип T, пишут x : T. В λ→ всегда имеется какой-то набор базовых типов (например, тип Nat, содержащий все натуральные числа), и типы, получаемые из базовых X и Y путём применения оператора X -> Y.

подробнее
Ещё одно введение в теории типов
https://akuklev.livejournal.com/1294373.html