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

來源: 於 2010-02-28 17:57:47 [舊帖] [給我悄悄話] 本文已被閱讀：次

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

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

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