イベント
イベント
情報理工学院 数理・計算科学系の鈴木咲衣准教授が、NHK Eテレ「又吉直樹のヘウレーカ!」に出演します。同番組はお笑い芸人で作家の又吉直樹さんが、私たちの暮らしに潜むフシギを見つけ出しひも解く教養バラエティです。
鈴木准教授のコメント
「地図の隣り合う国を違う色で塗り分けるには4色あれば十分か?」という四色問題は、1976年にアッペルとハーケンによりコンピューター計算を用いて肯定的に解決されました。しかし当時はその証明をチェックする方法が確立されていなかったため、コンピューター計算による証明を「数学における証明」としてよいのかは議論を呼びました。番組では四色問題を題材に、数学をするという行為について又吉直樹さんと思いを巡らせました。数学がちょっと苦手、という方にも楽しんでもらえると嬉しいです。
更新日:2018.12.27