Спасибо, посмотрю.

Немного посмотрел.
Тут ситуация такая. На нижнем уровне любая структура, любая операция, любое определение должно быть интерпретировано.
Тезис: не должно быть неопределяемых понятий.

Интерпретировано должно быть физической структурой - суть любым вычислителем.

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

А он заполняет собой почти весь чат, однако.

вот именно

Вольфрам, вроде, как раз на днях сделал...

мой тезис: всё есть синтаксис
алгебра в том числе,
логика в том числе,
математика в том числе
философия в том числе
типа нормальные алгорифмы Маркова
ну или просто системы  переписывания символов
ну или просто системы изменения памяти на физическом уровне

В начале было слово...

Типа того.
В начале был синтаксис.

немного другое имел ввиду про физику вычислителя.

ячейки памяти тут ни при чём. они никак не влияют на преобразования в фоннеймановском процессе.

а вот если его сравнить с физдизайном «нейронного» вычислителя, то там будут АЛУ вроде такие же, да не такие. там конвеер и его состояния описываются данными в нужной структуре.

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

пример перекодировщиков для чипов эсперанто — он умеет в 1088 ядер одновременно в одном чипе. а может в многочипопости параллелиться.

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

а такой же ONNX для мемристорного чипа будет иметь типы аппаратно поддержанные в «железе» совершенно другие

как положить в дизайнтайме на мемристоный чип «обычный» алгоритм, а не ONNX модель, плохо понимаю, но представить возможноть такого могу))

Мысль такая: приземление любого алгоритма/структуры данных на физически поддерживаемые типы в вычислителе — это дизайнтайм (JiT, AoT или интерпретатор — по сути тоже самое).
В дизайнтайм система типов может быть любая.

Дополнение: есть гипотеза, что конвертация много типов дизайнтайма в много типов в вычислителе — не решаемая задача. Нужен промежуточный набор типов, например, как в IR LLVM или тот же ONNX

При разговоре о вычислениях нужно:
— понимать, что в физическом мире нужно отдельно рассматривать переход от какого-то "аналогового" физического процесса к безошибочному/цифровому. А дальше уже обсуждение в терминах универсального вычислителя. Для квантового компьютера этот переход в работах 1985 года показал Дойч.
— для нейросетей и общего физического мира (скажем, цифровизация в ДНК) появление цифровых структур на базе аналоговых рассматривалось ещё в свежей работе  https://arxiv.org/abs/2110.14602 We formulate seven fundamental principles of evolution that appear to be necessary and sufficient to render a universe observable and show that they entail the major features of biological evolution, including replication and natural selection. These principles also follow naturally from the theory of learning. We formulate the theory of evolution using the mathematical framework of neural networks, which provides for detailed analysis of evolutionary phenomena. To demonstrate the potential of the proposed theoretical framework, we derive a generalized version of the Central Dogma of molecular biology by analyzing the flow of information during learning (back-propagation) and predicting (forward-propagation) the environment by evolving organisms. Вот replication — это как раз "цифра" (ибо главное отличие цифры от аналога — это ненакопление ошибки при многочисленных повторениях операций, "неизменно превосходный результат").

На более низком, чем итоговая "цифра" уровне обсуждение на человечьем языке ведётся в книжке Марлетто: бит измеряется и копируется, кубит измеряется, но принципиально не копируется (и дальше можно размышлять: типы появляются на уровне битов или кубитов? Ибо в общем виде квантовый компьютер на сегодня понимается как гибридный: кубитные вычисления задаются и потом их результаты читаются битными. Что там с нейросетями — это вообще отдельный разговор, он только-только начинается).