December 24th, 2019

сходство

"Теория физических структур" Кулакова с точки зрения моей теории "всё есть модель"

у Кулакова ищется решение системы функциональных уравнений
ϕ(ϕ(x, z), ϕ(y, z)) = ϕ(x, y)
ϕ(ϕ(z, y), ϕ(z, x)) = ϕ(x, y)
ϕ(ϕ(z, x), ϕ(z, y)) = ϕ(x, y)
ϕ(ϕ(y, z), ϕ(x, z)) = ϕ(x, y)

соответствующие функции дают семейство законов описывающих физические законы (физические структуры)

смотрел я на это "безобразие" и видел похожесть со своими моделями
((*,*),(*,*))
Collapse )

Теория категорий, Haskell, параллелизм, C ++

в очередной раз serj_aleks в сообществе Метамоделирование открыл для меня любопытного автора (программер, функциональщик, видимо имеет математическое прошлое)
смотрите тут комментарии https://metamodeling.livejournal.com/43059.html

это
https://bartoszmilewski.com/
Bartosz Milewski's Programming Cafe
Category Theory, Haskell, Concurrency, C++

Кафе программирования Бартоша Милевского
Теория категорий, Haskell, параллелизм, C ++

тут вот переводят статьи Милевского
Институт информатики и проблем регионального управления
https://henrychern.wordpress.com/

(no subject)

Мыслить это значит моделировать. (с)
Метамоделировать, метамоделировать и еще раз метамоделировать! (с)

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

любое вычисление это цепочка причинно-следственных связей

любое вычисление это цепочка причинно-следственных связей

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

Collapse )

(no subject)

посмотрел
Звёздные войны: Скайуокер. Восход.
Episode IX.

странноватое и противоречивое впечатление
в целом наверное понравился, я бы поставил 6 из 10
съемки конечно в целом отличные, техническое исполнение фильмов сейчас высокое конечно
но вот с сюжетом както не очень ) но нас из рф не приглашают в сценаристы )

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

(no subject)

Яглом И.М. - Математические структуры и математическое моделирование (1980)
стр.9.
Напротив, математика строится чисто умозрительно; она не имеет дело ни с какой «лабораторией», кроме человеческой головы. Критерием истинности математического рассуждения является лишь его логическая безукоризненность, выполнение на всех этапах рассуждения устанавливаемых самим математиком правил вывода, относящихся к вполне определенной ветви математической наук — математической логике.

При этом на сегодняшний день мы имеем уже вовсе не один-единственный набор правил вывода, а много разных а priori возможных таких наборов.

И вполне может случиться, что математическое рассуждение, которое признает правильным один ученый, другой таковым считать откажется, причем эти две диаметрально противоположные позиции вовсе не будут означать, что один из упомянутых ученых (скажем, сторонник гильбертова формализма) прав, а второй (например, математик-конструктивист) ошибается: нет, правы они оба, только исходят они из разных «правил (математической) игры» что и приводит их K двум разным «математикам» (в нашем случае неконструктивной и конструктивной).

очень доступные книги

Яглом И.М. - Математические структуры и математическое моделирование (1980)
1. ЧТО ТАКОЕ МАТЕМАТИКА
2. КОГДА ВОЗНИКЛА МАТЕМАТИКА?
3. МАТЕМАТИЧЕСКИЕ СТРУКТУРЫ НИКОЛА БУРБАКИ
4. ДВА ПРИМЕРА АКСИОМАТИЧЕСКИХ ТЕОРИИ
5. ОСНОВНЫЕ ТИПЫ АЛГЕБРАИЧЕСКИХ СТРУКТУР
6. ЧТО ТАКОЕ ЭЛЕМЕНТАРНАЯ ГЕОМЕТРИЯ
7. МАТЕМАТИЧЕСКИЕ МОДЕЛИ И РЕАЛЬНЫЙ МИР

ps. просто так )
поясняется что такое инвариант и какие виды похожести существуют
Шрейдер Ю. А. Равенство. Сходство. Порядок