Percy John Heawood y el teorema de los cuatro colores

El matemático Percy John Heawood (1861-1955) falleció un 24 de enero.

Consagró lo esencial de sus trabajos matemáticos al teorema de los cuatro colores, y probó [Map Colour Theorem, Quarterly Journal of Mathematics 24 (1890) 332-338] que la demostración de este teorema dada por Alfred Kempe (1849-1922) era falsa. La prueba de Kempe [On the Geographical Problem of Four-Colors, Amer. J. Math. 2 (1879) 193-200] había sido dada como válida durante 11 años; así el teorema volvió a ser una conjetura.

De todos modos, Heawood demostró que la parte correcta de la prueba de Kempe permitía establecer el teorema de los cinco colores (todo mapa plano puede colorearse con cinco colores como mucho, de manera que dos países contiguos no compartan color)… el de los cuatro colores tuvo que esperar hasta 1976, a la demostración dada por Kenneth Appel (1932-2013) y Wolfgang Haken (1928-).

Charles Sanders Peirce, filósofo

El filósofo y lógico Charles Sanders Peirce (1839-1914) falleció un 19 de abril.

Era hijo de Benjamin Peirce (1809-1880), y se le considera como el fundador del pragmatismo y el padre de la semiótica moderna.

Peirce publicó dos libros, Photometric Researches (1878) y Studies in Logic (1883), y un gran número de artículos en revistas de diferentes áreas. Sus manuscritos, una gran parte de ellos sin publicar, ocupan cerca de 80.000 páginas.

Kenneth Appel (1932-2013)

http://en.wikipedia.org/wiki/File:Kenneth_Appel_Four_Color_Map.jpg

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:

1. K. Appel and W. Haken, Every planar map is four colourable, Part I: discharging, Illinois Journal of Maths 21, 429-490, 1977;
2. 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.