Alan Turing fue un matemático y científico de la computación británico considerado uno de los padres de la ciencia de la computación. Propuso la máquina de Turing, que formalizó los conceptos de algoritmo y computación y demostró ser capaz de resolver cualquier problema matemático representable como algoritmo. Turing también resolvió el problema de la parada para las máquinas de Turing y demostró que no existe un algoritmo general para decidir si una fórmula lógica es un teorema. Murió en 1954 a los 41 años por enven
1. ALAN TURINGALAN TURING
Alan Mathison Turing fue un matemático, lógico, científico de la computacíon,
criptógrafo y filósofo británico. Nace el 23 de junio de 1912 en Londres, Reino
Unido y murió el 7 de junio de 1954 con 41 en Chesshire, Reino Unido. Es conocido
por el problema de parada, la máquina de Turing.
Es considerado uno de los padres de la ciencia de los computación siendo el
precursor de la ciencia moderna. Proporcionó una influyente formalización de los
conceptos de algoritmo y computación: la máquina de Turing.
La máquina de Turing
Turing demostró que dicha máquina era capaz de implementar cualquier problema
matemático que pudiera representarse mediante un algoritmo. Las máquinas de
Turing siguen siendo el objeto central de estudio en la teoría de la computación.
Llegó a probar que no había ninguna solución para el problema de decisión,
Entscheidungsproblem, demostrando primero que el problema de la parada para las
máquinas de Turing es irresoluble.
El Entscheidungsproblem, que se traduce como problema de decisión, fue un reto en
lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del
cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo
Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo.
Como consecuencia, es también imposible decidir con un algoritmo general si ciertas
1
2. frases concretas de la aritmética son ciertas o falsas.
En 1926, con catorce años, ingresó en el internado de Sherborne en Dorset. Su primer
día de clase coincidió con una huelga general en Inglaterra, pero su determinación
por asistir a clase en su primer día era tan grande que recorrió en solitario con su
bicicleta las más de 60 millas que separaban Southampton de su escuela, pasando la
noche en una posada. Tal hazaña fue recogida en la prensa local.
¿Por qué el logotipo de Apple es una manzana precisamente mordida?
Como todo el mundo sabe, o debería saber a estas
alturas, el logotipo de Apple Inc. es una manzana
mordida. Una de las hipótesis del logotipo
característico de esta compañía es que hace referencia a una manzana que ocupó un
importante lugar en la historia. La manzana que acabó con la vida de una de las
mentes más brillantes del siglo XX y probablemente de todos los tiempos. Me refiero
a Alan Turing.
Alan Turing había participado en la II Guerra Mundial como un descifrador de
códigos nazis y había accedido a información muy privilegiada y restringida del
ejército inglés. Por ello cuando terminó la guerra se le vigiló estrechamente. Para
desgracia de Alan Turing su homosexualidad era considerada un delito en aquella
época, y cuando denunció un robo en su casa (en el que un amante suyo estaba
implicado), las investigaciones llevaron a detener al propio Turing por perversión y
homosexualidad. El 7 de junio de 1954, a los 42 años de edad, murió por
envenenamiento con el cianuro contenido en una manzana, a la que solo llegó a dar
un mordisco.
http://www.xatakaciencia.com/matematicas/alan-turing-y-el-logotipo-de-apple
2