Вы инициализировали посмотреть на всё с точки зрения понятия модели. Вот погружаюсь. Собственно уже остался только один вопрос - что такое терм с этой точки зрения. В математической логике наворотили чуть лишнего (например та же истина или доказательство ...) и может быть ваша основная идея конструктивна для оптимизации понятийного аппарата. Нигде не могу найти внятного текста об отношении теории моделей и теорий категорий (топосов). А так же текстов по отношении последних к теории алгебраических систем. Как-то всё это должно замкнуться друг на друга ... :)
****Собственно уже остался только один вопрос - что такое терм с этой точки зрения.
я бы так на скорую руку сформулировал: терм это указатель на реальный объект плюс это первично образованные понятия из указателей на объекты - может это даже и не надо добавлять, не уверен понятие у меня определено формально в блоге, это упорядоченная пара
можно проводить более тщательную классификацию/типизацию термов
ps по сути терм это всегда название/наименование/имя, порой сложно составленное по определенным (индуктивным обычно) правилам название/наименование/имя но это не вызов функции или процедуры
т.е. термы это имена или просто обозначения (и ничего кроме этого) порой сложносоставленные по определенным правилам имена я бы их различал
Дополнение к моделям. Опять же последние интерпретируют как системы без операций, а системы без отношений - алгебры. Разве операции - это не тип отношений? В чём принципиальная разница между алгебрами и моделями? И опять же сдаётся мне, что теорию типов следует подвергнуть тщательному критическому анализу. Сеть против иерархичности. Опять же нет акцента на объём, на место и адресацию. Общий список хорошо, но у нас в реальности несколько точек входа (ввод-вывод) и при этом параллельных. Короче одни символы без графики или топологии с ориентированием не достаточны. Ещё работать и работать над формализацией. Так что просто пара хоть и модель стрелочки графа, но не достаточная. Такая модель описывает структуру, но не описывает генезис и взаимодействие. Это я не о ваших конкретно представлениях, а о мейнстриме в официальной институциональной практике.
3. т.е. есть множество и есть на множестве отношения и операции операции это отношения специального типа, т.е. операции это выделенное подмножество отношений, которые условились называть по иному и всегда выделять, когда говорим про алгебраический системы
<множество, отношения, операции>= < M, R, F >
обычно такое называют множество со структурой
операции F это тоже отношения, но специального вида и не входящие в R. т.е. < M, R, F > < M, R={0}, F> - алгебра < M, R, F={0}> - модель
( ... )
Comments 34
(The comment has been removed)
Физико-информационная модель биосистем
1. Холизм и редукционизм
обязательно прослушаю, уже начал
я вроде как в жж высказывался на тему холизма/эмерджентности
Reply
Reply
я бы так на скорую руку сформулировал:
терм это указатель на реальный объект
плюс это первично образованные понятия из указателей на объекты - может это даже и не надо добавлять, не уверен
понятие у меня определено формально в блоге, это упорядоченная пара
можно проводить более тщательную классификацию/типизацию термов
ps
по сути терм это всегда название/наименование/имя,
порой сложно составленное по определенным (индуктивным обычно) правилам название/наименование/имя
но это не вызов функции или процедуры
т.е. термы это имена или просто обозначения (и ничего кроме этого)
порой сложносоставленные по определенным правилам имена
я бы их различал
Reply
Reply
Reply
т.е. есть множество и есть на множестве отношения и операции
операции это отношения специального типа, т.е. операции это выделенное подмножество отношений, которые условились называть по иному и всегда выделять, когда говорим про алгебраический системы
<множество, отношения, операции>= < M, R, F >
обычно такое называют множество со структурой
операции F это тоже отношения, но специального вида и не входящие в R.
т.е.
< M, R, F >
< M, R={0}, F> - алгебра
< M, R, F={0}> - модель ( ... )
Reply
Reply
Интервальная теория модели
https://www.youtube.com/watch?v=nBWm5y-yp8I
Гипотетико-дедуктивная модель научной теории: вступление
https://www.youtube.com/watch?v=n0tHZ970yWk
Альтернативные модели научной теории
https://www.youtube.com/watch?v=rTcx4A3LIMw
Классическая модель научного объяснения
https://www.youtube.com/watch?v=Yh6eYWJ858k
Физико-информационная модель 1. Холизм и редукционизм
https://www.youtube.com/watch?v=bnPdfdgk6YU
Reply
https://www.youtube.com/watch?v=LoJks_t4HKE
Ю.Г. Прохоров. Бирациональная геометрия и эффективная теория минимальных моделей
https://www.youtube.com/watch?v=3xbMMnKz9YQ
Лекция 1: Понятие алгоритма. Классификация алгоритмических моделей
https://www.youtube.com/watch?v=O_rcdiSJJIc
HoTT 11: Модели теории
https://www.youtube.com/watch?v=hnOWOvmomz0
Reply
https://youtu.be/Qwai9cxD3ak
Лектор видимо Кузнецов О.П.
автор книги
Кузнецов О.П. - Дискретная математика для инженера-Издательство _Лань_ (2009)
курс лекций Теория алгоритмов
https://www.youtube.com/playlist?list=PLHqgHyLoh2uTi-AsNoqfwpE1q1IVik6MN
Reply
Leave a comment