Este jueves fui a una conferencia sobre el teorema de los cuatro colores:
Dado cualquier mapa geográfico, éste puede ser coloreado con cuatro colores diferentes, de forma que no queden regiones adyacentes con el mismo color. (Wikpedia.)
La exposición (que está accesible en .pdf) corrió a cargo de Marta Macho-Stadler, de la Universidad del País Vasco. El título era “La polémica demostración de la conjetura de los cuatro colores”. Gran parte de la conferencia fue acerca de la validez de las demostraciones que se apoyan en potentes computadoras cuyos resultados no pueden ser verificados “a mano”. Este tema viene de lejos [1] [2] [3].
Foto de chez_sugi.
