mseSTA 版 (精华区)

发信人: draziwest (eval & apply), 信区: mseSTA       
标  题: 是idle设置有问题
发信站: BBS 听涛站 (Wed Sep 15 12:58:30 2004), 站内

我看software上居然能有人idle长达141小时的
--
    任何足够强的一阶系统，它的非逻辑公理(G`odel数)的集是递归的，它又是相容的，
则该系统是不完全的。
    
                                               G`odel 不完全定理


※ 来源:·BBS 听涛站 tingtao.net·[FROM: 166.111.38.219]