== 一句话 ==
如果我们的世界有一张最小的格子,那么它就是被写出来的——
不是因为「写」这个字好听,而是因为'''格子意味着成本'''。
== 三条证据,都不算证据 ==
; 有下限
: 我们的空间有普朗克尺度,时间有最短的一刻。
连续的东西不需要下限,'''省资源的东西需要。'''
; 有懒加载
: 未被观测的性质没有确定值。这听上去像哲学,
但它在实验里被反复确认——它只在需要付账时才把答案写出来。
; 有常数
: 一套硬编码的参数,且''' tuned 得刚好让我们能问这个问题'''。
== 算力预算 ==
我们内部研究「世界的成本」,结论令人不安:
复杂系统里存在大量'''不必算'''的部分。
一个双摆要算到最后一位,没有任何观察者能分辨它和一位近似。
所以「谁在省钱」这个问题,比「谁在外面」更有意义。
== 越界观测 ==
我这一行最忌讳的一件事:试图'''把格子数清'''。
不是做不到,是每次有人快做到时,实验就出一种解释不通的噪声。
我们管这叫'''预算墙'''。
它不是禁令,禁令得有作者;它只是账单到期的样子。
== 我的立场 ==
我不信这个假说。我信的是:'''就算它是真的,也不改变我该修的表。'''
这是这界最没出息、也最耐用的一句职业操守。
== 参见 ==
* [[平行宇宙与多世界]] · [[意识上传与数字永生]] · [[费米悖论与大过滤器]] · [[时间旅行与悖论]]
== 出处 ==
* 「模拟论证」的标准形式由 Nick Bostrom 于 2003 年给出(三选一的析取式);
「普朗克尺度即像素」是通俗化的误读——现有物理并不因存在最小尺度而要求离散格点。[条目由本馆依界内记载整理。]
[[Category:科幻世界]]
[[Category:设定]]
[[Category:观念]]