数学的宇宙仮説
従来の物理学の理論はゲーデル決定不能 (Godel-undecidable) であるが、われわれの世界を記述する実在の数学的構造は依然としてゲーデル完全であり、ゲーデル不完全な数学について考える能力のある観測者を原理的に含むであろう。ちょうど有限状態デジタルコンピュータがペアノの算術のようなゲーデル不完全な形式体系についての特定の定理を証明することができるように。さらに、彼はより詳細な回答を示し、MUHに代わるより制限された計算可能な宇宙 (Computable Universe Hypothesis, CUH) を提案した (sec. VII)。CUHでは、この宇宙はゲーデルの定理がそれらにどんな決定不能/計算不能な定理を含むことも要求しないだけ単純な数学的構造のみを含む。テグマークは、このアプローチは"重大な困難"に直面していることを認める。すなわち、(a) この宇宙は多くの数学的景観 (mathematical landscape) を含む;(b) 許容されている理論の空間上での測度はそれ自身計算不能である;そして(c) "実質的に全ての歴史的に成功している物理理論はCUHに違反しているなどの問題を含んでいる。