🏷️ Origen

Apareció hacia los años 40 del siglo XX (se cuenta que inspirada en anuncios de «ejecución sorpresa» o de simulacros militares durante la guerra). Se conoce con muchos nombres: del ahorcamiento inesperado, del examen sorpresa, de la predicción imprevista. Sigue sin haber acuerdo sobre dónde falla exactamente.

🤔 Qué es (el planteamiento)

Un profesor anuncia a sus alumnos: «La semana que viene, de lunes a viernes, habrá un examen sorpresa; el día del examen, no podréis saber la víspera que es al día siguiente». Un alumno listo razona así para «demostrar» que el examen es imposible:

queda), así que no sería sorpresa. Queda descartado el viernes.

No sería sorpresa. Fuera el jueves.

• No puede ser el viernes: si llega el jueves por la noche sin examen, sabríamos que es el viernes (es el único día que
• Tampoco el jueves: descartado ya el viernes, si llega el miércoles por la noche sin examen, sabríamos que es el jueves.
• Repitiendo el razonamiento hacia atrás, caen el miércoles, el martes y el lunes. Conclusión: no puede haber examen sorpresa ningún día.

El alumno se queda tranquilo… y el martes el profesor pone el examen. Y, en efecto, ha sido una completa sorpresa. El razonamiento «impecable» del alumno resultó equivocado: el examen sorpresa sí era posible. ¿Dónde falló su lógica?

🌀 Por qué descoloca (la tensión)

Descoloca porque la demostración de que el examen es imposible parece sólida —cada paso de la eliminación hacia atrás suena correcto—, y sin embargo la realidad la desmiente sin esfuerzo (el examen llega y sorprende). Tenemos un argumento aparentemente válido cuya conclusión es falsa, y cuesta horrores poner el dedo en el eslabón roto. Es de esas paradojas que parecen fáciles hasta que intentas explicarlas con precisión.

🔑 Soluciones e intentos de respuesta

alumno («no podrás saberlo la víspera»). Y ahí está el lío: el alumno usa el anuncio para «demostrar» que el examen es imposible, pero si se cree su propia demostración, entonces cualquier día lo pillará por sorpresa —¡incluido el viernes!—, con lo que el anuncio vuelve a ser cierto. El razonamiento se socava a sí mismo. ⚖️ Es la lectura más extendida: el problema es epistémico y autorreferente, no de fechas.

predecir» es, para el alumno súper-lógico, paradójica en sí misma (como el mentiroso), y por eso no se le puede aplicar la lógica de eliminación sin más. ⚖️ Empareja la paradoja con la familia del mentiroso.

asume ilegítimamente que el alumno sabría con certeza que no ha habido examen los días previos, lo cual no está garantizado. ⚖️ No hay consenso sobre cuál es la solución definitiva.

• La autorreferencia del «saber» (la pista clave): el anuncio no habla solo de fechas, sino del conocimiento del
• El anuncio del profesor es auto-refutante o ambiguo: algunos sostienen que la afirmación «habrá un examen que no podrás
• El error está en la inducción hacia atrás: otros señalan que el paso «como cae el viernes, razono igual para el jueves»

🧠 Qué debate de fondo toca

Mezcla lógica, autorreferencia y epistemología (la lógica del conocimiento y de la predicción): qué significa «saber» algo y cómo el hecho de anunciar o predecir algo puede cambiar si ese algo se cumple. Es pariente de las paradojas de autorreferencia (porque el anuncio se refiere al estado mental del propio oyente) y un caso de estudio en la lógica epistémica. Que más de medio siglo después siga sin solución consensuada dice mucho de lo escurridizo que es razonar sobre el propio conocimiento.

🔗 Relacionadas / fuentes

• Familia: `paradoja-del-mentiroso.md` (autorreferencia). Conexión epistémica con la categoría 6.
• Base: `_INDICE-paradojas.md`. Fuentes: SEP «Epistemic Paradoxes», «The Surprise Examination».