>>122653
Пусть опытные мистические аноны поправят, если будут неточности, но вообще это и есть самый край ужаса, кошмар за пределами любых пределов. Самого пространства и времени нет, оно эмерджентно из каузального гиперграфа вычислений. Этот же граф впихуем в HoTT самым естественным образом, это путь перевода объекта в объект, композиция путей, и далее пути над путями, гомотопии. Соответственно HoTT оперирует пространствами, состоящими из цепочек эквивалентностей. Вольфрам строит Рулиаду на правилах перезаписи (вычислений), каждое элементарное вычисление - это один шаг, миллиарды таких шагов происходят как бы одновременно, и они образуют гигантскую сеть, в этой сети точки это состояния Вселенной, а линии - причина и следствие, HoTT и модель Вольфрама сливаются воедино, математические пути между типами переходят в физику Вольфрама, цепочки доказательств становятся временем, нельзя попасть в будущее, не совершив все вычисления, а Вольфрам говорит, что шорткатов нет. А потомки событий без каузальности между собой образуют пространство. Между ними нет прямой причинной связи (одно не вызывает другое), но они находятся в одном временном срезе Вселенной одного этапа вычислений. Может быть конусы Пенроуза сюда тоже применимы. В HoTT геометрия путей определяет кривизну пространства. Если путей между точками слишком много и они начинают сгущаться (граф вычислений становится аномально плотным), то с точки зрения наблюдателя это выглядит как искривление пространства-времени. В физике это искривление называется гравитацией. Используя аппарат HoTT для подсчета путей в графе Вольфрама, можно чисто математически выйти на уравнения Эйнштейна из голых вычислений! Но опять же это может быть подгонкой исходного набора правил для автоматов.