跳转到内容

数学宇宙假说:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Wynezan1010留言 | 贡献
Cewbot留言 | 贡献
清理跨語言連結G. F. R. Ellis成為內部連結:編輯摘要的紅色內部連結乃正常現象,經繁簡轉換後存在,非bot錯誤編輯 (本次機械人作業已完成74.3%)
 
(未显示5个用户的16个中间版本)
第1行: 第1行:
{{NoteTA
{{short description|Cosmological theory}}
|G1=Physics
在[[物理]]和[[宇宙学]]中,數學宇宙假,又稱為終極理論是宇宙家[[马克斯·泰格马克]]提出的[[万有理论]]。<ref name="Tegmark1998">{{cite journal|last=Tegmark |first=Max |date=November 1998 |title=Is "the Theory of Everything" Merely the Ultimate Ensemble Theory? |journal=Annals of Physics |volume=270 |issue=1 |pages=1–51 |doi=10.1006/aphy.1998.5855 |arxiv = gr-qc/9704009 |bibcode = 1998AnPhy.270....1T |s2cid=41548734 }}</ref><ref>M. Tegmark 2014, "[https://space.mit.edu/home/tegmark/mathematical.html Our Mathematical Universe]", Knopf</ref>
|G2=Math
|1=zh-cn:数学对象;zh-tw:數學物件;
}}
{{现代物理学}}
'''数学宇宙假说'''({{lang-en|Mathematical universe hypothesis}}简称{{lang|en|MUH}}),称为'''终极理論'''({{lang|en|Ultimate ensemble theory}}),[[美国]][[宇宙]]、[[麻省理工学院]][[教授]][[马克斯·泰格马克]]提出的一种[[万有理论]]。<ref name="Tegmark1998">{{cite journal|last=Tegmark |first=Max |date=November 1998 |title=Is "the Theory of Everything" Merely the Ultimate Ensemble Theory? |journal=Annals of Physics |volume=270 |issue=1 |pages=1–51 |doi=10.1006/aphy.1998.5855 |arxiv = gr-qc/9704009 |bibcode = 1998AnPhy.270....1T |s2cid=41548734 }}</ref><ref name=omu>M. Tegmark 2014, "[http://mathematicaluniverse.org Our Mathematical Universe]{{Dead link|date=2019年12月 |bot=InternetArchiveBot |fix-attempted=yes }}", Knopf</ref>

泰格马克认为,[[物理]]实在即是[[数学结构]],一切数学结构都是物理存在的。对于那些足够[[复杂]]以至拥有[[自我意识]][[子结构]]({{lang|en|self-aware substructures}},简称{{lang|en|SAS}})的数学结构而言,这些子结构(如人类意识)能够[[主观]]地[[感知]]到自己[[存在]]于一个物理“真实”的世界中。<ref name="Tegmark2008">{{cite journal|last=Tegmark |first=Max |date=February 2008 |title=The Mathematical Universe |journal=Foundations of Physics |volume=38 |issue=2 |pages=101–150 |doi=10.1007/s10701-007-9186-9 |arxiv=0704.0646|bibcode = 2008FoPh...38..101T |s2cid=9890455}}</ref><ref name="#1">Tegmark (1998), p. 1.</ref>

在泰格马克提出的四层[[多重宇宙論]]中,最高层(第四层)平行宇宙即是指拥有不同数学结构的平行宇宙,每种数学结构都对应着一个平行宇宙。<ref name=omu />


==敘述==
==敘述==
泰格馬克的數學宇宙假說認為:「物理的客觀現實是一種數學結構。」<ref name="Tegmark2008">{{cite journal|last=Tegmark |first=Max |date=February 2008 |title=The Mathematical Universe |journal=Foundations of Physics |volume=38 |issue=2 |pages=101–150 |doi=10.1007/s10701-007-9186-9 |arxiv=0704.0646|bibcode = 2008FoPh...38..101T |s2cid=9890455 }}</ref> 換句話說,宇宙中的物理不僅僅是用數學描述,而本身就是數學(具體來說,是[[数学结构]]) 數學上存在即為物理上存在。觀測者,包括人類,被稱作自我意識子結構(self-aware substructures,簡稱SAS)。在任何足夠複雜到能包含自我意識子結構的數學結構,那些自我意識子結構可以主觀的認為自己活在一個真實的物理世界。<ref>Tegmark (1998), p. 1.</ref>
泰格馬克的數學宇宙假說認為「物理的客觀現實是一種數學結構。」<ref name="Tegmark2008"/>換句話說,宇宙中的物理不僅僅是用數學描述,而本身就是數學具體來說,是[[数学结构]]。數學上存在即為物理上存在。觀測者,包括人類,被稱作自我意識子結構({{lang|en|self-aware substructures}},簡稱{{lang|en|SAS}})。在任何足夠複雜到能包含自我意識子結構的數學結構,那些自我意識子結構可以主觀的認為自己活在一個真實的物理世界。<ref name="#1"/>


這個數學宇宙假說提出了數學實體是存在的,因此可以被視作[[毕达哥拉斯主义]]和[[柏拉图主义]]的另一種形式;它也認為除了數學物件外不存在其他任何事物,因此可以被視作[[数学哲学]]的另一種形式;它也可以被視為{{tsl|en|Structuralism (philosophy of science)||本體結構現實主義}}形式上的表達。
這個數學宇宙假說提出了數學實體是存在的,因此可以被視作[[毕达哥拉斯主义]]和[[柏拉图主义]]的另一種形式;它也認為除了[[數學物件]]外不存在其他任何事物,因此可以被視作[[数学哲学]]的另一種形式;它也可以被視為{{tsl|en|Structuralism (philosophy of science)|本體結構現實主義}}形式上的表達。


