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

說“All software bugs can be fixed”是錯的，不等於“沒有軟件能保證沒有bug”。這又是充分和必要和充要的區別。

當然有軟件能保證沒有bug。查查“Isabelle”這個軟件，用它已經證明了不少其它軟件沒有bug。

說不定Ford的軟件都用Isabelle證明過，不過那是他們的商業機密，你是不會有機會證偽的。 ：）

所有跟帖： 

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

• “Bug必須有人先發現”隻是你自己自以為是的定義。 -UberAlles- ♂ (0 bytes) () 02/28/2010 postreply 19:51:50

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