mseSTA 版 (精华区)
发信人: draziwest (eval & apply), 信区: mseSTA
标 题: 其实software可以稍微放宽一下匿名的人数
发信站: BBS 听涛站 (Fri Sep 10 16:12:33 2004), 站内
带宽远远没有跑完,平常也旧跑了10分之一左右,我在实验室用普通帐户都能下到8m/s
要是总连不上,就会分流掉。
--
任何足够强的一阶系统,它的非逻辑公理(G`odel数)的集是递归的,它又是相容的,
则该系统是不完全的。
G`odel 不完全定理
※ 修改:·draziwest 于 Sep 10 16:20:46 修改本文·[FROM: 166.111.38.219]
※ 来源:·BBS 听涛站 tingtao.net·[FROM: 166.111.38.219]
Powered by KBS BBS 2.0 (http://dev.kcn.cn)
页面执行时间:1.005毫秒