증명되었지만 여전히 논란이 있는 문제

 4색정리

지구상의 모든 국가들을 색칠하려고 할때 

4가지 색만 있으면 중복되지 않게 칠할 수 있다는 논제

1852년부터 내려온 유서깊은 문제는 언듯보면 굉장히 간단하기에

어린애들도 도전할 수 있는 문제였으나

왜 4색으로 할 수 있는지 증명하지는 못했음

 그러다가 1950년도때

"그럼 그냥 컴퓨터로 돌려보면 되지 않음?" 이란 발상이 나왔고

결국 노가다로 증명해내는데 성공했다.

 그러나 수식이나 증명으로 '아름답게' 증명하려는 수학자들은

이딴걸 증명이라고 하는거임? 하면서

증명되었지만 여전히 이걸 수학적으로 증명하려는 수학자들도 몇몇있다