跳转到内容

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

维基百科,自由的百科全书
删除的内容 添加的内容
Wynezan1010留言 | 贡献
Wynezan1010留言 | 贡献
第41行: 第41行:
==See also==
==See also==
{{Portal|Physics}}
{{Portal|Physics}}
{{cols|colwidth=21em}}
*[[抽象对象理论]]
*[[抽象对象理论]]
*[[人择原理]]
*[[人择原理]]

2022年1月17日 (一) 02:48的版本

物理学宇宙学中,數學宇宙假說,又稱為終極系綜理論,是宇宙學家马克斯·泰格马克提出的万有理论[1][2]

敘述

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

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

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

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

批評和回覆

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

系綜的定義

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

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

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

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

泰格馬克的回覆[10](sec VI.A.1) 給出了一個新的假設,「只有歌德爾完備數學結構(fully decidable英语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英语Massimo Pigliucci 提醒: 「奥卡姆剃刀 只是 启发法,他不該被用來決定那些理論是對的。」[15]

See also

References

  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. ^ M. Tegmark 2014, "Our Mathematical Universe", Knopf
  3. ^ 3.0 3.1 3.2 3.3 3.4 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. ^ 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). 
  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. Bibcode:2000quant.ph.11122S. arXiv:quant-ph/0011122可免费查阅. doi:10.1142/S0129054102001291. 
  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. 

Sources

Further reading

  • 于尔根·施密德胡伯 (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

抽象對象理論英语Category:Abstract object theory 多重宇宙英语Multiverse