ソフトウェアは「全体が論理的に整合性を保っていること」がコンパイル結果や自動テストの結果によって保証されている。 数学は数学者たちの繊細な努力によってそれを担保しようとしている その他の繊細な努力をしてない知識体系はたぶん自動テストをしていないソフトウェアと同じくらいバグだらけだろう、同じ人間のすることなのだから 関連 人は間違える