Leonardo Martínez (IMUNAM)
16/03/2011 de 19:00 a 20:00
En 1996, John Conway propuso el siguiente problema: "Un ángel y un diablo juegan en un tablero de ajedrez infinito. En su turno, el diablo puede eliminar un cuadrito del tablero, el ángel puede moverse a cualquier casilla que pueda ser alcanzada por un rey que se mueva 'n' turnos. El diablo gana si puede hacer que el ángel ya no se pueda mover. ¿Hay una 'n' para la cual el ángel pueda ganar?"
Conway probó que el ángel tiene muchas dificultades, pero confió en que podía ganar. No fue sino hasta 2006 que se obtuvieron 3 pruebas independientes de que sí hay un ángel que gana. El problema se presta a muchas variaciones y generalizaciones.
Temas: