O mapa das quatro cores

Sobre o Recurso

Durante 124 anos, muitos métodos foram desenvolvidos para atacar a demonstração do Problema das Quatro Cores. Finalmente, em 1976, com a ajuda de um IBM 360, em Illinois, Kenneth Appel e Wolfgang Haken apresentaram uma prova do Teorema das Quatro Cores.