Alan Mathison Turing, OBE (Paddington, Londres, 23 de juny de 1912-Wilmslow, Cheshire, 7 de juny de 1954), va anar un matemàtic, lògic, científic de la computació,
La màquina de Turing. Va formular la seva pròpia versió que avui és àmpliament acceptada com la tesi de Church-*Turing (1936).
Durant
la segona guerra mundial, va treballar a desxifrar els codis nazis,
particularment els de la màquina Enigma, i durant un temps va ser el
director de la secció Naval Enigma de Bletchley Park.
S'ha estimat que el seu treball va escurçar la durada d'aquesta guerra
entre dos i quatre anys.
Després de la guerra, va dissenyar un dels
primers computadors electrònics programables digitals en el Laboratori
Nacional de Física del Regne Unit i poc temps després va construir una
altra de les primeres màquines a la Universitat de Mánchester.
La carrera de Turing
va acabar sobtadament després de ser processat per homosexualitat en
1952. Dos anys després de la seva condemna, va morir segons la versió
oficial per suïcidi; no obstant això, la seva mort ha donat lloc a
altres hipòtesis, inclosa la de l'assassinat.
El 24 de desembre de
2013, la reina Isabel II va promulgar una llei pel qual es va exonerar
oficialment al matemàtic, quedant anul·lats tots els càrrecs en contra
seva.
La màquina de Alan Turing amb la
tesi que aquesta màquina podria realitzar les mateixes tasques que
qualsevol altre tipus de màquina és un dispositiu que manipula símbols
sobre una tira de cinta d'acord a una taula de regles.
Adaptada per
simular la lògica de qualsevol algorisme de computador i és
particularment útil en l'explicació de les funcions d'una CPU dins d'un computador.
el treball del qual sobre el càlcul lambda s'entrellaça amb el de Turing en una teoria formal de la computació coneguda com la tesi de Church-*Turing.
la màquina de Turing
ha servit de base per a molt desenvolupament teòric en les ciències de
la computació i en la teoria de la complexitat. Una raó per a això és
que les màquines de Turing són simples, i per tant amenes a l'anàlis.
