集合の定義
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/03 23:27 UTC 版)
Jürgen Schmidhuberは、テグマークは「すべての数学的構造には先験的に等しい統計的な重みを与えられている」ことを示唆するが、全ての(無限に多くの)数学的構造に等しく非ゼロの確率を割り当てることはできないと議論する。Schmidhuberは、構成的数学、すなわちコンピュータプログラムによって記述可能な宇宙の表現のみを認める、より制限された集合を提出した。これは、その出力ビットが有限時間内に収束するが収束時間自身はクルト・ゲーデルの限界のため停止するプログラムでは予測できないであろう非停止プログラムによって記述可能な宇宙の表現を明示的に含んでいる。 テグマークは、全宇宙に渡る弦風景についての観測は未だ構築されていないため、これは"致命的欠陥" (show-stopper) とみなされるべきではないと回答する (sec. V.E)。
※この「集合の定義」の解説は、「数学的宇宙仮説」の解説の一部です。
「集合の定義」を含む「数学的宇宙仮説」の記事については、「数学的宇宙仮説」の概要を参照ください。
- 集合の定義のページへのリンク