泰格馬克聲稱這個假說不包含任何自由變數也不是排除可觀測性。 因此,他認為數學宇宙假說比[[奥卡姆剃刀]]更好。 泰格馬克也考慮過添加第二個假設,添加後的假說是可計算宇宙假說,它說物理的客觀現實的數學結構是被[[可计算函数]]定義的。<ref>{{Cite journal|arxiv=0704.0646|title= The Mathematical Universe|journal= Foundations of Physics|volume= 38|issue= 2|pages= 101–150|last1= Tegmark|first1= Max|year= 2008|doi= 10.1007/s10701-007-9186-9|bibcode= 2008FoPh...38..101T|s2cid= 9890455}}</ref>
泰格馬克聲稱這個假說不包含任何自由變數也不是排除可觀測性。因此,他認為數學宇宙假說比[[奥卡姆剃刀]]更好。泰格馬克也考慮過添加第二個假設,添加後的假說是可計算宇宙假說,它說物理的客觀現實的數學結構是被[[可计算函数]]定義的。<ref>{{Cite journal|arxiv=0704.0646|title= The Mathematical Universe|journal= Foundations of Physics|volume= 38|issue= 2|pages= 101–150|last1= Tegmark|first1= Max|year= 2008|doi= 10.1007/s10701-007-9186-9|bibcode= 2008FoPh...38..101T|s2cid= 9890455}}</ref>


