Читать книгу Mentes geniales. La vida y obra de 12 grandes informáticos - Camilo Chacón Sartori - Страница 11

Graduado en 1934, Turing tuvo contacto con el trabajo de Kurt Gödel⁷ (teorema de incompletitud) y el problema propuesto por David Hilbert⁸ (conocido en alemán como Entscheidungsproblem, en español, problema de la decisión) sobre la decibilidad, el cual reza: «Dada una proposición matemática, ¿existe un algoritmo que pueda dar una respuesta a si la proposición es verdadera o falsa?». Turing comenzó a trabajar en este problema, que luego sería él que daría la respuesta a lo que es computable o no. Inició una nueva era.

En ese mismo periodo, 1935, fue elegido compañero (Fellow) de la King’s College, en Cambridge, por su trabajo de tesis llamado On the Gaussian error function, el cual probó resultados fundamentales en el área de la teoría de las probabilidades. A tal contribución se la conoce como el teorema del límite central. Por ello, en 1936 ganó el Premio Smith.

Volviendo al desafío propuesto por Hilbert, Turing, más tarde, haría una demostración negativa, es decir, expondría que tal algoritmo no existe, con lo que echaría por tierra la idea de Hilbert de demostrar la decibilidad de cualquier proposición matemática.