Por mas extraño que pueda parecer, ese es el nombre de uno de los problemas que más han sido estudiados por los matemáticos, fue propuesto por David Hilbert, aleman que dedicó gran parte de su vida a deleitar a la humanidad con grandes ideas como la teoría de invariantes, la axiomatización de la geometría y la noción de espacio de Hilbert.
Volviendo al tema central, ese nombre tan confuso dado a tal problema matemático, dictamina en el ámbito de la lógica simbólica si existía posibilidad de dar con un algoritmo general con el que se decidiese que una fórmula de cálculo de primer orden eran un teorema.
Fue allí donde Alonzo Church y Alan Turing pudieron comprobar la imposibilidad de hallar un algoritmo con esas características, por lo que tampoco era posible delimitar que frases en particular de la aritmética eran ciertas o falsas.
Comentarios