Claude ayuda a un lógico de Helsinki a descifrar los cuadernos en taquigrafía de Gödel y saca a la luz cientos de teoremas

The Guardian informa de que Jan von Plato, quien desde 2017 dirige un proyecto de la Universidad de Helsinki sobre los 16 «cuadernos» de Kurt Gödel de principios de los años cuarenta (1.009 páginas, gran parte en la obsoleta taquigrafía Gabelsberger), entregó a Claude sus transcripciones, sus libros anteriores sobre Gödel y la bibliografía secundaria en septiembre. Según von Plato, Claude produjo en un par de días una explicación de 650 páginas de los cuadernos, que, dice, tuvo que revisar página por página.

Lo que, según von Plato, encontró. Al preguntarle si los cuadernos contenían una demostración de que el axioma de elección es independiente, Claude reconstruyó una que von Plato considera «casi» completa, con una definición incorrecta que Gödel había formulado bien dos años antes. Afirma que la demostración reconstruida superó la verificación del asistente de pruebas Coq. Cuando se le pidió extraer todos los teoremas que Gödel demostró, esbozó o tuvo la idea de demostrar, Claude enumeró 663. Von Plato dice que unos 400 se verificaron tal como estaban en Coq, unos 200 necesitaron correcciones y unos 50 eran falsos. También afirma que Claude identificó más de una docena de temas de lógica que no se han investigado.

Advertencias. Joel David Hamkins, de Notre Dame, quien no había visto la reconstrucción, dijo a The Guardian que, si resiste el escrutinio, es «notable e históricamente interesante», pero que corresponde a los historiadores determinar cuánto se debe a Claude y cuánto a Gödel; además, que se parezca a la demostración de Cohen no significa que Gödel la tuviera.