TURING ALAN MATHISON (1912-1954)

Articles

• TURING ALAN MATHISON (1912-1954)

  • Écrit par B. Jack COPELAND
  • 1 561 mots
  • 1 média
  

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

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

• ALGORITHME

  • Écrit par Alberto NAIBO et Thomas SEILLER
  • 5 919 mots
  • 4 médias
  ...moyen de manipulations séquentielles de type symbolique dans l’analyse de la notion de calculabilité que propose le mathématicien et logicien britannique Alan Turing (1912–1954). Ce dernier prend comme point de départ de son analyse ce que fait un agent humain lorsqu’il est en train d’effectuer un calcul,...

• APPLE

  • Écrit par Pierre MOUNIER-KUHN
  • 2 547 mots
  • 2 médias
  ...elle s’interdira de se diversifier dans la musique. Ce fruit symbolise aussi le génie créatif du physicien Isaac Newton. Il n’a rien à voir avec Alan Turing (un des fondateurs de l’informatique qui mit fin à ses jours en croquant une pomme empoisonnée au cyanure), dont les fondateurs d’Apple ignorent...

• COGNITIVES SCIENCES

  • Écrit par Daniel ANDLER
  • 19 262 mots
  • 4 médias
  ...sciences dans la période qui s'étend entre le milieu des 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...

• CRYPTOLOGIE

  • Écrit par Jacques STERN
  • 5 770 mots
  • 3 médias
  ...Bletchley Park, près de Londres, de nombreux spécialistes 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 ...

• DEEP BLUE, superordinateur

  • Écrit par Pierre MOUNIER-KUHN
  • 1 076 mots
  • 1 média
  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...

• GÖDEL KURT (1906-1978)

  • Écrit par Daniel ANDLER
  • 2 292 mots
  Les résultats d'incomplétude conduisaient également à 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.

• INTELLIGENCE ARTIFICIELLE (IA)

  • Écrit par Jean-Gabriel GANASCIA
  • 5 584 mots
  • 5 médias
  ...selon laquelle l’intelligence pourrait être simulée sur un ordinateur, elle avait déjà été émise dès 1948 par le mathématicien et logicien britannique Alan Turing (1912-1954) dans un article au titre évocateur, « Intelligent Machinery », puis avait été reprise et approfondie, toujours par Alan Turing,...

• INFORMATIQUE - Principes

  • Écrit par Jacques HEBENSTREIT
  • 3 060 mots
  • 2 médias
  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.

• LITTÉRATURE NUMÉRIQUE

  • Écrit par Jean CLÉMENT et Alexandra SAEMMER
  • 4 337 mots
  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...

• PENSÉE

  • Écrit par Pascal ENGEL
  • 8 304 mots
  • 1 média
  L'un des principaux fondateurs de la théorie logique des automates, Turing (1950), soutenait qu'il n'y avait aucune objection de principe à ce que les machines « pensent », pourvu qu'elles puissent imiter suffisamment de ce que nous appelons le comportement intelligent. À cela les philosophes ont opposé...

• PREMIERS ORDINATEURS - (repères chronologiques)

  • Écrit par Pierre MOUNIER-KUHN
  • 1 108 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....

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  Pour terminer, remarquons que les premiers modèles abstraits de calcul étaient eux-mêmes des interpréteurs. Ainsi, Alan Mathison Turing (1912-1954) considérait dès les années 1930, c'est-à-dire bien avant la naissance du premier ordinateur, des machines imaginaires composées d'une tête de lecture-écriture...

• RÉCURSIVITÉ, logique mathématique

  • Écrit par Kenneth Mc ALOON , Bernard JAULIN et Jean-Pierre RESSAYRE
  • 8 914 mots
  ...dans les registres 2 à p + 1). Si on fait appel à la thèse de Church, on peut donc admettre que ϕ̄ ∈ *F_R^(p+1) . Signalons au passage que l'existence d'une énumération universelle récursive avait été trouvée par le logicien A. Turing avant la construction des ordinateurs.

Média