Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
(1912-1954) HIST.
|
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 «[hist33af.htm 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