而且，你还是弄错了，逻辑思维差了点。

来源: UberAlles 于 2010-02-28 17:57:47 [] [旧帖] [给我悄悄话] 阅读数 : (300 bytes)

说“All software bugs can be fixed”是错的，不等于“没有软件能保证没有bug”。这又是充分和必要和充要的区别。

当然有软件能保证没有bug。查查“Isabelle”这个软件，用它已经证明了不少其它软件没有bug。

说不定Ford的软件都用Isabelle证明过，不过那是他们的商业机密，你是不会有机会证伪的。 ：）

所有跟帖： 

• 我的邏輯沒有錯 -tsc12- ♂ 给 tsc12 发送悄悄话 (167 bytes) () 02/28/2010 postreply 18:52:44

• “Bug必須有人先發現”只是你自己自以为是的定义。 -UberAlles- ♂ 给 UberAlles 发送悄悄话 (0 bytes) () 02/28/2010 postreply 19:51:50

• 這是基本邏輯 -tsc12- ♂ 给 tsc12 发送悄悄话 (61 bytes) () 02/28/2010 postreply 20:38:45

请您先登陆，再发跟帖！