¿Qué es?
No se ha añadido ninguna twiki todavía.
Matemático inglés, nacido en Londres, cuyos estudios sobre lógica matemática le colocan -pese a su corta vida- a la altura de las grandes renovadores en esta materia. Su estudio más importante a este respecto es On Computable Numbers [Sobre números computables], aparecido en 1937, con el que responde a la cuestión planteada por Hilbert acerca de si existe un algoritmo capaz de determinar si un enunciado es decidible -computable- en un sistema dado. Su respuesta a la cuestión, igualmente negativa como la formulada un poco antes e independientemente por Alonzo Church, es conocida como tesis de Church-Turing y al procedimiento ideal construido por Turing para demostrarla, máquina de Turing; «algoritmo» pasa a significar lo mismo que «computable», y «máquina de Turing» lo mismo que «procedimiento algorítmico». Interesado por los computadores electrónicos desde el momento de su aparición, construye -con otros científicos- durante la Segunda Guerra Mundial el «Colossus», computador destinado a descifrar códigos secretos, y trabaja luego en computadores en la universidad de Manchester y en el National Physical Laboratory, donde construye su Automatic Computing Engine (ACE). En 1950 publica Computing machinery and Inteligence, («Mind», 59, n. 236 [1950]) y publicado luego en World of Mathematics IV (Nueva York 1956), y traducido al castellano como ¿Puede pensar una máquina? ( ver referencia ↓). El experimento que sugiere llevar a cabo para decidir la cuestión recibe el nombre de «test de Turing».
Los estudios lógico-matemáticos de Turing representan el fundamento teórico de la ciencia de los computadores.
Relaciones geográficas