Teorema de los cuatro colores
Appel y Haken · 1852–1976
«Todo mapa plano puede colorearse con solo cuatro colores sin que dos regiones vecinas compartan color.»
Qué significa
Un siglo largo de intentos fallidos y una polémica fundacional: fue el primer gran teorema demostrado CON ORDENADOR (miles de casos verificados por máquina), lo que abrió el debate eterno — ¿es demostración lo que ningún humano puede leer entero? El resultado es robusto; la pregunta filosófica sigue abierta.
En la vida real
Intenta dibujar cinco países donde cada uno toque a los otros cuatro: no podrás (tocarse en un punto no cuenta). Cualquier mapa de continentes, provincias o el garabato que hagas cae con 4 colores.
🕹️ Ábrela en el atlas interactivo (con simulador)
Leyes relacionadas
Los puentes de Königsberg · Teoremas de incompletitud de Gödel