「数学上の成果は，作られるものか，発見されるものか」
という問題提起があります．例えば工業製品は様々な
原料を，ある意図に基づいて加工して出来上がるもので
そこには明らかに作り手の意図があって生み出されるもの
です．それに対して，地下に眠るダイヤモンドは，あらかじめ
そこにあるもので発見されれば皆の目につきますが，たとえ
掘り出されなくても間違いなくそこに存在します．
理系学問の中でも工学系の分野での成果は ほとんど
『作り出されるもの』です．理学系の分野になると
微妙になってきて，例えば生物学では，
1．DNAというものの構造がわかる，
2．その応用として遺伝子組み換えの技術を開発する
という二つのステップを考えると
1．は「発見されるもの」
2．は「作り出すもの」
と言えるでしょう．では数学に関してはどうかというと，
数学の成果は発見されるもの，
のように見えます．数学の世界にはいろいろな定理や公式が
ありますが，その中の一級のものは，人間の意図とは関係なく
ずっと「発見されるのを待っていた」ように見えます．
