問い世界は本当に存在するのか?コンピュータは世界を存在させるのではなく、世界を記述する
世界は本当に存在するのか?仮想もまた現実

コンピュータは世界を存在させるのではなく、世界を記述する

数学的宇宙仮説とシミュレーション(テグマーク)

Max Tegmark 1967年生まれ宇宙論者。私たちの世界は数学的構造であり、それをシミュレートするコンピュータはそれを記述するだけで、存在させるわけではない。
プロフィールを見る
その主張:

したがって、シミュレートされた宇宙は私たちの宇宙と同じだけ実在的に存在する。「シミュレートされた」とは「より実在性が低い」という意味ではなく、「コンピュータによって特定された」という意味にすぎない。

なぜか

コンピュータを動かしても、記述された世界が存在するかどうかは変わらない。シミュレートされていようといまいと、その世界は同じように存在する。

要点

「コンピュータは世界を存在させるのではなく、世界を記述する」は、問い「世界は本当に存在するのか?」(答え:仮想もまた現実)に関するMax Tegmarkの論証です(テグマーク「数学的宇宙」(The Mathematical Universe)、2008年, 2008)。その主張は次のとおりです:したがって、シミュレートされた宇宙は私たちの宇宙と同じだけ実在的に存在する。「シミュレートされた」とは「より実在性が低い」という意味ではなく、「コンピュータによって特定された」という意味にすぎない。。 AskPhilosophyの論理チェック(Z3ソルバー)によれば、この論証が妥当であるのは、著者が明示していない前提(P4)を認める場合に限られます。 AskPhilosophyでは、2件の反論を紹介しています。そのうち0件には文献に基づく応答があり、各前提の元になった原文も一字一句照合して確認しています。

テグマーク「数学的宇宙」(The Mathematical Universe)、2008年
暗黙の前提を補えば妥当

宇宙論者のマックス・テグマークは大胆な考えを擁護している。私たちの物理的世界は数学によって記述されているのではなく、数学的構造、すなわち抽象的な対象とそれらの間の関係そのものだというのである。ここから彼はシミュレーションについての帰結を導く。もし宇宙をコンピュータ上でシミュレートしたとすれば、その宇宙もまた数学的構造であり、誰かが計算するより前にすでに存在していることになる。コンピュータの役割は、宇宙の歴史を計算することではなく、それを特定することだろう。コンピュータが動いていようといまいと、その宇宙が存在するかどうかは変わらない。ただし注意すべきことがある。すべては数学的宇宙仮説に基づいており、テグマークはこれを私たちの外にある実在の存在から帰結するものとして提示しているが、この仮説は広く議論の的となっている。

P1私たちの物理的世界は数学的構造、すなわち抽象的な存在者とそれらの間の関係である(数学的宇宙仮説)。
P2宇宙のシミュレーションはどれも、やはり一つの数学的構造に対応しており、したがってその構造はそのものとしてすでに存在している。
P3シミュレートするコンピュータの役割は、宇宙の歴史を計算することではなく、それを特定することである。それを動かすか否かは、構造の存在には何の影響も与えない。
P4 · 暗黙の前提構造として存在するものは、動かされるか否かにかかわらず、私たちの世界もまた構造であるならば、私たちの世界と同じだけ実在的に存在する。
したがって、シミュレートされた宇宙は私たちの宇宙と同じだけ実在的に存在する。「シミュレートされた」とは「より実在性が低い」という意味ではなく、「コンピュータによって特定された」という意味にすぎない。

前提をクリックすると、それを退けられます

すべての前提を受け入れるなら、論理によって結論も受け入れざるをえません。したがって、議論は前提をめぐるものになります。
論理ソルバーで検証済み:すべての前提が真で結論が偽であることはありえません。
暗黙の前提がない場合: P4がなければ、数学的構造は「一般に」存在していても、それだけでは人が生きる世界をなすのに十分ではない、と想像することができる。方程式は存在するが、誰もその中に住んではいない。計算だけでは、記述された世界が実在するとは言えないだろう。
P1:私たちの世界は構造である。P2:シミュレートされた宇宙もまた構造である。P3:コンピュータはそれを特定するだけであり、したがってそれを動かすか否かはその存在に影響しない。隠れた前提P4は、構造として存在するものは私たちと同じだけ実在的に存在する、と述べる。ゆえに、シミュレートされた世界は私たちの世界と同じだけ実在する。議論されている点は、P1(数学的仮説)と、P4(構造として存在することは実在的であるのに十分か)である。
類推. 完全な建築家の設計図は、家を記述するために実際に建てられる必要はない。設計図がすべてを記述しているなら、誰かがそれを描こうと描くまいと、家は設計図の中に「存在」している。テグマークは、計算は宇宙の設計図を書くのに役立つにすぎないと言う。(私たちによる例え。)

反論

2

それぞれの反論は一つの対話です。クリックすると、誰が応答しているか、そして議論が今どこにあるかが分かります。

ザ
ザビーネ・ホッセンフェルダー 2007 · 前提1を攻撃

物理学者のホッセンフェルダーは、数学は実在を記述するが実在そのものではないと述べる。電子が存在しなくても、その波動関数を考え、記述することはできるが、それで電子が実在になるわけではない。彼女は、テグマークの仮説が消し去ってしまう違いをそこに見ている。

応答なし
Tegmarkの著作の中に、直接の応答はまだ見つかっていません。
議論は続く(当サイトによる要約) ホッセンフェルダーは2007年10月に、2007年4月版のテグマークの論文について書いている。このブログ記事に対するテグマークの返答は見つからなかった(当サイトによる要約)。
議論の現状(当サイトによる要約)根本的な不一致:数学は世界を記述するのか、それとも世界そのものなのか。未解決の点:広く受け入れられている立場はない(当サイトによる要約)。
ゴ
ゴードン・マッケイブ 2005 · 前提2を攻撃

マッケイブは、デジタル・シミュレーションは、それがシミュレートする系と客観的な結びつきをもたず、コンピュータの部品のなかの物理的過程としてのみ存在すると主張する。したがって、デジタル・シミュレーションの「なかで」生きることのできる者はおらず、実在すると言えるようなシミュレートされた世界もない。

応答なし
Tegmarkの著作の中に、直接の応答はまだ見つかっていません。
議論の現状(当サイトによる要約)未解決の点:マッケイブにとってシミュレーションとは機械の中のプロセスにすぎないが、テグマークにとってそれはすでに存在する数学的構造に対応する。テグマークはマッケイブを対立する見解として挙げているが、論文の中では彼に応答していない(当サイトによる要約)。