图灵上帝派来的电脑精灵

答案也许很困难，但是理论上总有一个确定的答案，要么是真的，要么是假的。
　　然而数学家哥德尔的不完全性定理指出，在一个稍微复杂一点的数学公理系统中，总存在那样的命题，我们既不能证明它是真的，也不能证明它是假的。数学家们大吃一惊，发现以往大家认为绝对严明的数学中原来有如
<<上一页下一页>>

本站访问人数：