Matemático británico. Estudió en las universidades de Cambridge y Princeton, donde fue alumno de Alonzo Church y se doctoró en 1938. Durante la segunda guerra mundial trabajó en la oficina de criptografía del Foreign Office británico. Después trabajó en el Laboratorio Nacional de Física de Londres ( 1945 ) y en la Universidad de Manchester ( 1948 ). Murió por envenenamiento con cianuro potásico, no se sabe bien si accidentalmente ó porque se suicidara.

    En 1935, cuando aún era estudiante, publicó el famoso artículo " On computable numbers, with application to the Entscheidungsproblem " ( Sobre los números computables, con una aplicación al problema de la decisión ). En este artículo, introdujo la máquina de Turing, un dispositivo teórico muy simple, capaz de resolver cualquier problema abordable por un computador digital ( se dice que es computacionalmente completa ).

    Además, demostró que existe una sola máquina capaz de representar a todas las demás ( máquina de Turing universal ) y que hay problemas que no se pueden resolver ( como el problema de la parada de la máquina de Turing ), con lo que dio principio a una nueva rama matemática: la Teoría de la Computabilidad.

    Años después, mientras se dedicaba a la construcción de los primeros ordenadores digitales británicos, ideó la famosa prueba de Turing, que afirma que una máquina habrá llegado a alcanzar una inteligencia comparable a la humana cuando pueda sustituir a un ser humano en una conversación a ciegas ( a través de una estación terminal ) sin que su interlocutor se dé cuenta de que está hablando con una máquina. Por esta razón, se le considera uno de los padres de la Inteligencia Artificial.