搜索结果: 1-1 共查到“理学 Incompleteness Theorem”相关记录1条 . 查询时间(0.07 秒)
The Surprise Examination Paradox and the Second Incompleteness Theorem
The Surprise Examination Paradox Incompleteness Theorem
2010/11/24
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We the...