Mathématicien et logicien britannique, Alan Turing apporta une contribution majeure aux mathématiques, au décryptage, à la logique, à la philosophie, à la biologie et à de nouveaux domaines du savoir qui allaient par la suite être baptisés informatique, sciences cognitives, intelligence artificielle et vie artificielle.
Alan Mathison Turing naît le 23 juin 1912 à Londres. Fils d'un fonctionnaire britannique de l'administration indienne, Turing commence à étudier les mathématiques au King's College de l'université de Cambridge en 1931. Après avoir obtenu son diplôme en 1934, il obtient une bourse d'enseignant chercheur au King's College en reconnaissance de ses travaux sur la théorie des probabilités. En 1936, le mathématicien et logicien américain Alonzo Church (1903-1995), qui vient de publier un article arrivant aux mêmes conclusions que Turing, appuie la publication de l'article de ce dernier : « On Computable Numbers, with an Application to the Entscheidungsproblem » (traduit sous le titre « Théorie des nombres calculables, suivie d'une application au problème de la décision » dans l'ouvrage L […]
Autres références
« TURING ALAN MATHISON (1912-1954) » est également traité dans :
-
TURING MACHINE DE
Auteur :
Bernard PIRE
Dans l'article « On computable numbers, with an application to the Entscheidungsproblem », publié en 1936 dans les Proceedings of the Mathematical Society, Alan Mathison Turing (1912-1954) montre qu'il existe des nombres définissables qui ne sont pas calculables. Cela implique qu'il n'existe pas de solution au célèbre problème de la décis…
Lire la suite
-
COGNITIVES SCIENCES
Auteur :
Daniel ANDLER
Dans le chapitre "Les prodromes (1936-1950)" : …
années 1930 et la fin des années 1940. Deux articles fondamentaux du grand logicien anglais A. M. *Turing encadrent symboliquement cette préhistoire : en 1936, il jetait les bases mathématiques et conceptuelles de ce qui deviendrait, au cours de la décennie suivante, et en partie une seconde fois grâce à lui, l'ordinateur électronique programmable…
Lire la suite
-
CRYPTOLOGIE
Auteur :
Jacques STERN
Dans le chapitre "Le XXe siècle" : …
de diverses disciplines avec pour mission de cryptanalyser les chiffres allemands. Parmi eux, *le grand logicien Alan Turing, déjà connu pour avoir, en 1936, apporté une solution négative au problème dit « de la décision », le célèbre Entschdungproblem du mathématicien David Hilbert. Le génie de Turing vient également à bout de l'…
Lire la suite
-
CYBERLITTÉRATURE
Auteur :
Jean CLÉMENT
Dans le chapitre "Une littérature générée" : …
Les premiers essais de cyberlittérature sont aussi anciens que l'informatique elle-même. *Dès les années 1940, Alan Turing, logicien et pionnier de l'informatique, découvre les potentialités de l'ordinateur dans le domaine de la combinatoire en programmant des Lettres d'amour en forme de « cadavres exquis ». Mais c'est seulement à partir de…
Lire la suite
-
GÖDEL KURT (1906-1978)
Auteur :
Daniel ANDLER
Dans le chapitre "L'œuvre" : …
à la définition générale de fonction récursive, par Herbrand et Gödel, et à l'élucidation par *Turing de la notion de calculabilité, qui permettait de dégager la véritable généralité des théorèmes de Gödel. C'est en théorie des ensembles, à l'axiomatisation de laquelle il contribua, que Gödel fit sa troisième grande découverte, en…
Lire la suite
Afficher la liste complète (11 références)
Retour en haut
Bibliographie
T. Gottfried, Alan Turing : The Architect of the Computer Age, Franklin Watts, New York, 1996
F. H. Hinsley & A. Stripp, dir., Codebreakers : The Inside Story of Bletchley Park, Oxford University Press, 1994
A. Hodges, Alan Turing : The Enigma, 1983, rééd. Walker, New York, 2000
S. S. Turing, Alan M. Turing, Heffer, Cambridge, 1959.
Retour en haut
