El problema es este (preguntó recientemente acerca de aquí):
Un countably infinito número de prisioneros, cada uno con un desconocido y asignados al azar, de color rojo o azul sombrero de línea de una sola línea del archivo. Cada prisionero se enfrenta desde el principio de la línea, y cada preso puede ver todos los sombreros en frente de él, y ninguno de los sombreros detrás. Desde el inicio de la línea, cada preso debe identificar correctamente el color de su sombrero o es asesinado en el lugar. Los presos tienen una oportunidad para reunirse y conversar de antemano, pero una vez en línea, ningún preso puede escuchar lo que los otros presos que decir. La pregunta es, ¿hay una manera de asegurarse de que sólo un número finito de prisioneros son asesinados?
El estándar de la solución depende del Axioma de Elección, como se discutió en la anterior pregunta.
Sin embargo, la pregunta anterior sólo explica que esa estrategia en particular requiere el Axioma de Elección. Aún así parece al menos concebible que podría ser una estrategia completamente diferente que funciona y lo que no necesita Elección.
Por lo tanto: Es conocido por ser coherente con ZF que no hay ninguna estrategia para los presos?
(Pregunta extra: Si "sí", entonces es esta verdad también en la variante donde los presos pueden escuchar las respuestas de los números más bajos a los presos?)
