ことば２

　プログラマーたちは、かならず自分が作ったプログラムはバグ・フリーであると数学的に証明したがるが、経験の教えるところは、実際上はどんな意味でもそれは不可能である。現実世界のプログラムは、正確であると証明できるには大規模過ぎる（現実世界の経済も、「安定的」であるとか「競争的な解を有する」ことを証明するには大きすぎる）。……実践に役立つプログラムのほとんどすべてにはバグが存在する。反対に単純であるためバグ・フリーなプログラムのほとんどは、実用的効用が乏しい。……数学者がコンピューター・プログラム（あるいは経済）を数学的客体と見る事を非難できない。数学者はすべてを数学的客体として見るのであって、それは当然のことだ。……しかし、そのことは決して、数学的視点が職業的プログラマーにとって最も有益な視点であることを含意するものではない。

ボーレンシュタイン、一九九二年、Ｂ三〜四ページ

―ノーベル賞経済学者の大罪"THE VICES OF ECONOMISTS―THE VIRTUES OF THE BOURGEOISIE"／ディアドラ・Ｎ・マクロスキー―より