Resumen Alan Turing Y Logica

Alan Mathison Turing
Fue un matemático, lógico, científico de la computación, criptógrafo y filósofo británico. Es considerado uno de los padres de la ciencia de la computación siendo el precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptada tesis deChurch-Turing.
Durante la Segunda Guerra Mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma y durante un tiempo fue el director de la sección Naval Enigma del Bletchley Park. Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales en el Laboratorio Nacional de Física del Reino Unido y poco tiempo después construyó otra delas primeras máquinas en la Universidad de Mánchester.
Entre otras muchas cosas, también contribuyó de forma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir, a la inteligencia artificial.
La carrera de Turing terminó súbitamente después de ser procesado por ser homosexual. Turing se suicidó dos años después de su condena.
El 24 de diciembre de 2013, la reinaIsabel II de Inglaterra promulgó el edicto por el que se exoneró oficialmente al matemático, quedando anulados todos los cargos en su contra.
Turing fue concebido en Chatrapur (India británica). Su padre Julius Mathison Turing era miembro del cuerpo de funcionarios británicos en la India. Julius y su esposa Ethel querían que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, dondefinalmente nació.
En 1928, con dieciséis años, Turing descubrió los trabajos de Albert Einstein y no sólo pudo comprenderlos, sino que además infirió las críticas de Einstein a las Leyes de Newton de la lectura de un texto en el que no estaban explícitas. Durante su edad escolar, Turing fue un joven cuyo optimismo y ambiciones se vieron acrecentados debido en gran parte a su intensa unión con su amigoChristopher Morcom, cuya muerte, aún joven, afectaría a Turing profundamente.

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 talalgoritmo. Como consecuencia, es también imposible decidir con un algoritmo general si ciertas frases concretas de la aritmética son ciertas o falsas.

La tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser: «Todo algoritmo es equivalente a una máquina de Turing. No es en sí unteorema matemático: es una afirmación formalmente indemostrable, una hipótesis que, no obstante, tiene una aceptación prácticamente universal.
La tesis Church-Turing postula que cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina de Turing.
En su memorable estudio "Los números computables, con una aplicaciónal Entscheidungsproblem (publicado en 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos dispositivos formales y simples.
Turing demostró que dicha máquina era capaz de implementar cualquier problema matemático quepudiera 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: no es posible decidir algorítmicamente si una máquina de Turing dada...