February 2nd, 2020

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

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

эквивалентность описаний, но разная сложность
пример, движение планет относительно друг друга достаточно точно описываются, но разная сложность
Гелиоцентризм и Геоцентризм (гифка, картинка)
[Spoiler (click to open)]
Гелиоцентризм и Геоцентризм (гифка, картинка)



Как справиться со сложностью? - deep_econom
Разделить на части. Если вы не разделили - вы не справились! - vida_louca.

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

модель состоит из какихто деталей, частей/подробностей
это подробности могут быть разной степени подробными, см. Фейнмана

Collapse )

что общего?

1. что общего между всеми этими машинами и моделями вычислительных устройств?

2. понятно, что это модели универсального вычислителя, но что между этими разными моделями общего?

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

http://computerhistory.narod.ru/vichislit_prisposob_ustrojstva.htm
Вычислительные приспособления и устройства

/* носители информации http://computerhistory.narod.ru/nositeli_inf.htm

Машина Тьюринга. Машина Поста.
https://deep-econom.livejournal.com/56644.html

Нормальные алгоритмы Маркова. Марковские подстановки.
https://deep-econom.livejournal.com/298250.html

Нормальный алгоритм Маркова
https://ru.wikipedia.org/wiki/Нормальный_алгоритм

Машина Тьюринга https://ru.wikipedia.org/wiki/Машина_Тьюринга

Машина Поста. https://ru.wikipedia.org/wiki/Машина_Поста

Лямбда исчисление https://ru.wikipedia.org/wiki/Лямбда-исчисление

https://ru.wikipedia.org/wiki/Категория:Модели_вычислений
---

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

аналогично и у моделей вычислений
связка элементарной команды универсального вычислителя и элементарного действия физ.машины дает вычисление алгоритмов

все это получается тупая цепочка причинно-следственных связей (ПСС)
в виде физ.модели
в виде последовательности непосредственно интерпретируемых команд символической вычислительной модели

каждый отдельный символ символической вычислительной модели соответствует физическому действию
а весь алгоритм эквивалентен символической записи цепочки ПСС
---