Стивен Вольфрам о Rule 30: почему Вселенная может быть простой программой

Lex Fridman 111 тыс. 22 мин 4 мин 20.04.2020
Главное

В этом выпуске AI Podcast Лекс Фридман беседует со Стивеном Вольфрамом — легендарным ученым, создателем системы Mathematica и языка Wolfram Language. Разговор сосредоточен вокруг фундаментального открытия Вольфрама в области клеточных автоматов, в частности Rule 30, которое ставит под сомнение традиционные методы научного познания и предлагает новый взгляд на природу сложности во Вселенной.

🔬 Отход от традиционной науки: мир как программа 0:01

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

Вольфрам предлагает альтернативную парадигму: использование простых программ вместо уравнений для моделирования реальности. Основные тезисы этой концепции:

⬛ Rule 30: Генератор бесконечной сложности 2:48

Центральным объектом обсуждения становится Rule 30 — одномерный клеточный автомат, который Стивен Вольфрам открыл в начале 1980-х годов . Правило работает на сетке из черных и белых квадратов: состояние каждой клетки в следующем ряду зависит от её текущего состояния и состояния двух её соседей.

Вольфрам описывает поразительный эффект, который произвело на него это открытие:

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

⛓️ Вычислительная неприводимость и предсказание будущего 8:38

Одной из самых глубоких идей, обсуждаемых в интервью, является концепция вычислительной неприводимости (Computational Irreducibility). Лекс Фридман и Стивен Вольфрам рассуждают о том, почему мы не можем просто «взглянуть в конец» выполнения Rule 30.

Ключевые выводы этой теории:

  1. В классической физике (например, при расчете орбит планет) мы можем подставить число $t$ в формулу и узнать положение объекта через миллион лет, не проживая каждый момент времени .
  2. В системах вроде Rule 30 единственный способ узнать, что произойдет на шаге №1 000 000 000 — это фактически выполнить все миллиард шагов .
  3. Это означает, что время в нашей Вселенной — это не просто параметр, а процесс вычисления, который нельзя сократить .

По мнению Вольфрама, это объясняет существование «свободы воли» и непредсказуемости в детерминированном мире: даже если правила известны, результат нельзя узнать заранее, не прожив этот процесс .

🏆 Премия за Rule 30 и нерешенные задачи 14:26

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

Основные научные вызовы, связанные с Rule 30:

Вольфрам отмечает, что несмотря на простоту формулировки, современная математика пасует перед этими вопросами, так как она не приспособлена для работы с системами, не имеющими «скрытых упрощений» .

🌌 Вселенная как клеточный автомат 18:33

В завершение беседы Лекс Фридман поднимает вопрос о «Теории всего». Стивен Вольфрам делится своим видением того, что вся наша физическая реальность может быть результатом работы аналогичного, хотя и гораздо более сложного, вычислительного правила .

Основные философские и научные инсайты гостя:

💬 Цитаты

«Для меня Rule 30 стало шоком. Оно разрушило мою интуицию о том, что сложность требует сложного создателя.»

Стивен Вольфрам 05:45

«Единственный способ узнать будущее системы — это дождаться, пока она сама себя вычислит.»

Стивен Вольфрам 10:40
👥 Спикеры
📚 Упомянутые книги
🔗 Упомянутые сайты и проекты
📖 Термины
Клеточные автоматы
Дискретные модели, состоящие из сетки ячеек, состояние которых меняется по простым правилам в зависимости от соседей.
Rule 30
Специфическое правило элементарного клеточного автомата, известное своим хаотическим поведением.
Вычислительная неприводимость
Свойство системы, при котором невозможно предсказать её будущее состояние быстрее, чем путем прямого моделирования каждого шага.
📊 Цифры
🗓 Хронология
  1. 1980-е Стивен Вольфрам начинает эксперименты с одномерными клеточными автоматами.
  2. 2002 Публикация книги «A New Kind of Science».
  3. 2019 Объявление о Rule 30 Prizes для математиков и программистов.
⚖️ Другая сторона
Наука Стивен Вольфрам Rule 30 Cellular Automata вычислительная неприводимость Лекс Фридман