Vigésimo cuarto problema de Hilbert
# Vigésimo cuarto problema de Hilbert

El vigésimo cuarto problema de Hilbert es una cuestión matemática que no se publicó como parte de la lista de los 23 problemas conocidos como Problemas de Hilbert, pero que se incluyó en las notas originales de David Hilbert. El problema incide sobre la búsqueda de un criterio para evaluar la simplicidad de las demostraciones matemáticas y el desarrollo de una teoría de la demostración, con la capacidad de demostrar que una prueba dada es la más simple posible.

El problema número 24 fue redescubierto por el historiador alemán Rüdiger Thiele en 2000, y confirmó que Hilbert no lo incluyó en la conferencia en la que presentó su lista de problemas ni en ningún texto publicado. Los amigos y compañeros matemáticos de Hilbert, Adolf Hurwitz y Hermann Minkowski, participaron de cerca en el proyecto, pero no tenían conocimiento de este problema.

Este es el texto completo de las notas de Hilbert contenido en el artículo de Rüdiger Thiele. La sección fue traducida por el propio Thiele.

En 2002, Thiele y Larry Wos publicaron un artículo sobre el problema veinticuatro de Hilbert con una discusión sobre su relación con varios temas en razonamiento automático, lógica y matemáticas.

