視聴に際しての注意事項
このページに含まれる映像は自由に視聴することができますが、許可無くコピー・配布などの行為を禁止します。
日時: 2021年10月1日(金) 14:30-15:30
会場:オンライン開催
小島 定吉 氏(早稲田大学理工学術院)
コンピュータ支援数学の研究倫理 (JAPANESE)
4色問題の解決以来，情報技術の著しい進展を背景に，コンピュータ支援による数学研究の裾野が広がっている．その中で，数学研究倫理を考える際の基本である「証明とは何か？」が問われて続けている．本講演では，この問いに対する今日までの議論を紹介し，将来の見通しについて論じたい．