next up previous
Next: この文書について...

コンピューターは数学の望遠鏡

-- 無限はみえるか?証明はできるか? --

桂田 祐史
(明治大学理工学部)

2002年3月31日

コンピューターは、昔は電子計算機と呼ばれ ていたくらいで、計算することで色々な仕事 をこなしています。ちょっと考えてみると、 数学とは相性が良いはずなのに、現実はそれ ほどうまく行っていないようです。両者の関 係について、特に数学の学習・研究にコンピ ューターをどう役立てるかという観点を中心に、 日頃感じていることをお話しします。

数学にとって大切なキーワードとして、証明無限を選びました。

コンピューターに証明をさせることはできる でしょうか。させたとして、それを人間が信 じることができるでしょうか。

数学では、色々な形で無限が登場します。そ れが問題を難しく、また興味深く挑戦しがい のあるものにしてくれるのですが、コンピュ ーターはそれについて何ができるでしょうか。

コンピューターが誕生して50年以上経ちまし たが、数学と比べるとまだ若く、急速に変化 しているために、つきあっていくのはむつか しいですが、良い関係を築いていきたいもの です。




next up previous
Next: この文書について...
Masashi Katsurada
平成14年4月2日