纯数学中的停机概率Ω:不可约复杂性

摘要:哥德尔百年纪念的一些思考:不完备性是否真的严重以及数学是否应该根据使用位信息的算法复杂度来进行一些不同方式的处理

作者:G. J. Chaitin (IBM Research)

论文ID:math/0611740

分类:History and Overview

分类简称:math.HO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中