TURING ALAN MATHISON (1912-1954)

Carte mentale

Élargissez votre recherche dans Universalis

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.

Jeunesse et études universitaires

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 La Machine de Turing). La même année, Turing part à l'université de Princeton pour faire une thèse sur la logique mathématique sous la direction de Church, achevée en 1938.

Alan Mathison Turing

Alan Mathison Turing

Photographie

Alan Mathison Turing en 1951. Ingénieur et mathématicien britannique, il s'est spécialisé dans le décryptage, puis dans la conception et la réalisation de calculateurs électroniques et dans l'intelligence artificielle. 

Crédits : Time&Life Pictures/ Getty

Afficher

L'Entscheidungsproblem, problème de la décision formulé par Hilbert, cherche une méthode fiable permettant de décider quels énoncés mathématiques sont prouvables ou non dans un système mathématique formel donné. En 1936, Turing et Church montrent, chacun de son côté, que ce problème n'a en général pas de solution, prouvant qu'aucun système arithmétique formel cohérent n'est décidable. Ce résultat et bien d'autres, notamment les théorèmes d'incomplétude du mathématicien et logicien [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 3 pages




Écrit par :

  • : professeur de philosophie et de directeur des archives Turing pour l'histoire de l'informatique à l'université Canterbury de Christchurch (Nouvelle-Zélande)

Classification


Autres références

«  TURING ALAN MATHISON (1912-1954)  » est également traité dans :

TURING MACHINE DE

  • Écrit par 
  • Bernard PIRE
  •  • 197 mots

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èm […] Lire la suite☛ http://www.universalis.fr/encyclopedie/machine-de-turing/#i_32390

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 832 mots

Dans le chapitre « Programme, interpréteur et compilateur »  : […] Un programme est tout d'abord un texte, c'est-à-dire une séquence de symboles. Pour prendre son sens en tant que programme, ce texte doit être mis en présence d'un mécanisme capable de le décoder et de produire un certain nombre de transformations. Ce mécanisme est appelé un interpréteur et l'ensemble des symboles utilisés est appelé le vocabulaire . To […] Lire la suite☛ http://www.universalis.fr/encyclopedie/programmation/#i_32390

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

Dans le chapitre « Quelques exemples de généralisation et d'application de la récursivité »  : […] On peut étendre la notion de calcul par machine en introduisant la possibilité de « consulter un oracle ». Par oracle, nous entendons ici un ensemble X d'entiers ; permettre à la machine de consulter l'oracle X, c'est l'autoriser à poser la question «  n  ∈ X ? » et à poursuivre son calcul selon la réponse qui lui est faite. On introduit, à cet effet, la notion de récursivité […] Lire la suite☛ http://www.universalis.fr/encyclopedie/recursivite-logique-mathematique/#i_32390

COGNITIVES SCIENCES

  • Écrit par 
  • Daniel ANDLER
  •  • 19 239 mots
  •  • 4 médias

Dans le chapitre « Le cognitivisme »  : […] Le cognitivisme conçoit la cognition comme un calcul sur des représentations internes ou mentales : un organisme, ou système cognitif, agit intelligemment dans son environnement en en formant des représentations (partielles, modèles des aspects pertinents eu égard à la tâche en cours) et en les modifiant, compte tenu de ses croyances et de ses désirs (ou des buts qui lui sont ou qu'il s'est assig […] Lire la suite☛ http://www.universalis.fr/encyclopedie/sciences-cognitives/#i_32390

INFORMATIQUE - Principes

  • Écrit par 
  • Jacques HEBENSTREIT
  •  • 3 097 mots
  •  • 2 médias

Dans le chapitre « Automates de Turing »  : […] Les automates définis dès 1936 par le mathématicien anglais Alan Mathison Turing se sont révélés d'excellents modèles abstraits des ordinateurs réalisés à partir de 1943. Un automate de Turing est composé d'un automate à nombre fini d'états, muni d'une tête de lecture-écriture devant laquelle se trouve un ruban divisé en cellules et qui peut se déplacer de droite à gauche et de gauche à droite. Ce […] Lire la suite☛ http://www.universalis.fr/encyclopedie/informatique-principes/#i_32390

INTELLIGENCE ARTIFICIELLE (IA)

  • Écrit par 
  • Jean-Gabriel GANASCIA
  •  • 5 073 mots
  •  • 5 médias

Dans le chapitre « Les précurseurs  »  : […] Cette discipline scientifique qu’est l’intelligence artificielle ne surgit pas de nulle part. Elle a emboîté le pas à la cybernétique, science des systèmes complexes et de leur commande, fondée dans les années 1940 et particulièrement active au début des années 1950. Celle-ci aspirait à modéliser la régulation des systèmes biologiques, psychiques, politiques ou sociaux avec des flux d’information […] Lire la suite☛ http://www.universalis.fr/encyclopedie/intelligence-artificielle-ia/#i_32390

PENSÉE

  • Écrit par 
  • Pascal ENGEL
  •  • 8 282 mots
  •  • 1 média

Dans le chapitre « Pensée, machines et fonctionnalisme »  : […] Tout cela peut-il être tenu comme une réfutation définitive du cartésianisme ? Jusqu'à un certain point seulement. Ce dernier s'accorde avec la psychologie du sens commun quand il traite les états mentaux comme des causes du comportement. Mais la difficulté propre au dualisme a toujours été d'expliquer l'interaction entre le mental et le physique, qu'il rend mystérieuse. Supprime-t-on le problème […] Lire la suite☛ http://www.universalis.fr/encyclopedie/pensee/#i_32390

CRYPTOLOGIE

  • Écrit par 
  • Jacques STERN
  •  • 5 754 mots
  •  • 2 médias

Dans le chapitre « Le XXe siècle »  : […] Les techniques qui viennent d'être présentées – transpositions, substitutions et répertoires – sont celles qui ont été utilisées durant la Première Guerre mondiale. Des historiens ont même relié certains événements du conflit à la faiblesse des cryptographes ou à la sagacité des cryptanalystes. C'est ainsi qu'on explique l'issue de la bataille de Tannenberg par les carences de l'état-major russe […] Lire la suite☛ http://www.universalis.fr/encyclopedie/cryptologie/#i_32390

PREMIERS ORDINATEURS - (repères chronologiques)

  • Écrit par 
  • Pierre MOUNIER-KUHN
  •  • 1 106 mots

1904 Le Britannique John Ambrose Fleming invente la diode, premier tube à vide comportant deux électrodes, qui permet de capter et de redresser un signal radio. 1906 L'Américain Lee De Forest invente la triode, tube à vide à trois électrodes, qui permet d'amplifier un faible courant électrique. Les tubes ou « lampes » de De Forest et de Flemi […] Lire la suite☛ http://www.universalis.fr/encyclopedie/premiers-ordinateurs-reperes-chronologiques/#i_32390

APPLE

  • Écrit par 
  • Pierre MOUNIER-KUHN
  •  • 2 539 mots
  •  • 2 médias

Dans le chapitre « Du bricolage à l’entreprise »  : […] La société Apple Computer a été créée le 1 er avril 1976 à Cupertino (Californie) par Steve Jobs, Steve Wozniak et Ronald G. Wayne – ce dernier, détenant 10 p. 100 des parts, se retire rapidement en les revendant deux semaines plus tard. Jobs avait travaillé comme programmeur pour Hewlett-Packard (HP) et pour Atari (société pionnière et fondatrice de l’industrie des jeux […] Lire la suite☛ http://www.universalis.fr/encyclopedie/apple/#i_32390

DEEP BLUE, superordinateur

  • Écrit par 
  • Pierre MOUNIER-KUHN
  •  • 1 072 mots
  •  • 1 média

Dans le chapitre « Le défi de l’intelligence artificielle »  : […] Dès les débuts de l’informatique, des chercheurs comme Alan Turing (1912-1954) ont envisagé la possibilité pour un ordinateur de jouer aux échecs, comme test d’intelligence de la machine. Dans les années 1950, la mise au point d’une méthode mathématique améliorant l’algorithme minimax de recherche du meilleur coup a constitué un progrès. En 1962 ont été présentés, au Massachusetts Institute of Te […] Lire la suite☛ http://www.universalis.fr/encyclopedie/deep-blue-superordinateur/#i_32390

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétud […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_32390

LITTÉRATURE NUMÉRIQUE

  • Écrit par 
  • Jean CLÉMENT, 
  • Alexandra SAEMMER
  •  • 4 340 mots

Dans le chapitre « Une littérature générée »  : […] Les premiers essais de littérature numérique 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 sous forme de « cadavres exquis », ce montage ludi […] Lire la suite☛ http://www.universalis.fr/encyclopedie/litterature-numerique/#i_32390

Voir aussi

Pour citer l’article

B. Jack COPELAND, « TURING ALAN MATHISON - (1912-1954) », Encyclopædia Universalis [en ligne], consulté le 23 avril 2019. URL : http://www.universalis.fr/encyclopedie/alan-mathison-turing/