Kenneth Appel y los mapas de colores
El problema es fácil de plantear, pero no tan fácil de responder: Tenemos un mapa con tantas regiones como queramos, real o imaginario, tan sencillo o enrevesado como queramos. ¿Cuántos colores diferentes necesitamos para colorearlo, con la condición de que no haya dos países limítrofes del mismo color? ¿Alguna idea.....? ¿12 colores? ¿5? ¿3? ¿Muchos más? ¿O acaso no se puede saber.....? La primera vez que se planteó el problema fue en 1852, pero se tardó más de un siglo en dar una primera demostración y casi siglo y medio en dar una demostración definitiva. Hoy, 8 de octubre, cumpliría 93 años Kenneth Appel [1932-2013], uno de los matemáticos que demostró por primera vez el teorema de los cuatro colores a mediados de los años 70 junto a Wolfgang Haken, usando ordenadores de la época. Y sí, basta con cuatro colores. Normalmente parece una respuesta poco intuitiva: tendemos a decir un número más alto o a pensar que puede haber un mapa suficientemente "complicado" como para ...