このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

よくわからないが鴨浩靖さんのブログ・コメント.
冒頭部だけ引用.

証明の主要部分にコンピューターによる計算が含まれる数学の定理としては四色定理[Appel & Halen 1977]が有名ですが、それが最初ではありません。整面凸多面体の分類の完成[Zalgaller 1967]があります。前者が当時話題になったのと比べると、後者はほとんど話題になりませんでした。なぜでしょう？

詳細を全く知らないのだが,
元京大で早稲田も退官されているっぽい西田孝明先生の計算機援用解析,
アレは数値計算をどう使っているのだろう.
厳密な証明に援用しているとかいう記憶があるが,
正直よくわかっていないし,
この記憶も間違っている可能性がある.

解析学賞ももらっていたはずで,
結構気にはなっているのだが.
どなたかご存知の方は教えてほしい.
西田先生ご本人が降臨したら爆笑する.