Wolfgang Haken
Wolfgang Haken foi um matemático alemão. Em 1976, com seu colega Kenneth Appel da Universidade de Illinois em Urbana-Champaign, resolveu um dos mais famosos problemas da matemática, o teorema das quatro cores.
Imagem: Tori Egherman · BY-SA · Openverse
O teorema das quatro cores
Kenneth Appel é conhecido por seu trabalho em topologia, o ramo da matemática que explora certas propriedades de figuras geométricas. Sua maior realização foi provar o teorema das quatro cores em 1976 com Wolfgang Haken. O New York Times escreveu em 1976: Agora, a conjectura das quatro cores foi provada por dois matemáticos da Universidade de Illinois, Kenneth Appel e Wolfgang Haken. Eles tinham uma ferramenta inestimável que faltava aos matemáticos anteriores - os computadores modernos. Sua prova atual repousa em parte em 1 200 horas de cálculo por computador, durante as quais cerca de dez bilhões de decisões lógicas tiveram que ser feitas. É improvável que a prova da conjectura das quatro cores tenha significância aplicada. No entanto, o que foi realizado é um grande feito intelectual. Isso nos dá um novo insight importante sobre a natureza do espaço bidimensional e as maneiras pelas quais esse espaço pode ser dividido em porções discretas.
