而且，你還是弄錯了，邏輯思維差了點。

來源: 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

請您先登陸，再發跟帖！