ゲーデル不完全性定理

ゲーデル不完全性定理
复制标题

哥德尔不完备定理

DOI:
--
复制
发表时间:
2006
期刊:
影响因子:
--
通讯作者:
八杉満利子(訳・解説)
八杉満利子(訳・解説)
中科院分区:
--
文献类型:
--
作者:
林晋;八杉満利子(訳・解説)

文献摘要

参考文献

相似文献

策梅洛集合论的细长模型
DOI: 10.2307/2695026
发表时间: 2001
期刊: Journal of Symbolic Logic (JSL)
影响因子: --
作者:
A. R. D. Mathias
通讯作者: A. R. D. Mathias
希尔伯特纲领的部分实现
DOI: 10.1017/s0022481200028309
发表时间: 1988
影响因子: 0.6
作者:
S. G. Simpson
通讯作者: S. G. Simpson
不相容的 Ω 完全理论
DOI: 10.2178/jsl/1254748685
发表时间: 2009
期刊: The Journal of Symbolic Logic
影响因子: --
作者:
P. Koellner;W. Woodin
通讯作者: W. Woodin
什么是初等几何
DOI: 10.1016/s0049-237x(09)70017-5
发表时间: 1959
期刊: Studies in logic and the foundations of mathematics
影响因子: --
作者:
A. Tarski
通讯作者: A. Tarski
无限的存在
DOI: --
发表时间: --
期刊:
影响因子: --
作者:
D. Hilbert
通讯作者: D. Hilbert