Paradoja del examen sorpresa La paradoja del examen sorpresa es una paradoja relacionada con la lgica que puede

describirse as: Un profesor entra en clase un da y dice a sus alumnos: Un da de la semana que viene os pondr un examen sorpresa. El examen ser una sorpresa en el sentido en que no podris saber cundo se va a realizar hasta el momento en que os entregue el enunciado. Los alumnos, tras escuchar esto, difcilmente razonan del siguiente modo: Si no conocemos con antelacin cundo se va a realizar el examen, no podr ser el viernes ya que si llega el jueves y no se celebra, est claro que el viernes es cuando se va a realizar. Pero si el viernes no se puede realizar el examen, el jueves tampoco, ya que si llega el mircoles y no se realiza, el jueves es el nico momento en que podra hacerse y ya no sera una sorpresa. Pero si no se puede realizar el jueves, tampoco se podr el mircoles, martes y lunes por los mismos motivos. De modo que es imposible que se celebre un examen en estas condiciones. Llega la semana siguiente, y tanto el lunes como el martes la clase contina normalmente, y los alumnos estn aliviados. Sin embargo, el mircoles, el profesor entra por la puerta y les pide que guarden sus libros para realizar el examen. Dnde est el fallo en el razonamiento de los alumnos? Una forma ms simple de esta paradoja Para estudiar esta paradoja, es til observar una forma ms simple de ella: El profesor dice a los alumnos: El viernes tendremos un examen. El da del examen ser una sorpresa. Por supuesto, los alumnos razonan que si ha dicho el da del examen, ya no puede ser una sorpresa, por lo que el profesor se est contradiciendo. No es posible un examen as. Ese viernes, cuando el profesor anuncia el examen, los alumnos se sorprenden, por lo que de alguna forma, lo que ha dicho el profesor es cierto. La forma ms simple de la paradoja El profesor afirma: No podis saber que lo que estoy diciendo es cierto Los alumnos piensan: Supongamos que podemos probar que lo que dice es cierto. Entonces sabremos que es cierto. Pero dice que no podemos saberlo, por lo que tiene que ser falso. Si decidimos lgicamente que el enunciado es falso, entonces lo que dice, que no podemos saber que es cierto, es cierto, por lo que el enunciado es cierto. Por tanto, debemos concluir que esta afirmacin es tan contradictoria y sin sentido como "esta afirmacin es falsa".

Sin embargo, dado que los alumnos no saben que lo que ha dicho el profesor es cierto, su afirmacin es cierta. Comentario Esta paradoja es tan inquietante porque, a pesar de que los alumnos parecen demostrar que la afirmacin se autocontradice, al final, es cierta. Se han sugerido varias resoluciones para ella. Se puede afirmar que no est claro aquello que los alumnos tienen permitido esperar y cuando se supone que estn sorprendidos. Si los alumnos son paranoicos y todos los das piensan que al da siguiente tendrn el examen, entonces, obviamente, no es una sorpresa, y la paradoja desaparece. Cuando estudiamos la paradoja, no tendemos a ofrecer la posibilidad de repetir su decisin, esto es, creemos que los estudiantes solo tienen permitido escoger una vez el da del examen. Sin embargo, en su razonamiento, los estudiantes s se ofrecen esta libertad: "Si no lo tenemos el jueves, entonces decidiremos que debe ser el viernes, de modo que el mircoles decidiremos que debe ser el jueves...". Otra posible solucin es comparar el punto de vista de los alumnos con el del resto del mundo. Podemos decir que estarn "sorprendidos" si no pueden probar razonadamente y consistentemente, que eso se va a producir de ese modo, usando las afirmaciones del profesor como axiomas. En este caso, los alumnos estn verdaderamente sorprendidos a la hora del examen. A pesar de que ellos no han podido probar cundo va a ser el examen, todos los dems observadores podran. La contradiccin slo ha aparecido cuando los alumnos tratan de probarlo. Esta paradoja es anloga a la paradoja del mentiroso en el sentido en que sus axiomas son autorreferentes, esto es, que hablan sobre su propia veracidad. Se diferencia de ella en que aade un nuevo elemento, que es que indican qu persona debe probarlos. La palabra "sorpresa" es en esencia un axioma que afirma que los alumnos no podrn probar ciertas cosas mientras todos los dems s. Esto hace que realmente no haya una paradoja, ya que es perfectamente posible que nosotros podamos probar algo que los alumnos no puedan, debido al modo en que los axiomas se refieren a quien hace la prueba. Es interesante observar que el Teorema de la incompletud de Gdel puede verse como un modo de traducir la paradoja del mentiroso a matemtica formal, ya que encontr un modo formal de dejar que los axiomas se autorreferenciasen. No existe esa traduccin para esta paradoja, ya que los axiomas formales no pueden referirse a un observador especfico de este modo.