0235132人目の素数さん垢版2018/01/30(火) 15:41:33.79ID:pRX1+Bz1 >>219 四色定理のコンピュータを使わない証明をすることはまだ難しい未解決問題。 四色定理のステートメント自体には数学的な価値は殆どないけど、 組合せ論が応用的で問題解決としての数学の一面があるから、それなりの意義はあるだろう。