2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ft...

　 　知ってるヒトも多いと思うが，四色問題とは「4色あればどんな地図でも隣り合う国々が違う色になるように塗り分けることができる」という……なんつうか経験則の「証明問題」で...