桂田 祐史
(明治大学理工学部)
2002年3月31日
コンピューターは、昔は電子計算機と呼ばれ ていたくらいで、計算することで色々な仕事 をこなしています。ちょっと考えてみると、 数学とは相性が良いはずなのに、現実はそれ ほどうまく行っていないようです。両者の関 係について、特に数学の学習・研究にコンピ ューターをどう役立てるかという観点を中心に、 日頃感じていることをお話しします。数学にとって大切なキーワードとして、証明 と無限を選びました。
コンピューターに証明をさせることはできる でしょうか。させたとして、それを人間が信 じることができるでしょうか。
数学では、色々な形で無限が登場します。そ れが問題を難しく、また興味深く挑戦しがい のあるものにしてくれるのですが、コンピュ ーターはそれについて何ができるでしょうか。
コンピューターが誕生して50年以上経ちまし たが、数学と比べるとまだ若く、急速に変化 しているために、つきあっていくのはむつか しいですが、良い関係を築いていきたいもの です。