メディア社会コース前回、気づくということについてかきましたが、発見というと新事実に気づくということになります。ところで、高校までの数学は、ほとんどが計算の勉強で、のこりの一部が証明の勉強だとおもわれていることでしょう。たしかに、教科書もそうした構成になっています。はじめのころには、計算のしかたをおぼえて、それを機械的に適用するのが、数学の勉強だとおもっていたかもしれません。計算が得意だから、数学が得意ということになります。そのせいか、数学に証明がでてきても、おぼえておいて、機械的に適用するというやりかたをとろうとするひともいるようです。それだけでは、すこしことなったことがらは証明ができなくなってしまいます。意味を理解することが重要です。勉強がすすんでくると、計算のしかたをみつけたり、証明のしかたをみつけたりという発見の方がおもしろいと感じるようになります。うまくできたパズルがとけたときのような感覚があります。実際、数学は、発見の科学です。こちらの発見は、自分にとってだけでなく、人類にとっての発見になりますが、それもまた発見者自身にとっての発見からはじまるといえます。計算や証明のしかたはもちろん、概念やただしいとおもわれることがらの発見が重要になっています。最近は、よくしられるようになってきましたが、ラマヌジャンという数学者がいました。32年というみじかい生涯で3000以上ともかぞえられる公式を発見しました。そのおおくが、ふつうの数学者の直感でも、ただしいかどうかさえわからないほど複雑で、数学的にも興味ぶかいものでした。現代の数学は、発見ではおわりません。論文などで公表するには証明が必要になってきます。じつは発見だけですんだ時代もあって、たとえば、ニュートンは微積分の発見者として有名ですが、厳密な証明はしていません。そのため、当時、ニュートンの数学的な発見の一部には納得しないひともおおくいたそうです。したことも契機となって、数学には証明が必要になってきて、数学者のしごとは証明だとおもわれているのでしょう。そもそも発見ができなければ証明もできないのです。ラマヌジャンをみいだしたのは、ハーディという数学者で、ラマヌジャン自身は証明にあまり興味がなく、得意でもなかったようで、証明はハーディがおこなっていましたが、証明できない公式もおおくありました。ニュートンの微積分もラマヌジャンの公式も、発見から厳密な証明ができるまでに、100年ちかくあるいはそれ以上かかったものもありました。自分で発見したことはわすれないという面もあります。授業にもできるだけ発見があればいいとかんがえています。メディア学部では、数学関連にかぎらず、そういう経験をしてもらえるように工夫されている授業がたくさんあります。