TURING MACHINE DE

Articles

• 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
  • 3 médias
  ...symboles sur une feuille, que l’on peut supposer divisée en cases comme un cahier d’écolier. » Cette analyse mène Turing à modéliser le calcul au moyen de machines « idéalisées », ce qu’on appelle aujourd’hui les machines de Turing. Elles sont constituées par un ruban infini et divisé en cases, ainsi que...

• COGNITIVES SCIENCES

  • Écrit par Daniel ANDLER
  • 19 262 mots
  • 4 médias
  ...une sorte d'« espèce naturelle », insensible à de larges variations de définition. Et les calculs auxquels sont soumises les représentations mentales peuvent être par exemple décrits comme ceux qu'exécute une machine de Turing, ou, encore, comme on peut le dire aujourd'hui, un ordinateur numérique.

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

• OBJET UNIVERSEL, mathématique

  • Écrit par Patrick DEHORNOY
  • 1 050 mots

  Des objets universels apparaissent dans de multiples contextes mathématiques, mais l'idée de base est commune : un objet universel est un objet à partir duquel tous les autres membres de la famille considérée peuvent se reconstruire. Par conséquent, un objet universel est, quand il existe, le plus grand,...

• PENSÉE

  • Écrit par Pascal ENGEL
  • 8 304 mots
  • 1 média
  ...d'objections a priori. Certaines tiennent à la nature proprement logique des programmes sur lesquels sont fondés les travaux d'intelligence artificielle. Le modèle théorique des « machines logiques » est celui des « machines de Turing », qui sont des systèmes finis d'instructions pour accomplir des actions...

• 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ÉSEAUX DE NEURONES (biologie)

  • Écrit par Jean-Gaël BARBARA
  • 2 492 mots
  • 3 médias
  ...S. McCulloch dans la perspective cybernétique, pour préciser les conditions d’excitation d’un neurone dans des schémas de réseaux s’apparentant à des machines de Turing, et dans la perspective de la logique propositionnelle et de l’algèbre de Boole. Ce qui permet à McCulloch de formaliser des fonctions...

• TURING ALAN MATHISON (1912-1954)

  • Écrit par B. Jack COPELAND
  • 1 561 mots
  • 1 média
  ...Church » – ou de « thèse de Church et Turing » lorsqu'il est énoncé sous la forme : toute fonction effectivement calculable peut être calculée par une machine de Turing universelle, un type d'ordinateur abstrait que Turing a introduit au cours de sa preuve. Turing montre en 1936 que sa thèse et celle...