數學宇宙假說和泰格馬克提出的四層[[多重宇宙論]]有關。<ref name="Tegmark2003">{{cite journal |arxiv=astro-ph/0302131 |bibcode=2003SciAm.288e..40T |doi=10.1038/scientificamerican0503-40 |pmid=12701329 |title=Parallel Universes |year=2003 |last1=Tegmark |first1=Max |journal=Scientific American |volume=288 |issue=5 |pages=40–51 }}</ref> 四層多重宇宙論假設平行宇宙有一個多樣性的層級,第一類是只有初始狀態不同,第二類增加了物理常數的不同,第三類是艾弗雷特的多世界詮釋,第四類是所有的物理定律皆不同。
數學宇宙假說和泰格馬克提出的四層[[多重宇宙論]]有關。<ref name="Tegmark2003">{{cite journal |arxiv=astro-ph/0302131 |bibcode=2003SciAm.288e..40T |doi=10.1038/scientificamerican0503-40 |pmid=12701329 |title=Parallel Universes |url=https://archive.org/details/sim_scientific-american_2003-05_288_5/page/40 |year=2003 |last1=Tegmark |first1=Max |journal=Scientific American |volume=288 |issue=5 |pages=40–51 }}</ref>四層多重宇宙論假設平行宇宙有一個多樣性的層級,第一類是只有初始狀態不同,第二類增加了物理常數的不同,第三類是艾弗雷特的多世界詮釋,第四類是所有的物理定律皆不同。


==批評和回覆==
==批評和回覆==
倫敦[[伦敦帝国学院]]的[[安德烈亚斯·阿尔布雷克特]]認為數學宇宙假說是一些重要的物理問題的啟發性的解答。但他不敢說他相信數學宇宙假說,他補充說構造一個包含萬物的理論是很難的。<ref>{{cite journal |last=Chown |first=Markus |author-link=马库斯·乔恩 |date=June 1998 |title=Anything goes |journal=[[新科學人]] |volume=158 |issue=2157 |url=http://space.mit.edu/home/tegmark/toe_press.html |access-date=2022-01-02 |archive-date=2014-03-31 |archive-url=https://web.archive.org/web/20140331142646/http://space.mit.edu/home/tegmark/toe_press.html |dead-url=no }}</ref>

倫敦[[伦敦帝国学院]]的[[安德烈亚斯·阿尔布雷克特]]認為數學宇宙假說是一些重要的物理問題的啟發性的解答。但他不敢說他相信數學宇宙假說,他補充說構造一個包含萬物的理論是很難的。<ref>{{cite journal|last=Chown |first=Markus |author-link = Marcus Chown|date=June 1998 |title=Anything goes |journal=[[新科學人]] |volume=158 |issue=2157 |url=http://space.mit.edu/home/tegmark/toe_press.html}}</ref>


===系綜的定義===
===系綜的定義===
[[于尔根·施密德胡伯]]<ref name="AToE">[[于尔根·施密德胡伯]] (2000) "[https://arxiv.org/abs/quant-ph/0011122 Algorithmic Theories of Everything.]"</ref> 認為『雖然泰格馬克提出「……所有數學結構都是相同的統計權重」,但沒有方法能分配相同且不為0的機率到所有數學結構。』施密德胡伯提出另一個更嚴格的系綜,他認為宇宙只能夠只被[[数学构成主义]]描述,也就是, [[计算机程序]]。他明確地給出一個例子,宇宙的表現能被在有限時間中輸出會收斂的不停機程式描述,縱使時間本身的收斂性是不能被停機程式預測([[停机问题]]中的[[不可判定问题]])。<ref name="AToE"/><ref>{{cite journal | last1 = Schmidhuber | first1 = J. | author-link = Jürgen Schmidhuber | year = 2002 | title = Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit | url = http://www.idsia.ch/~juergen/kolmogorov.html | journal = International Journal of Foundations of Computer Science | volume = 13 | issue = 4| pages = 587–612 | doi=10.1142/S0129054102001291 | arxiv = quant-ph/0011122 | bibcode = 2000quant.ph.11122S}}</ref>
[[于尔根·施密德胡伯]]<ref name="AToE">[[于尔根·施密德胡伯]] (2000) "[https://arxiv.org/abs/quant-ph/0011122 Algorithmic Theories of Everything.] {{Wayback|url=https://arxiv.org/abs/quant-ph/0011122 |date=20221010203307 }}"</ref>認為『雖然泰格馬克提出「……所有數學結構都是相同的統計權重」,但沒有方法能分配相同且不為0的機率到所有數學結構。』施密德胡伯提出另一個更嚴格的系綜,他認為宇宙只能夠只被[[数学构成主义]]描述,也就是,[[计算机程序]]。他明確地給出一個例子,宇宙的表現能被在有限時間中輸出會收斂的不停機程式描述,縱使時間本身的收斂性是不能被停機程式預測([[停机问题]]中的[[不可判定问题]])。<ref name="AToE"/><ref>{{cite journal | last1 = Schmidhuber | first1 = J. | author-link = 于尔根·施密德胡伯 | year = 2002 | title = Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit | url = http://www.idsia.ch/~juergen/kolmogorov.html | journal = International Journal of Foundations of Computer Science | volume = 13 | issue = 4 | pages = 587–612 | doi = 10.1142/S0129054102001291 | arxiv = quant-ph/0011122 | bibcode = 2000quant.ph.11122S | access-date = 2022-01-02 | archive-date = 2006-05-18 | archive-url = https://web.archive.org/web/20060518035534/http://www.idsia.ch/~juergen/kolmogorov.html | dead-url = no }}</ref>


泰格馬克回覆說<ref name="Tegmark2008" />{{Rp|at=sec. V.E}} 所有宇宙中的物理自由度、物理常數和定理等自由變量的變化的[[数学构成主义]]形式測量在[[弦論地景]] 尚未被建構,因此這個不該被視為反駁的理由。
泰格馬克回覆說<ref name="Tegmark2008" />{{Rp|at=sec. V.E}}所有宇宙中的物理自由度、物理常數和定理等自由變量的變化的[[数学构成主义]]形式測量在[[弦論地景]]尚未被建構,因此這個不該被視為反駁的理由。


===和哥德尔不完备定理的一致性===
===和哥德尔不完备定理的一致性===
{{See also|Consistency|Gödel's completeness theorem}}
{{See also|一致性 (邏輯)|哥德尔完备性定理}}
數學宇宙假說也被指出和[[哥德尔不完备定理]]不一致。在泰格馬克、他的同事皮特赫特和馬克阿爾弗德的三方辯論中,<ref name='HAT'>{{cite journal | last1 = Hut | first1 = P. | last2 = Alford | first2 = M. | last3 = Tegmark | first3 = M. | year = 2006 | title = On Math, Matter and Mind | journal = Foundations of Physics | volume = 36 | issue = 6| pages = 765–94 |arxiv = physics/0510188 |bibcode = 2006FoPh...36..765H |doi = 10.1007/s10701-006-9048-x | s2cid = 17559900 }}</ref> 阿爾弗德提出「形式主義者的方法不能證明在足夠強大的系統中的所有理論……。數學是外在的這種想法和數學構成一個系統的想法是不相容的」
數學宇宙假說也被指出和[[哥德尔不完备定理]]不一致。在泰格馬克、他的同事皮特赫特和馬克阿爾弗德的三方辯論中,<ref name='HAT'>{{cite journal | last1 = Hut | first1 = P. | last2 = Alford | first2 = M. | last3 = Tegmark | first3 = M. | year = 2006 | title = On Math, Matter and Mind | journal = Foundations of Physics | volume = 36 | issue = 6| pages = 765–94 |arxiv = physics/0510188 |bibcode = 2006FoPh...36..765H |doi = 10.1007/s10701-006-9048-x | s2cid = 17559900 }}</ref>阿爾弗德提出「形式主義者的方法不能證明在足夠強大的系統中的所有理論……。數學是外在的這種想法和數學構成一個系統的想法是不相容的」


泰格馬克的回覆<ref name="HAT"/>{{Rp|at=sec VI.A.1}} 給出了一個新的假設,「只有歌德爾完備數學結構({{tsl|en|Decidability (logic)||fully decidable}})是物理上存在。 這個假設大幅地縮小了第四類多重宇宙,替複雜度給出了一個上界,並且可能能解釋我們宇宙為何相對的簡單。」泰格馬克繼續說明,雖然傳統的物理理論是歌德爾不可判定的,但真正解釋宇宙的數學結構仍然可以是歌德爾完備的,並且「理論上能夠包含觀測者,這些觀測者能思考歌德爾不完備數學,就像[[图灵机]]可以證明某些關於歌德爾不完備系統的定理,像是[[皮亚诺公理]]。」 在 <ref name="Tegmark2008"/>{{Rp|at=sec. VII}} 中,他給出更仔細的回覆,他提出比數學宇宙假說更嚴謹的變化「可計算宇宙假說」中,他給出更仔細的回覆,他提出比數學宇宙假說更嚴謹的變化「可計算宇宙假說」,這個假說只包含那些足夠簡單的數學結構,簡單到歌德爾定理不需要它們去給出任何不可判定或不可計算的定理。
泰格馬克的回覆<ref name="HAT"/>{{Rp|at=sec VI.A.1}}給出了一個新的假設,「只有歌德爾完備數學結構{{tsl|en|Decidability (logic)||完全可選擇的}}是物理上存在。這個假設大幅地縮小了第四類多重宇宙,替複雜度給出了一個上界,並且可能能解釋我們宇宙為何相對的簡單。」泰格馬克繼續說明,雖然傳統的物理理論是歌德爾不可判定的,但真正解釋宇宙的數學結構仍然可以是歌德爾完備的,並且「理論上能夠包含觀測者,這些觀測者能思考歌德爾不完備數學,就像[[图灵机]]可以證明某些關於歌德爾不完備系統的定理,像是[[皮亚诺公理]]。」在 <ref name="Tegmark2008"/>{{Rp|at=sec. VII}}中,他給出更仔細的回覆,他提出比數學宇宙假說更嚴謹的變化「可計算宇宙假說」,這個假說只包含那些足夠簡單的數學結構,簡單到歌德爾定理不需要它們去給出任何不可判定或不可計算的定理。泰格馬克承認這個方法是備受挑戰的,像是它排除了大部分的數學架構,理論本身的測量可能是不可計算的以及幾乎所有歷史上成功的定理都違反可計算宇宙假說
泰格馬克承認這個方法是備受挑戰的,像是它排除了大部分的數學架構,理論本身的測量可能是不可計算的以及幾乎所有歷史上成功的定理都違反可計算宇宙假說。


===可觀測性===
===可觀測性===
斯托格、埃利斯和基爾徹<ref>W. R. Stoeger, {{tsl|en|George F. R. Ellis||G. F. R. Ellis}}, U. Kirchner (2006) "[https://arxiv.org/abs/astro-ph/0407329 Multiverses and Cosmology: Philosophical Issues.]"</ref>{{Rp|at=sec. 7}} 提出在一個真正的多重宇宙理論中,不同宇宙是完全沒交集的,在不同宇宙發生的事件是完全沒連結的。這種缺乏因果關係的性質使得多重宇宙論沒有任何科學依據。 埃利斯<ref>G.F.R. Ellis, "83 years of general relativity and cosmology: Progress and problems", Class. Quantum Grav. 16, A37-A75, 1999</ref>{{Rp|page=29}}特別地批評了數學宇宙假說,指出儘管存在一些有希望的備註,但完全無關聯的宇宙的無限系綜是完全不可測試的。
斯托格、埃利斯和基爾徹<ref>W. R. Stoeger, [[George F. R. Ellis|G. F. R. Ellis]], U. Kirchner (2006) "[https://arxiv.org/abs/astro-ph/0407329 Multiverses and Cosmology: Philosophical Issues.] {{Wayback|url=https://arxiv.org/abs/astro-ph/0407329 |date=20221006033624 }}"</ref>{{Rp|at=sec. 7}} 提出在一個真正的多重宇宙理論中,不同宇宙是完全沒交集的,在不同宇宙發生的事件是完全沒連結的。這種缺乏因果關係的性質使得多重宇宙論沒有任何科學依據。埃利斯<ref>G.F.R. Ellis, "83 years of general relativity and cosmology: Progress and problems", Class. Quantum Grav. 16, A37-A75, 1999</ref>{{Rp|page=29}}特別地批評了數學宇宙假說,指出儘管存在一些有希望的備註,但完全無關聯的宇宙的無限系綜是完全不可測試的。泰格馬克為了維持數學宇宙假說是[[可測試性]],他提出了一些預測,1.物理研究會發現自然中的數學規律。2.假設我們活在一個數學結構中的多重宇宙中的典型宇宙,我們可以透過評估我們所在的宇宙是多典型來測試多重宇宙。<ref name="Tegmark2008"/>{{Rp|at=sec. VIII.C}}
泰格馬克為了維持數學宇宙假說是[[可測試性]],他提出了一些預測,1.物理研究會發現自然中的數學規律。2.假設我們活在一個數學結構中的多重宇宙中的典型宇宙,我們可以透過評估我們所在的宇宙是多典型來測試多重宇宙。<ref name="Tegmark2008"/>{{Rp|at=sec. VIII.C}}


===和其他數學結構的共存===
===和其他數學結構的共存===
[[唐·佩吉 (物理學家)]]曾經爭論說:<ref>D. Page, "[https://arxiv.org/abs/hep-th/0610101 Predictions and Tests of Multiverse Theories.]"</ref>{{Rp|at=sec 4}} 「在最終層級中只存在唯一的宇宙,並且如果數學結構是寬廣到包含所有可能的世界或至少我們的世界,那麼一定存在一個唯一的數學結構能描述終極現實。所以我覺得在和其他數學結構共存的意義上去談論第四類多重宇宙是邏輯上無意義的。」 這個的意思是只存在一個數學結構庫。泰格馬克回覆:<ref name="Tegmark2008"/>{{Rp|sec. V.E}}「這個和第四類的不一致比感覺起來的要少,因為很多數學結構能分解成不相關的子結構,而且不同的結構能夠被統一。」
[[唐·佩吉 (物理學家)|唐·佩吉]]曾經爭論說<ref>D. Page, "[https://arxiv.org/abs/hep-th/0610101 Predictions and Tests of Multiverse Theories.] {{Wayback|url=https://arxiv.org/abs/hep-th/0610101 |date=20220407175600 }}"</ref>{{Rp|at=sec 4}}「在最終層級中只存在唯一的宇宙,並且如果數學結構是寬廣到包含所有可能的世界或至少我們的世界,那麼一定存在一個唯一的數學結構能描述終極現實。所以我覺得在和其他數學結構共存的意義上去談論第四類多重宇宙是邏輯上無意義的。」這個的意思是只存在一個數學結構庫。泰格馬克回覆<ref name="Tegmark2008"/>{{Rp|sec. V.E}}「這個和第四類的不一致比感覺起來的要少,因為很多數學結構能分解成不相關的子結構,而且不同的結構能夠被統一。」


===和我們的簡單宇宙的一致性===
===和我們的簡單宇宙的一致性===
[[亚历山大·维连金]]評論說: <ref name="Vilenkin2006">A. Vilenkin (2006) ''Many Worlds in One: The Search for Other Universes''. Hill and Wang, New York.</ref>{{Rp|at=Ch. 19, p.&nbsp;203}} 「數學結構的數量會隨著複雜度的提升而提升,顯示典型的結構會非常大且繁瑣。這和描述我們宇宙的漂亮、簡潔的理論有衝突。」他繼續補充,<ref name="Vilenkin2006" />{{Rp|at=footnote 8, p.&nbsp;222}} 泰格馬克對於這個問題的解答,分配給較複雜結構較少的權重<ref name="Tegmark2003"/>{{Rp|at=sec. V.B}} 看似隨機並且可能會邏輯上不一致(貌似會推論出額外的數學結構,但所有的數學結構應該皆存在於系統中)。
[[亚历山大·维连金]]評論說<ref name="Vilenkin2006">A. Vilenkin (2006) ''Many Worlds in One: The Search for Other Universes''. Hill and Wang, New York.</ref>{{Rp|at=Ch. 19, p.&nbsp;203}}「數學結構的數量會隨著複雜度的提升而提升,顯示典型的結構會非常大且繁瑣。這和描述我們宇宙的漂亮、簡潔的理論有衝突。」他繼續補充,<ref name="Vilenkin2006" />{{Rp|at=footnote 8, p.&nbsp;222}}泰格馬克對於這個問題的解答,分配給較複雜結構較少的權重<ref name="Tegmark2003"/>{{Rp|at=sec. V.B}}看似隨機並且可能會邏輯上不一致(貌似會推論出額外的數學結構,但所有的數學結構應該皆存在於系統中)。


===奥卡姆剃刀===
===奥卡姆剃刀===
泰格馬克曾被批評為誤解了奧卡姆剃刀的本質和應用。 {{tsl|en|Massimo Pigliucci||Massimo Pigliucci}} 提醒: 「[[奥卡姆剃刀]] 只是 [[启发法]],他不該被用來決定那些理論是對的。」<ref>{{cite web|url=http://www.science20.com/rationally_speaking/mathematical_universe_i_ain%E2%80%99t_convinced-127841|title=Mathematical Universe? I Ain't Convinced|work=Science 2.0|date=27 August 2014}}</ref>
泰格馬克曾被批評為誤解了奧卡姆剃刀的本質和應用。{{tsl|en|Massimo Pigliucci|馬西莫·皮戈里奇}}提醒「[[奥卡姆剃刀]]只是[[启发法]],他不該被用來決定那些理論是對的。」<ref>{{cite web|url=http://www.science20.com/rationally_speaking/mathematical_universe_i_ain%E2%80%99t_convinced-127841|title=Mathematical Universe? I Ain't Convinced|work=Science 2.0|date=27 August 2014|access-date=2022-01-02|archive-date=2022-05-05|archive-url=https://web.archive.org/web/20220505033408/https://www.science20.com/rationally_speaking/mathematical_universe_i_ain%E2%80%99t_convinced-127841|dead-url=no}}</ref>


==See also==
==參見==
{{Portal|Physics}}
{{Portal|物理|數學|哲學}}
{{cols|colwidth=21em}}
*[[抽象对象理论]]
*[[抽象对象理论]]
*[[人择原理]]
*[[人择原理]]
*[[邱奇-图灵论题]]
*[[邱奇-图灵论题]]
*[[數碼物理學]]
*[[數碼物理學]]
*{{tsl|en|Impossible world|不可能的世界}}
**[[數碼物理學]]
*{{tsl|en|Impossible world||Impossible world}}
*{{tsl|en|Mathematicism|數學主義}}
*{{tsl|en|Mathematicism||Mathematicism}}
*[[模态实在论]]
*[[模态实在论]]
*[[本体论 (哲学)]]
*[[本体论 (哲学)]]
*''{{tsl|en|Permutation City||置換城市}}''
*{{tsl|en|Permutation City|置換城市}}
*{{tsl|en|Russell K. Standish||羅素·斯坦迪什}}
*{{tsl|en|Russell K. Standish|羅素·斯坦迪什}}
*{{tsl|en|Structuralism (philosophy of science)||結構主義(科學哲學)}}
*{{tsl|en|Structuralism (philosophy of science)|結構主義 (科學哲學)}}
*"{{tsl|en|The Unreasonable Effectiveness of Mathematics in the Natural Sciences||在自然科學中數學的有效性}}"
*{{tsl|en|The Unreasonable Effectiveness of Mathematics in the Natural Sciences|在自然科學中數學的有效性}}
{{colend}}
{{colend}}


==References==
==參考資料==
{{Reflist|30em}}
{{Reflist|30em}}


==Sources==
==參考文獻==
*''{{tsl|en|Our Mathematical Universe||Our Mathematical Universe}}'': [[马克斯·泰格马克]]在書中描述他的理論,在2014年1月7日發表
*{{tsl|en|Our Mathematical Universe|我們的數學宇宙}}》:2014年1月7日出版,[[马克斯·泰格马克]]在書中描述他的理論。


==Further reading==
==延伸閱讀==
*[[于尔根·施密德胡伯]] (1997) "[http://www.idsia.ch/~juergen/everything/ A Computer Scientist's View of Life, the Universe, and Everything]" in C. Freksa, ed., ''Foundations of Computer Science: Potential - Theory - Cognition''. Lecture Notes in Computer Science, Springer: p.&nbsp;201-08.
*[[于尔根·施密德胡伯]] (1997) "[http://www.idsia.ch/~juergen/everything/ A Computer Scientist's View of Life, the Universe, and Everything] {{Wayback|url=http://www.idsia.ch/~juergen/everything/ |date=20140227162350 }}" in C. Freksa, ed., ''Foundations of Computer Science: Potential - Theory - Cognition''. Lecture Notes in Computer Science, Springer: p.&nbsp;201-08.
*{{cite journal | last1 = Tegmark | first1 = Max | author-link = Max Tegmark | year = 1998 | title = Is the 'theory of everything' merely the ultimate ensemble theory? | journal = Annals of Physics | volume = 270 | issue = 1| pages = 1–51 |arxiv = gr-qc/9704009 |bibcode = 1998AnPhy.270....1T |doi = 10.1006/aphy.1998.5855 | s2cid = 41548734 }}
*{{cite journal | last1 = Tegmark | first1 = Max | author-link = Max Tegmark | year = 1998 | title = Is the 'theory of everything' merely the ultimate ensemble theory? | journal = Annals of Physics | volume = 270 | issue = 1| pages = 1–51 |arxiv = gr-qc/9704009 |bibcode = 1998AnPhy.270....1T |doi = 10.1006/aphy.1998.5855 | s2cid = 41548734 }}
*{{cite journal | last1 = Tegmark | first1 = Max | year = 2008 | title = The Mathematical Universe | journal = {{tsl|en|Foundations of Physics||Foundations of Physics}} | volume = 38 | issue = 2| pages = 101–50 | doi = 10.1007/s10701-007-9186-9 | arxiv = 0704.0646 | bibcode = 2008FoPh...38..101T | s2cid = 9890455 }}
*{{cite journal | last1 = Tegmark | first1 = Max | year = 2008 | title = The Mathematical Universe | journal = {{tsl|en|Foundations of Physics||Foundations of Physics}} | volume = 38 | issue = 2| pages = 101–50 | doi = 10.1007/s10701-007-9186-9 | arxiv = 0704.0646 | bibcode = 2008FoPh...38..101T | s2cid = 9890455 }}
*Tegmark, Max (2014), ''Our Mathematical Universe: My Quest for the Ultimate Nature of Reality'', {{ISBN|978-0-307-59980-3}}
*Tegmark, Max (2014), ''Our Mathematical Universe: My Quest for the Ultimate Nature of Reality'', {{ISBN|978-0-307-59980-3}}
*{{tsl|en|Peter Woit||Woit, P.}} (17 January 2014), "[https://www.wsj.com/news/articles/SB10001424052702303393804579310720208417980 Book Review: 'Our Mathematical Universe' by Max Tegmark]", ''[[华尔街日报]]''.
*{{tsl|en|Peter Woit||Woit, P.}} (17 January 2014), "[https://www.wsj.com/news/articles/SB10001424052702303393804579310720208417980 Book Review: 'Our Mathematical Universe' by Max Tegmark] {{Wayback|url=https://www.wsj.com/news/articles/SB10001424052702303393804579310720208417980 |date=20161024235952 }}", ''[[华尔街日报]]''.
*Hamlin, Colin (2017). "Towards a Theory of Universes: Structure Theory and the Mathematical Universe Hypothesis". ''Synthese'' 194 (581–591). https://link.springer.com/article/10.1007/s11229-015-0959-y
*Hamlin, Colin (2017). "Towards a Theory of Universes: Structure Theory and the Mathematical Universe Hypothesis". ''Synthese'' 194 (581–591). https://link.springer.com/article/10.1007/s11229-015-0959-y {{Wayback|url=https://link.springer.com/article/10.1007/s11229-015-0959-y |date=20220120202357 }}


==External links==
==外部連結==
*[[于尔根·施密德胡伯]] "[http://www.idsia.ch/~juergen/computeruniverse.html The ensemble of universes describable by constructive mathematics.]"
*[[于尔根·施密德胡伯]]"[http://www.idsia.ch/~juergen/computeruniverse.html The ensemble of universes describable by constructive mathematics.] {{Wayback|url=http://www.idsia.ch/~juergen/computeruniverse.html |date=20140331144802 }}"
*[http://space.mit.edu/home/tegmark/toe_frames.html Page maintained by Max Tegmark] 馬克斯·泰格馬克的文章。
*[http://space.mit.edu/home/tegmark/toe_frames.html Page maintained by Max Tegmark] {{Wayback|url=http://space.mit.edu/home/tegmark/toe_frames.html |date=20210205064329 }} 馬克斯·泰格馬克的文章。
*"[http://www.weidai.com/everything.html The 'Everything' mailing list]" 討論所有可能存在的宇宙。
*"[http://www.weidai.com/everything.html The 'Everything' mailing list] {{Wayback|url=http://www.weidai.com/everything.html |date=20161022125858 }}" 討論所有可能存在的宇宙。
*"[http://discovermagazine.com/2008/jul/16-is-the-universe-actually-made-of-math Is the universe actually made of math?]" 在''[[发现 (杂志)]]''中和馬克斯·泰格馬克的訪談。
*"[http://discovermagazine.com/2008/jul/16-is-the-universe-actually-made-of-math Is the universe actually made of math?] {{Wayback|url=http://discovermagazine.com/2008/jul/16-is-the-universe-actually-made-of-math |date=20141031074213 }}" 在[[发现 (杂志)|发现]]》杂志中和馬克斯·泰格馬克的訪談。
*[http://richardcarrier.blogspot.de/2007/10/our-mathematical-universe.html Richard Carrier Blogs: Our Mathematical Universe]
*[http://richardcarrier.blogspot.de/2007/10/our-mathematical-universe.html Richard Carrier Blogs: Our Mathematical Universe] {{Wayback|url=http://richardcarrier.blogspot.de/2007/10/our-mathematical-universe.html |date=20180204182533 }}
*[https://www.samharris.org/podcast/item/the-multiverse-you-you-you-you Interview with Sam Harris] 馬克斯·泰格馬克和哈利斯討論數學,多重宇宙和人工智慧的功效。
*[https://www.samharris.org/podcast/item/the-multiverse-you-you-you-you Interview with Sam Harris] {{Wayback|url=https://www.samharris.org/podcast/item/the-multiverse-you-you-you-you |date=20170825190356 }} 馬克斯·泰格馬克和哈利斯討論數學,多重宇宙和人工智慧的功效。


[[Category:本体论]]
{{tsl|en|Category:Abstract object theory||抽象對象理論}}
[[Category:理论物理]]
[[Category:理论物理]]
[[Category:物理宇宙学]]
[[Category:物理宇宙学]]
[[Category:本体论]]
{{tsl|en|Multiverse||多重宇宙}}

2024年9月22日 (日) 17:25的最新版本

数学宇宙假说(英語:Mathematical universe hypothesis,简称MUH),又称为终极系综理論Ultimate ensemble theory),是美国宇宙学家麻省理工学院教授马克斯·泰格马克提出的一种万有理论[1][2]

泰格马克认为,物理实在即是数学结构,一切数学结构都是物理存在的。对于那些足够复杂以至拥有自我意识子结构self-aware substructures,简称SAS)的数学结构而言,这些子结构(如人类意识)能够主观感知到自己存在于一个物理“真实”的世界中。[3][4]

在泰格马克提出的四层多重宇宙論中,最高层(第四层)平行宇宙即是指拥有不同数学结构的平行宇宙,每种数学结构都对应着一个平行宇宙。[2]

敘述

[编辑]

泰格馬克的數學宇宙假說認為:「物理的客觀現實是一種數學結構。」[3]換句話說,宇宙中的物理不僅僅是用數學描述,而本身就是數學(具體來說,是数学结构)。數學上存在即為物理上存在。觀測者,包括人類,被稱作自我意識子結構(self-aware substructures,簡稱SAS)。在任何足夠複雜到能包含自我意識子結構的數學結構,那些自我意識子結構可以主觀的認為自己活在一個真實的物理世界。[4]

這個數學宇宙假說提出了數學實體是存在的,因此可以被視作毕达哥拉斯主义柏拉图主义的另一種形式;它也認為除了數學物件外不存在其他任何事物,因此可以被視作数学哲学的另一種形式;它也可以被視為本體結構現實主義英语Structuralism (philosophy of science)形式上的表達。

泰格馬克聲稱這個假說不包含任何自由變數也不是排除可觀測性。因此,他認為數學宇宙假說比奥卡姆剃刀更好。泰格馬克也考慮過添加第二個假設,添加後的假說是可計算宇宙假說,它說物理的客觀現實的數學結構是被可计算函数定義的。[5]

數學宇宙假說和泰格馬克提出的四層多重宇宙論有關。[6]四層多重宇宙論假設平行宇宙有一個多樣性的層級,第一類是只有初始狀態不同,第二類增加了物理常數的不同,第三類是艾弗雷特的多世界詮釋,第四類是所有的物理定律皆不同。

批評和回覆

[编辑]

倫敦伦敦帝国学院安德烈亚斯·阿尔布雷克特認為數學宇宙假說是一些重要的物理問題的啟發性的解答。但他不敢說他相信數學宇宙假說,他補充說構造一個包含萬物的理論是很難的。[7]

系綜的定義

[编辑]

于尔根·施密德胡伯[8]認為『雖然泰格馬克提出「……所有數學結構都是相同的統計權重」,但沒有方法能分配相同且不為0的機率到所有數學結構。』施密德胡伯提出另一個更嚴格的系綜,他認為宇宙只能夠只被数学构成主义描述,也就是,计算机程序。他明確地給出一個例子,宇宙的表現能被在有限時間中輸出會收斂的不停機程式描述,縱使時間本身的收斂性是不能被停機程式預測(停机问题中的不可判定问题)。[8][9]

泰格馬克回覆說[3](sec. V.E)所有宇宙中的物理自由度、物理常數和定理等自由變量的變化的数学构成主义形式測量在弦論地景尚未被建構,因此這個不該被視為反駁的理由。

和哥德尔不完备定理的一致性

[编辑]

數學宇宙假說也被指出和哥德尔不完备定理不一致。在泰格馬克、他的同事皮特赫特和馬克阿爾弗德的三方辯論中,[10]阿爾弗德提出「形式主義者的方法不能證明在足夠強大的系統中的所有理論……。數學是外在的這種想法和數學構成一個系統的想法是不相容的」

泰格馬克的回覆[10](sec VI.A.1)給出了一個新的假設,「只有歌德爾完備數學結構(完全可選擇的英语Decidability (logic))是物理上存在。這個假設大幅地縮小了第四類多重宇宙,替複雜度給出了一個上界,並且可能能解釋我們宇宙為何相對的簡單。」泰格馬克繼續說明,雖然傳統的物理理論是歌德爾不可判定的,但真正解釋宇宙的數學結構仍然可以是歌德爾完備的,並且「理論上能夠包含觀測者,這些觀測者能思考歌德爾不完備數學,就像图灵机可以證明某些關於歌德爾不完備系統的定理,像是皮亚诺公理。」在 [3](sec. VII)中,他給出更仔細的回覆,他提出比數學宇宙假說更嚴謹的變化「可計算宇宙假說」,這個假說只包含那些足夠簡單的數學結構,簡單到歌德爾定理不需要它們去給出任何不可判定或不可計算的定理。泰格馬克承認這個方法是備受挑戰的,像是它排除了大部分的數學架構,理論本身的測量可能是不可計算的以及幾乎所有歷史上成功的定理都違反可計算宇宙假說。

可觀測性

[编辑]

斯托格、埃利斯和基爾徹[11](sec. 7) 提出在一個真正的多重宇宙理論中,不同宇宙是完全沒交集的,在不同宇宙發生的事件是完全沒連結的。這種缺乏因果關係的性質使得多重宇宙論沒有任何科學依據。埃利斯[12](p. 29)特別地批評了數學宇宙假說,指出儘管存在一些有希望的備註,但完全無關聯的宇宙的無限系綜是完全不可測試的。泰格馬克為了維持數學宇宙假說是可測試性,他提出了一些預測,1.物理研究會發現自然中的數學規律。2.假設我們活在一個數學結構中的多重宇宙中的典型宇宙,我們可以透過評估我們所在的宇宙是多典型來測試多重宇宙。[3](sec. VIII.C)

和其他數學結構的共存

[编辑]

唐·佩吉曾經爭論說:[13](sec 4)「在最終層級中只存在唯一的宇宙,並且如果數學結構是寬廣到包含所有可能的世界或至少我們的世界,那麼一定存在一個唯一的數學結構能描述終極現實。所以我覺得在和其他數學結構共存的意義上去談論第四類多重宇宙是邏輯上無意義的。」這個的意思是只存在一個數學結構庫。泰格馬克回覆:[3]:sec. V.E「這個和第四類的不一致比感覺起來的要少,因為很多數學結構能分解成不相關的子結構,而且不同的結構能夠被統一。」

和我們的簡單宇宙的一致性

[编辑]

亚历山大·维连金評論說:[14](Ch. 19, p. 203)「數學結構的數量會隨著複雜度的提升而提升,顯示典型的結構會非常大且繁瑣。這和描述我們宇宙的漂亮、簡潔的理論有衝突。」他繼續補充,[14](footnote 8, p. 222)泰格馬克對於這個問題的解答,分配給較複雜結構較少的權重[6](sec. V.B)看似隨機並且可能會邏輯上不一致(貌似會推論出額外的數學結構,但所有的數學結構應該皆存在於系統中)。

奥卡姆剃刀

[编辑]

泰格馬克曾被批評為誤解了奧卡姆剃刀的本質和應用。馬西莫·皮戈里奇英语Massimo Pigliucci提醒:「奥卡姆剃刀只是启发法,他不該被用來決定那些理論是對的。」[15]

參見

[编辑]

參考資料

[编辑]
  1. ^ Tegmark, Max. Is "the Theory of Everything" Merely the Ultimate Ensemble Theory?. Annals of Physics. November 1998, 270 (1): 1–51. Bibcode:1998AnPhy.270....1T. S2CID 41548734. arXiv:gr-qc/9704009可免费查阅. doi:10.1006/aphy.1998.5855. 
  2. ^ 2.0 2.1 M. Tegmark 2014, "Our Mathematical Universe[永久失效連結]", Knopf
  3. ^ 3.0 3.1 3.2 3.3 3.4 3.5 Tegmark, Max. The Mathematical Universe. Foundations of Physics. February 2008, 38 (2): 101–150. Bibcode:2008FoPh...38..101T. S2CID 9890455. arXiv:0704.0646可免费查阅. doi:10.1007/s10701-007-9186-9. 
  4. ^ 4.0 4.1 Tegmark (1998), p. 1.
  5. ^ Tegmark, Max. The Mathematical Universe. Foundations of Physics. 2008, 38 (2): 101–150. Bibcode:2008FoPh...38..101T. S2CID 9890455. arXiv:0704.0646可免费查阅. doi:10.1007/s10701-007-9186-9. 
  6. ^ 6.0 6.1 Tegmark, Max. Parallel Universes. Scientific American. 2003, 288 (5): 40–51. Bibcode:2003SciAm.288e..40T. PMID 12701329. arXiv:astro-ph/0302131可免费查阅. doi:10.1038/scientificamerican0503-40. 
  7. ^ Chown, Markus. Anything goes. 新科學人. June 1998, 158 (2157) [2022-01-02]. (原始内容存档于2014-03-31). 
  8. ^ 8.0 8.1 于尔根·施密德胡伯 (2000) "Algorithmic Theories of Everything.页面存档备份,存于互联网档案馆)"
  9. ^ Schmidhuber, J. Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit. International Journal of Foundations of Computer Science. 2002, 13 (4): 587–612 [2022-01-02]. Bibcode:2000quant.ph.11122S. arXiv:quant-ph/0011122可免费查阅. doi:10.1142/S0129054102001291. (原始内容存档于2006-05-18). 
  10. ^ 10.0 10.1 Hut, P.; Alford, M.; Tegmark, M. On Math, Matter and Mind. Foundations of Physics. 2006, 36 (6): 765–94. Bibcode:2006FoPh...36..765H. S2CID 17559900. arXiv:physics/0510188可免费查阅. doi:10.1007/s10701-006-9048-x. 
  11. ^ W. R. Stoeger, G. F. R. Ellis, U. Kirchner (2006) "Multiverses and Cosmology: Philosophical Issues.页面存档备份,存于互联网档案馆)"
  12. ^ G.F.R. Ellis, "83 years of general relativity and cosmology: Progress and problems", Class. Quantum Grav. 16, A37-A75, 1999
  13. ^ D. Page, "Predictions and Tests of Multiverse Theories.页面存档备份,存于互联网档案馆)"
  14. ^ 14.0 14.1 A. Vilenkin (2006) Many Worlds in One: The Search for Other Universes. Hill and Wang, New York.
  15. ^ Mathematical Universe? I Ain't Convinced. Science 2.0. 27 August 2014 [2022-01-02]. (原始内容存档于2022-05-05). 

參考文獻

[编辑]

延伸閱讀

[编辑]
  • 于尔根·施密德胡伯 (1997) "A Computer Scientist's View of Life, the Universe, and Everything页面存档备份,存于互联网档案馆)" in C. Freksa, ed., Foundations of Computer Science: Potential - Theory - Cognition. Lecture Notes in Computer Science, Springer: p. 201-08.
  • Tegmark, Max. Is the 'theory of everything' merely the ultimate ensemble theory?. Annals of Physics. 1998, 270 (1): 1–51. Bibcode:1998AnPhy.270....1T. S2CID 41548734. arXiv:gr-qc/9704009可免费查阅. doi:10.1006/aphy.1998.5855. 
  • Tegmark, Max. The Mathematical Universe. Foundations of Physics英语Foundations of Physics. 2008, 38 (2): 101–50. Bibcode:2008FoPh...38..101T. S2CID 9890455. arXiv:0704.0646可免费查阅. doi:10.1007/s10701-007-9186-9. 
  • Tegmark, Max (2014), Our Mathematical Universe: My Quest for the Ultimate Nature of Reality, ISBN 978-0-307-59980-3
  • Woit, P.英语Peter Woit (17 January 2014), "Book Review: 'Our Mathematical Universe' by Max Tegmark页面存档备份,存于互联网档案馆)", 华尔街日报.
  • Hamlin, Colin (2017). "Towards a Theory of Universes: Structure Theory and the Mathematical Universe Hypothesis". Synthese 194 (581–591). https://link.springer.com/article/10.1007/s11229-015-0959-y页面存档备份,存于互联网档案馆

外部連結

[编辑]