On the incompleteness theorems

On the incompleteness theorems
复制标题

关于不完备性定理

DOI:
--
复制
发表时间:
1994
期刊:
Journal of Symbolic Logic (JSL)
影响因子:
--
通讯作者:
H. Kotlarski
H. Kotlarski
中科院分区:
--
文献类型:
--
作者:
H. Kotlarski

文献摘要

被引文献

相似文献

摘要给出了两个不完备定理的新证明。我们不使用对角化引理,而是使用一些快速增长的函数。
Abstract We give new proofs of both incompleteness theorems. We do not use the diagonalization lemma, but work with some quickly growing functions instead.