Hipótesis

URI permanente para esta colección

Mostrando 1 - 1 de 1

Acceso abierto
El problema de los cuatro colores
(Universidad de los Andes, 2025-08-31) García Rico, Dario Alejandro
El teorema de los cuatro colores es un problema matemático formulado en 1852 por Francis Guthrie, quien observó que cuatro colores bastaban para colorear cualquier mapa político, asegurando que regiones fronterizas no compartieran color. A pesar de parecer sencillo, este problema desafió durante más de un siglo a matemáticos prominentes como Augustus De Morgan y Arthur Cayley. Finalmente, Kenneth Appel y Wolfgang Haken lograron en 1976 una demostración asistida por computador que requirió 1200 horas de cálculos, siendo pionera en el uso intensivo de ordenadores en matemáticas. Aunque aceptada, la prueba suscitó debates filosóficos sobre la validez de demostraciones computacionales. Este resultado trascendió el ámbito de la combinatoria y la computación, y en estas páginas realizaremos un breve recorrido por la historia y las ideas centrales del problema, mostrando cómo una pregunta sencilla puede ocultar profundas complejidades matemáticas.