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

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,  ...

Plus en détail