Teorema de los 4 colores: así lo probó una máquina en 1976
El día que una máquina resolvió lo que un siglo de matemáticos no pudo En julio de 1976, Kenneth Appel y Wolfgang Haken anunciaron que habían resuelto el teorema de los cuatro colores, un enigma que la matemática arrastraba desde 1852, cuando Francis Guthrie lo formuló al colorear un mapa de los condados ingleses. Lo …









