@yo Me temo que no. Aunque estaría bien una declaración ex cathedra de que p = np. Por cierto, y hablando de recursión, no hay una declaración infalible de que el papa sea infalible.
@modulux los matemáticos son unos débiles por no aceptar razonamientos circulares. Todo es mucho más sencillo con ellos.
Yo creo que el tema de los supremos se presta más a la intromisión papista.
Yo no descarto que lo que acabamos de ver sea el punto álgido de una conspiración pergeñada por Nicolas Bourbaki hace noventa años.