附录4 计算机与智能 261
-
哥德尔定理(1931)声称,在任何一个足够强的逻辑系统里,都能形成一个陈述,这个陈述在本系统内无法被证明也无法被否证,除非这个系统本身就是不一致的。丘奇(1936)、克利尼(1935)、罗瑟和图灵(1937)等人也有同哥德尔定理很相似的结论。这条书摘已被收藏0次分享 收藏 0条评价+1
