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.
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.
No hay comentarios:
Publicar un comentario