Se dice que que A. Weil afirmaba que "Dios existe porque la Aritmética es consistente, y el Diablo existe porque no podemos demostrarlo". Seguramente esto se puede extrapolar a toda la Matemática, y hasta hace poco no lo había experimentado tan en carne propia.
Precisamente he dejado un poco abandonada la bitácora porque el director de mi tesis doctoral le encontró un error serio a la demostración de un teorema clave. Estoy bastante seguro de haber logrado repararla, y de paso el nuevo argumento es mucho más elegante que el incorrecto.
Pero por si nuevamente soy víctima del genio maligno cartesiano, estoy listo para embatir de nuevo, pues estoy convencido de que el resultado es cierto :-D
