数学基础
摘要：用算法和信息的概念证明数学基础的论文讨论。第一部分是回顾性的，介绍了一项优雅的古老的哥德尔证明，第一个现代不完全性定理，图灵停机问题以及一部分后现代的元数学，即停机概率Omega。第二部分展望了新世纪，并讨论了理论物理和理论计算机科学的融合，并希望在理论生物学中再次出现算法和信息的概念。
作者：G. J. Chaitin (IBM Research)
论文ID：math/0203002
分类：History and Overview
分类简称：math.HO
提交时间：2007-05-23