Acabo de enterarme por las noticias de la American Mathematical Society (AMS) de que Kenneth Appel –que demostró el teorema de los cuatro colores junto a Wolfgang Haken– falleció el pasado 19 de abril a la edad de 80 años.
Su demostración del teorema se publicó en dos partes en 1977:
-
K. Appel and W. Haken, Every planar map is four colourable, Part I: discharging, Illinois Journal of Maths 21, 429-490, 1977;
- K. Appel, W. Haken and J. Koch, Every planar map is four colourable, Part II: reducibility, Illinois Journal of Maths 21, 491-567, 1977,
y fue la primera prueba importante en matemáticas que implicó extensos cálculos informáticos. Por ello ganaron el Premio Fulkerson Delbert Ray de la AMS en 1979.