コンピューターサイエンス理論の証明は社会的実験の側面がある - Get Things Right

経済学は理論(Theory)を扱うが、数学や物理学は法則（Law）を扱う。理論と法則の違いは、前者は仮説であり、物語や嘘でもかまわない。後者は真実であり、実験や観測を通して証明済みでなければならない。経済学は対象が人間社会であり、マルクス理論を証明するために共産主義国家を樹立し、社会の仕組みや行動を規制するなど、実験の規模がとてつもなく大きくなるために、証明のための実験が難しい。だから経済学では基本的に理論が法則になることはない。 コンピューターサイエンスは最近ムーアの法則（moore’s law）に陰りが見えきたように、法則といえども、所詮人間の世界。法則が頼りない。ムーアの法則、N年後のトランジスタ数＝２^(n/1.5)に対して、”anything exponential growth does not continue” (指数関数的爆発的増加は続かない)という裏法則のほうが、より真

[phare]

“言い換えれば、CS理論は対象がコンピュータという人工物を基礎として構築されているため、社会の淘汰圧を原動力としてTheory（理論）からLaw（法則）に変換される側面がある。”