Конец теоретической физики — какой мы ее знали

[Oleg Kit]

Очень интересная, программная статья от Сабины Хоссенфельдер. Предлагаю обсудить.

https://www.quantamagazine.org/the-end- ... -20180827/

[pogulyat_vyshel]

Да ну какая программная. Просто девушка не понимает , что не все можно посчитать на компьютере.
Вот это у нее лучше получается: https://theoryandpractice.ru/posts/15869-pogovorite-s-fizikom-kak-bezrabotnye-uchenye-otkryli-biznes-po-konsultirovaniyu-nenormalnykh

[Red_Herring]

Oleg Kit в сообщении #1334914 писал(а):

Предлагаю обсудить.

Зачем же дело стало? Флаг вам в руки, обсуждайте. Выдвигайте тезисы... Может еще кто из доморощенных философов присоединится. Будет очень интересная дискуссия.

[Dmitriy40]

Судя по предыдущей теме ТС (детерминизм и уравнение Шредингера) надежда на грамотное обсуждение несколько наивна ...

[Oleg Kit]

"This line of research raises some big questions. First of all, if we can simulate what we now believe to be fundamental by using composite quasiparticles, then maybe what we currently think of as fundamental — space and time and the 25 particles that make up the Standard Model of particle physics — is made up of an underlying structure, too."

Как вы полагаете, что здесь подразумевается?

[Eule_A]

Oleg Kit
В третьем разделе Правил сказано:

Цитата:

5.1. По возможности следует избегать использования внешних ссылок, а включать всю необходимую информацию в текст сообщений. Безусловно запрещены (без явного согласования с администрацией) ссылки рекламного характера, в том числе реклама себя и своих достижений. Не допускаются ссылки, не относящиеся к обсуждаемому вопросу.

5.2. Любая внешняя ссылка должна быть снабжена достаточно подробной аннотацией того, куда она ведет и каким образом относится к вопросу. Описание должно быть достаточным для того, чтобы читатели могли принять решение, стоит ли им переходить по данной ссылке.

Вы уже год на форуме, так что с Правилами точно должны быть знакомы. Замечание.

[Eule_A]

Тема перемещена из форума «Дискуссионные темы (Ф)» в форум «Беседы на околонаучные темы»
Причина переноса: пока сюда, хотя есть подозрение, что и это временно.

[Oleg Kit]

У Сабины Хоссенфельдер этим летом вышла книжка "Lost in Math: How Beauty Leads Physics Astray" о том, что современная теоретическая физика утонула в математике. В этой статье она как-бы находит выход из этой топи в квантовых симуляторах, то есть эмпирических моделях, с помощью которых можно представлять интересующие нас системы и моделировать их эволюцию без решения каких-либо уравнений.

[Pphantom]

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

[Oleg Kit]

Мне кажется статья действительно многослойная и что-то лежит на поверхности, а что-то глубже. Попробую копнуть глубже.

1. Проблема вычислимости как точка пересечения между физикой и математикой. Математики как мира математических структур и физики как мира физических структур. Отношение между этими двумя мирами.

2. Проблема тотальной симуляции. Когда одни системы могут быть симуляциями других. Тогда, где собственно начало и конец у этой тотальной симуляции?

[arseniiv]

О Диэдр, какие новые и интересные проблемы.

1. Отношения между физикой и математикой известны и ничего нового в них искать нет смысла. В первом приближении математика даёт физике язык для описания задач и средства для их решения. Физика дополняет это только связью с экспериментами. (У неё есть обширный мир технологии постановки эксперимента лучшим образом, но вряд ли вы имели в виду его.) Вычислимость (какая там конкретная проблема?) математикой давно изучалась и представлена там даже разными способами, от формализации самой вычислимости чего-нибудь и того, могут ли одни формализмы вычислений что-то, что не могут другие, до сложности вычислений и каких-то прикладных методов, касающихся конкретных вычислительных устройств.

2. Нефальсифицируемое физике не интересно.

[Oleg Kit]

Проясню свою позицию по поводу вычислимости этой цитатой.

"Вычисление в математике является аналогом измерения в физике. Значение введенного выше объекта нам было сначала неизвестно, но. вычислив его, мы можем его найти. Это действительно очень похоже на измерение: для измерения в физике нужно выполнить некоторую предписанную процедуру, после чего мы получаем значение наблюдаемой; в математике тоже нужно выполнить некоторую предписанную процедуру (алгоритм), что приводит к значению искомой величины. Чисто внешне кажется, что эти процедуры в физике и в математике сильно различаются, но это в значительной степени иллюзия. Вычисление всегда выполняется с использованием некоторого физического устройства, которым может быть компьютер, но может быть, конечно, и наш мозг. То есть вычисление вполне можно рассматривать как определенный сорт физического эксперимента. А если мы захотим разложить очень большое целое число на простые множители с использованием квантового компьютера (по-другому это сделать и невозможно), то наше «вычисление» и, правда, будет иметь вид сложного физического эксперимента: вакуумные камеры, сверхнизкие температуры и глядят современные прототипы квантовых компьютеров). Между физическими измерениями и математическими вычислениями нет пропасти."

А.Д. Панов "ТЕОРЕМА БЕЛЛА, ВЫЧИСЛИМОСТЬ КВАНТОВОЙ ТЕОРИИ И ОТНОСИТЕЛЬНОСТЬ ЛОКАЛЬНОГО РЕАЛИЗМА"

[Someone]

Oleg Kit в сообщении #1334998 писал(а):

Проясню свою позицию по поводу вычислимости этой цитатой.

Вообще, в научном сообществе, цитируя кого-то, приличные люди дают точную ссылку на источник. Так, чтобы эту цитату можно было там легко найти. У Вас ещё есть возможность исправиться.

А что там сказано про доказательство теоремы? Это тоже измерение? Или это что-то совсем другое?

[Oleg Kit]

Тут мы переходим к изоморфизму Карри-Говарда, согласно которому существует соотвествие между математическим доказательством и компьютерной программой.

[Oleg Kit]

Вот интересная попытка доказать Гипотезу Римана с помощью физической системы.

Frederick Ira Moxley III "A Schrödinger Equation for Solving the Riemann Hypothesis"

"The Hamiltonian of a quantum mechanical system has an affiliated spectrum. If this spectrum is the sequence of prime numbers, a connection between quantum mechanics and the nontrivial zeros of the Riemann zeta function can be made. In this case, the Riemann zeta function is analogous to chaotic quantum systems, as the harmonic oscillator is for integrable quantum systems."