「数学は証明可能な主張を真であると証明する学問であり、科学は証明可能な主張を偽であると証明する学問である」って今読んでる本に書いてる。
プログラムを正しいことは証明できないが、テストを十分にやってバグがないことを証明することで正しさを証明する。科学は分からないけどこれは分かる。