Se me olvidó contarlo. El viernes, tras la encerrona, me fui directo al edificio del PROP a solicitar el paro. Había que rellenar un impreso (informe de empresa o algo similar) y tras entregarlo en el registro me emplazan al día 15, por lo menos. Bien, sencillo y rápido; burocracia tendiente a 0.
Mañana son los problemas de la oposición y yo ya me empiezo a cansar de estar todo el rato tratando de resolver los que me encuentro como si un resolutor automático fuera. Pero hay que practicar.
Voy a poner uno que cualquiera puede probar a resolver pero que no creo que sea muy fácil, al menos si no te organizas bien y eliges una notación adecuada. Además va muy metido en contexto (lo he modificado a propósito). Es de las
pruebas Putnam, creo (quizás está basado en hechos reales)
Un tribunal de oposición está compuesto por cinco miembros que atienden a una exposición. Cada uno se duerme exactamente dos veces. Para cada par de miembros del tribunal hay un momento en el que los dos están despiertos. Probar que hubo un momento durante la exposición en que tres de ellos estaban despiertos.
No sé bien cómo atacarlo, supongo que habrá que conseguir una contradicción si suponemos que siempre hay tres dormidos, usando el hecho de que sólo se duermen dos veces. Pero no avanzo.