作为信息论的认识论：从莱布尼茨到Omega
历史与综述
2007-05-23 v2
摘要
1686年，莱布尼茨在其《形而上学论》中指出，如果允许任意复杂的理论，那么“理论”这一概念就变得空洞，因为总存在一个理论。这一思想在现代算法信息论中得到发展，该理论研究计算机程序的大小，并对Godel的不完备性与Turing的不可计算性工作提供了新视角。特别令人感兴趣的是停机概率Omega，其比特是不可归约的，即极大不可知的数学事实。更一般地，这些思想构成了一种“数字哲学”，关联到Edward Fredkin、Stephen Wolfram等人近期将世界视为巨型计算机的尝试。它们也与近期“数字物理”猜想（宇宙或许是离散而非连续的）有联系。这一系统世界在我将于今秋出版的著作Meta Math!中作为连贯整体呈现。
引用
@article{arxiv.math/0506552,
title = {Epistemology as Information Theory: From Leibniz to Omega},
author = {G. J. Chaitin},
journal= {arXiv preprint arXiv:math/0506552},
year = {2007}
}
备注
Alan Turing Lecture on Computing and Philosophy, E-CAP'05