2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Теория Всего от С.Вольфрама
Сообщение18.04.2020, 18:17 
Аватара пользователя


07/02/12
1439
Питер
А точнее, ее зачаток.

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

Интро тут.

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

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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение18.04.2020, 18:51 
Аватара пользователя


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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение18.04.2020, 23:17 


01/11/17
42
Из последней ссылки я узнал, что если вы рекурсивно примените все возможные преобразования к одному графу, вы получите модель Вселенной, которая полностью соответствует законам современной физике.
Цитата:
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.

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение18.04.2020, 23:45 
Заслуженный участник
Аватара пользователя


15/10/08
30/12/24
12599
А где-то, в отдалённой части Всевероятной Вселенной, куксится и хнычет маленький Орос ди Бартини...

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 11:43 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 13:11 


10/03/16
4444
Aeroport
mihaild
Каким образом граф с конечным количеством вершин и ребер (в оперативу же он как-то влезает) может описать
dobrichev в сообщении #1455889 писал(а):
absolutely everything that can happen—including all events for all possible rules.

??

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 13:45 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 17:13 


10/03/16
4444
Aeroport
Red_Herring
:appl: :appl: :appl:

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

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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 20:31 
Заслуженный участник


27/04/09
28128
ozheredov в сообщении #1455986 писал(а):
Каким образом граф с конечным количеством вершин и ребер
Не читал, но там точно утверждается, что с конечным? Бесконечные графы вполне в ходу. Но вообще например вот есть модели ZFC [UPD: как ниже поправляют, если у неё вообще есть модели], имеющие носителем счётное множество, так что вполне можно представить, что в каком-нибудь неограниченно растущем графе нельзя будет «изнутри» узнать, что он в каждый момент конечен.

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 22:07 
Заслуженный участник


13/12/05
4620

(Оффтоп)

arseniiv в сообщении #1456170 писал(а):
Но вообще например вот есть модели ZFC, имеющие носителем счётное множество

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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение19.04.2020, 22:19 
Заслуженный участник


27/04/09
28128

(Оффтоп)

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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение20.04.2020, 03:18 
Заслуженный участник


21/08/10
2462
bondkim137 в сообщении #1455811 писал(а):
подход показался интересным.



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

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение21.04.2020, 00:28 


29/01/09
687
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, а теории конечномерных множеств - ну дык она малоинтересна

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение21.04.2020, 00:34 
Заслуженный участник
Аватара пользователя


16/07/14
9208
Цюрих
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 писал(а):
Попробуйте конструктивно с этой аксиомой построить дюбую конечную модель
А кто говорил про конечную модель? Конечных нет, счетные есть.

 Профиль  
                  
 
 Re: Теория Всего от С.Вольфрама
Сообщение21.04.2020, 01:38 
Заслуженный участник


27/04/09
28128
pppppppo_98 в сообщении #1456562 писал(а):
конечномерных множеств
Не знаю таких. :roll:

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу 1, 2  След.

Модераторы: photon, whiterussian, profrotter, Jnrty, Aer, Парджеттер, Eule_A, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group