2012: any Alan Turing

EL 23 DE JUNY DE 2012 ES COMMEMORA EL CENTENARI DEL NAIXEMENT A LONDRES DE ALAN TURING.

ALAN TURING, matemàtic britànic, és considera el pare de la informàtica moderna perquè el 1936 va presentar la seva màquina universal capaç de ser programada per realitzar tasques a distància.

El treball de Alan Turing durant la II Guerra Mundial va ser decisiu per a la victòria aliada. coordinar a més de deu mil professionals per desxifrar el codi secret dels nazis.

Perseguit per la seva homosexualitat i malalt, Alan Turing es va suïcidar el 1954 als 41 anys.

El 2009 el govern britànic va demanar disculpes públiques pel tracte a què es va sotmetre a aquest insigne matemàtic i al col·lectiu gai en general.

Durant la seva relativament breu vida, Turing va tenir un impacte únic en la història de la computació, la informàtica, la intel·ligència artificial, la biologia del desenvolupament i la teoria matemàtica de la computabilitat.

El 2012 se celebra el centenari del naixement d’Alan Turing, amb una sèrie de grans esdeveniments que tindran lloc durant tot l’any. La majoria d’aquests estaran vinculats als llocs amb un significat especial en la vida de Turing, com Cambridge, Manchester i Bletchley Park.

Més informació: 2012, the Alan Turing Year

Del post de COEINF.CAT

La Màquina de Turing

La màquina de Turing és un model computacional introduït per Alan Turing en el treball “On computable numbers, with an application to the Entscheidungsproblem“, publicat per la Societat Matemàtica de Londres, en el qual s’estudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que ens digui si és certa o no. Turing va construir un model formal de computador, la màquina de Turing, i va demostrar que existien problemes que una màquina no podia resoldre. La màquina de Turing és un model matemàtic abstracte que formalitza el concepte d’algorisme.

Definició

Una màquina de Turing amb una sola cinta pot ser definida com una 6-tupla M = (Q,Γ,s,b,F,δ), on

  • Q és un conjunt finit d’estats
  • Γ és un conjunt finits de símbols de cinta, l’alfabet de cinta
  • s \in Q és l’estat inicial
  • b \in \Gamma és un símbol denominat blanc, i és l’únic símbol que es pot repetir un nombre infinit de cops
  • F \subseteq Q és el conjunt d’estats finals d’aceptació
  • \delta: Q \times \Gamma \rightarrow Q \times \Gamma \times \{L,R\} és una funció parcial denominada funció de transició, on L és un moviment a l’esquerra i R és el moviment a la dreta.

Existeix a la literatura un abundant nombre de definicions alternatives, però totes elles tenen el mateix poder computacional, per exemple es pot afegir el símbol S com símbol de “no moviment” en un pas de còmput.

Historia de la Informática. Capítulo 27 - Alan Turing

 De http://www.adictosaltrabajo.com/detalle-noticia.php?noticia=93

😉

%d bloggers like this: