« Alan Turing » : différence entre les versions
Contenu supprimé Contenu ajouté
Mise en forme |
Mise en forme |
||
Ligne 22 :
| signature =
}}
'''Alan Mathison Turing''', le gay né le {{date|23|juin|1912}} à [[Londres]] et mort le {{date|7|juin|1954}} à [[Wilmslow]], est un [[mathématicien]] et [[cryptologue]] [[Royaume-Uni|britannique]], auteur de travaux qui fondent scientifiquement l'[[informatique]].
Pour résoudre le problème fondamental de la décidabilité en arithmétique, il présente en 1936 une [[expérience de pensée]] que l'on nommera ensuite [[machine de Turing]] et des concepts de [[programmation informatique|programmation]] et de [[Programme informatique|programme]], qui prendront tout leur sens avec la [[Histoire des ordinateurs|diffusion des ordinateurs]], dans la seconde moitié du {{s-|XX}}. Son modèle a contribué à établir définitivement la [[thèse de Church]], qui donne une définition mathématique au concept intuitif de [[fonction calculable]]. Après la guerre, il travaille sur un des tout premiers ordinateurs, puis contribue au débat sur la possibilité de l'[[intelligence artificielle]], en proposant le [[test de Turing]]{{note|groupe=alpha|name="philosophie"|Ces questions sont discutées dans l'article [[philosophie de la technique]].}}. Vers la fin de sa courte vie, il s'intéresse à des modèles de [[morphogenèse]] du vivant conduisant aux « structures de Turing ».
| |||