NISHIO Hirokazu[Translate]
ソフトウェアは整合性のある知識体系
ソフトウェアは「全体が論理的に整合性を保っていること」がコンパイル結果や自動テストの結果によって保証されている。

数学は数学者たちの繊細な努力によってそれを担保しようとしている

その他の繊細な努力をしてない知識体系はたぶん自動テストをしていないソフトウェアと同じくらいバグだらけだろう、同じ人間のすることなのだから

関連

"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]