An attempt to understand the four color problem
Wolfgang Haken · Journal of Graph Theory · 1977
Abstract Is the recently obtained, computer‐aided proof of the Four Color Theorem an isolated phenomenon or is its combinatorial complexity typical for a significantly large class of mathematical problems? While it is too early to give a definite answer to this question, an informal discussion is undertaken in this article.