ALAN TURING
Transcription
ALAN TURING
ALAN TURING salle IN2 - RDC Statue commémorative de Alain Turing, dans Sackville Park, le 18 septembre 2004. Mathématicien Alan Turing né en 1912 au Royaume-Uni et mort en 1954. Inventeur de la machine de Turing, le premier calculateur universel programmable, et invente les concepts de programmation et de programme.. Biographie : en bref... Alan Mathison Turing est un mathématicien britannique, auteur de l'article fondateur de la science informatique qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il est à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline. Son modèle a contribué à établir définitivement la thèse Church-Turing qui donne une définition mathématique au concept intuitif de fonction calculable. Durant la Seconde Guerre mondiale, il a dirigé les recherches sur les codes secrets générés par la machine Enigma utilisée par les nazis. Après la guerre, il a travaillé sur un des tout premiers ordinateurs, puis a contribué de manière provocatrice au débat déjà houleux à cette période sur la capacité des machines à penser en établissant le test de Turing. Vers la fin de sa vie, il s'est intéressé à des modèles de morphogenèse du vivant conduisant aux « structures de Turing ». Il a été persécuté pour son homosexualité. Il a notamment subi une castration chimique par prise d'œstrogènes. ll meurt le 7 juin 1954 d'un empoisonne- ment au cyanure, un suicide selon l'enquête qui s'ensuivit, quoique sa mère ait défendu la thèse d'un empoisonnement accidentel. Alan Turing L’homme qui a croqué la pomme de Laurent Lemire. [Biographie] «Le GEnie n’est pas celui qui croit mais celui qui saisit la progression des choses.» [ Laurent Lemire ] - Extrait de Alan Turing CITATION E N V I E D E C U LT U R E
Documents pareils
Introduction la Calculabilit
1. Soit les langages L1 ; L2 et L3 dénis sur l'alphabet = fa; b; cg de la manière suivante
où nbx (w) est le nombre d'occurences du caractère x dans le mot w :
L1 = fw j nba (w) = nbb (w)g,
...