En la escuela de Sherbone, ganó la mayor parte de los premios que se otorgaban y realizó experimentos químicos por su cuenta
Primicias24.com- El matemático, científico, criptógrafo, filósofo y deportista británico, Alan Mathison Turing, nació en Londres, el 23 de junio de 1912.
Aún es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna, en vista de que proporcionó una influyente formalización de los conceptos de algoritmo y computación; entre ellos la máquina de Turing y su versión de la ampliamente aceptada tesis de Church-Turing.
Su padre fue Julius Mathison Turing, miembro del cuerpo de funcionarios británicos en la India. Él y su esposa, Ethel querían que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde vino al mundo.
Una infancia poco común
El matemático pasó gran parte de su niñez en la India, dado que su padre trabajaba en la administración colonial del país. Desde muy pequeño Turing mostró un gran interés por la lectura. Según diversos textos, aprendió a leer por sí solo en tres semanas; lo mismo le pasó con los números y los rompecabezas.
Sus padres lo inscribieron en el colegio St. Michael cuando tenía seis años y su profesora se percató enseguida de la genialidad de Turing. Sus ansias de conocimiento llegaron a tal punto que a los ocho años, atraído por la química, diseñó un pequeño laboratorio en su casa.
Además, tenía increíbles capacidades atléticas, como lo demostró en 1926, cuando durante una huelga general, recorrió alrededor de 90 km en bicicleta, para llegar a la escuela.
En la escuela de Sherbone, ganó la mayor parte de los premios matemáticos que se otorgaban y, además, realizó experimentos químicos por su cuenta, aunque la opinión del profesorado respecto a la independencia y ambición de Turing no era muy favorable.
Posteriormente, cuando formaba parte de la Universidad de Princeton, trabajó con el lógico A. Church. Recibió las enseñanzas de Godfrey Harold Hardy, matemático que ocupó la cátedra Sadleirian en Cambridge, y que posteriormente, fue responsable de un centro de estudios e investigaciones matemáticas entre 1931 y 1934. En 1935 Turing fue nombrado profesor del King’s College.
En 1936, Alan Turing en su trabajo acerca de los números computables, introdujo el concepto de la máquina de Turing y, junto a Alonzo Church demostraron que es imposible escribir el algoritmo de Entscheidungsproblem, (problema de decisión; el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema), que es también imposible decidir con un algoritmo general si ciertas frases concretas de la aritmética son ciertas o falsas.
En su estudio «Los números computables, con una aplicación al Entscheidungsproblem», Turing reformuló los resultados obtenidos por el lógico, Kurt Gödel en 1931, acerca de los límites de la demostrabilidad y la computación, con lo que sustituyó al lenguaje formal universal descrito por Gödel, por la máquina de Turing, dispositivo «formal y simple».
Lea también: 1929: Nace el impulsor de las teorías de la comunicación moderna Antonio Pascuali
Turing demostró que dicha máquina era capaz de resolver cualquier problema matemático que pudiera representarse mediante un algoritmo. Las máquinas de Turing son aún, el objeto central de estudio en la teoría de la computación.
