El problema del ángel de Conway
Leonardo Martínez (IMUNAM)
Cuándo |
16/03/2011 de 19:00 a 20:00 |
---|---|
Dónde | Sala de café, Instituto de Matemáticas |
Nombre | Leonardo Ignacio Martínez Sandoval |
Agregar evento al calendario |
vCal iCal |
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.