У нас с товарищем вышел спор.

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

Я же думаю, что с развитием науки и техники (микроскопы, эл. микроскопы, ускорители), виртуальные существа доведут уровень своей науки до фундаментальных законов виртуальной вселенной и элементарных кирпичиков, из которых она состоит. Далее продвижение их науки далее станет невозможно из-за неких фундаментальных ограничений самой природы симуляции.

Не могу точно описать свою догадку.. Что то типа мощностей множеств рациональных и иррациональных чисел. То есть в реальном, несимулируемом мире, как мне кажется, физ. законы выполняются с предельной точностью. А в любом симулируемом мире, с произвольной точностью и мощностью устройства, которое этот мир моделирует, останутся ограничения и неточности симуляции. Именно по этим ограничениям виртуальные жители и могли бы вычислить, что живут в симуляторе.

Как вы считаете, возможно ли математически доказать, что мы населяем реальный, а не симулируемый мир?