Теория Всего от С.Вольфрама

[bondkim137]

А точнее, ее зачаток.

Один знакомый условно бывший физик подкинул ссылку на любопытный проект:
http://www.wolframphysics.org

Интро тут.

Еще короче тут.

Мне, как прикладнику, сам технический подход показался интересным. Но как неспециалист ни в ОТО ни в квантовой механике - по существу ничего сказать не могу. Если кто-то на этот материал натыкался - с удовольствием послушаю.

[Aritaborian]

Если кто не в курсе, Стивен Вольфрам это тот же Илон Маск, но в своей сфере деятельности. Просто его сфера деятельности не позволяет СМИ трубить о его работе на каждом углу так, чтоб понял каждый обыватель. Как и Маск, он очень и очень многого достиг и ещё о большем заявляет. И точно так же все его заявления нужно на всякий случай делить на восемь.

[dobrichev]

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

Цитата:

But imagine making a multiway graph of absolutely everything that can happen—including all events for all possible rules. This is a big, complicated object. But far from being structureless, it’s full of all kinds of structure.

[Утундрий]

А где-то, в отдалённой части Всевероятной Вселенной, куксится и хнычет маленький Орос ди Бартини...

[mihaild]

Обсуждение на ycombinator.
Я попробовал сильно по диагонали почитать. Кажется что основных идей две: генерация орграфов с помощью локальных замен (сама идея простая, какие конкретно замены предлагаются - не смотрел) и задание геометрии орграфами (определения размерности, кривизны и т.д.).
Есть подозрение (и на ycombinator его высказывают), что получающийся фреймворк слишком общий, и на нём можно выразить любые вычисления. Соответственно то, что в нем удается как-то задать псевдоевклидово пространство - не очень удивительно.

[ozheredov]

mihaild
Каким образом граф с конечным количеством вершин и ребер (в оперативу же он как-то влезает) может описать

dobrichev в сообщении #1455889 писал(а):

absolutely everything that can happen—including all events for all possible rules.

??

[Red_Herring]

$$ \begin{tikzpicture} \node[left] at (0,0) {Я}; \draw [->] (0,0) --(1,1) node[right]{не выйду на улицу}; \draw [->] (4.5,1)--(6,2) node[right] {и напишу

[ozheredov]

Red_Herring


Давайте развивать. Мне видятся вот какие уточнения: 1. "Я" должен спать, кушать и ... кое-что ещё, когда не выходит на улицу, не пишет Теорию Всего и не смотрит телевизор. 2. Динозавр может иметь любой цвет RGB, поэтому резервируем 24 бита под узлы 3-его уровня.

3! Выпускаем light-версию для слабых компьютеров, где будут только 3 узла до первого уровня иерархии включительно.

[arseniiv]

ozheredov в сообщении #1455986 писал(а):

Каким образом граф с конечным количеством вершин и ребер

Не читал, но там точно утверждается, что с конечным? Бесконечные графы вполне в ходу. Но вообще например вот есть модели ZFC [UPD: как ниже поправляют, если у неё вообще есть модели], имеющие носителем счётное множество, так что вполне можно представить, что в каком-нибудь неограниченно растущем графе нельзя будет «изнутри» узнать, что он в каждый момент конечен.

[Padawan]

(Оффтоп)

arseniiv в сообщении #1456170 писал(а):

Но вообще например вот есть модели ZFC, имеющие носителем счётное множество

Не факт что есть такие модели. Может ZFC противоречива.

[arseniiv]

(Оффтоп)

А, ну да. Что-то я забыл уточнять.

[Alex-Yu]

bondkim137 в сообщении #1455811 писал(а):

подход показался интересным.

Не читали бы вы глупостей...

[pppppppo_98]

arseniiv в сообщении #1456170 писал(а):

ZFC [UPD: как ниже поправляют, если у неё вообще есть модели], имеющие носителем счётное множество,

это что же за ZFC такая с конечной моделью, коли в ней постулируется аксиома
$\exist a\colon \bigl(\varnothing \in a \ \land \ \forall b \ (b \in a \Rightarrow b \cup \{b\} \in a) \bigr)$

Попробуйте конструктивно с этой аксиомой построить любую конечную модель... Или таки речь идет не о ZFC, а теории конечномерных множеств - ну дык она малоинтересна

[mihaild]

pppppppo_98 в сообщении #1456562 писал(а):

коли в ней постулируется аксиома
$\exist a\colon \bigl(\varnothing \in a \ \land \ \forall b \ (b \in a \Rightarrow b \cup \{b\} \in a) \bigr)$

Квантор по $a$ потерялся.

pppppppo_98 в сообщении #1456562 писал(а):

Попробуйте конструктивно с этой аксиомой построить дюбую конечную модель

А кто говорил про конечную модель? Конечных нет, счетные есть.

[arseniiv]

pppppppo_98 в сообщении #1456562 писал(а):

конечномерных множеств

Не знаю таких.