модель, интерпретация, формальная система, теория

Jul 14, 2018 06:56

модель, интерпретация, формальная система, формальная теория ( Read more... )

понимание

Leave a comment

Comments 34

(The comment has been removed)

deep_econom July 19 2018, 10:15:38 UTC
хммм

Физико-информационная модель биосистем
1. Холизм и редукционизм

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

Reply

serj_aleks July 19 2018, 10:43:31 UTC
Вы инициализировали посмотреть на всё с точки зрения понятия модели. Вот погружаюсь. Собственно уже остался только один вопрос - что такое терм с этой точки зрения. В математической логике наворотили чуть лишнего (например та же истина или доказательство ...) и может быть ваша основная идея конструктивна для оптимизации понятийного аппарата. Нигде не могу найти внятного текста об отношении теории моделей и теорий категорий (топосов). А так же текстов по отношении последних к теории алгебраических систем. Как-то всё это должно замкнуться друг на друга ... :)

Reply

deep_econom July 19 2018, 10:56:25 UTC
****Собственно уже остался только один вопрос - что такое терм с этой точки зрения.

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

можно проводить более тщательную классификацию/типизацию термов

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

т.е. термы это имена или просто обозначения (и ничего кроме этого)
порой сложносоставленные по определенным правилам имена
я бы их различал

Reply


serj_aleks July 20 2018, 06:45:41 UTC
Дополнение к моделям. Опять же последние интерпретируют как системы без операций, а системы без отношений - алгебры. Разве операции - это не тип отношений? В чём принципиальная разница между алгебрами и моделями? И опять же сдаётся мне, что теорию типов следует подвергнуть тщательному критическому анализу. Сеть против иерархичности. Опять же нет акцента на объём, на место и адресацию. Общий список хорошо, но у нас в реальности несколько точек входа (ввод-вывод) и при этом параллельных. Короче одни символы без графики или топологии с ориентированием не достаточны. Ещё работать и работать над формализацией. Так что просто пара хоть и модель стрелочки графа, но не достаточная. Такая модель описывает структуру, но не описывает генезис и взаимодействие. Это я не о ваших конкретно представлениях, а о мейнстриме в официальной институциональной практике.

Reply

deep_econom July 20 2018, 14:53:15 UTC
эххххх понеслось словоизлияние, я могу жестко ошибаться, много чего уже забыл ( ... )

Reply

deep_econom July 20 2018, 14:55:48 UTC
3.
т.е. есть множество и есть на множестве отношения и операции
операции это отношения специального типа, т.е. операции это выделенное подмножество отношений, которые условились называть по иному и всегда выделять, когда говорим про алгебраический системы

<множество, отношения, операции>= < M, R, F >

обычно такое называют множество со структурой

операции F это тоже отношения, но специального вида и не входящие в R.
т.е.
< M, R, F >
< M, R={0}, F> - алгебра
< M, R, F={0}> - модель ( ... )

Reply

serj_aleks July 21 2018, 06:39:18 UTC
Понятие "множество" мне тоже не нравится. Классы, пространства, фактор-группы, упорядоченные коллекции, ... что угодно только не "множества".

Reply


deep_econom October 15 2019, 06:39:41 UTC
Вячеслав Моисеев

Интервальная теория модели
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


deep_econom October 15 2019, 06:43:18 UTC
Пальчунов Д.Е. Теория булевозначных и нечетких моделей и приложения
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


deep_econom October 15 2019, 08:06:52 UTC
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
https://youtu.be/Qwai9cxD3ak

Лектор видимо Кузнецов О.П.
автор книги
Кузнецов О.П. - Дискретная математика для инженера-Издательство _Лань_ (2009)

курс лекций Теория алгоритмов
https://www.youtube.com/playlist?list=PLHqgHyLoh2uTi-AsNoqfwpE1q1IVik6MN

Reply


Leave a comment

Up