期刊
MATHEMATICAL LOGIC QUARTERLY
卷 58, 期 4-5, 页码 307-316出版社
WILEY-V C H VERLAG GMBH
DOI: 10.1002/malq.201110067
关键词
The Incompleteness Theorems; Berry's Paradox; Kolmogorov Complexity
类别
资金
- Grants-in-Aid for Scientific Research [23740076, 24540125] Funding Source: KAKEN
By formalizing Berry's paradox, Vopenka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show also that Vopenka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据