La machine de Turing - Grand Format

Le nom d'Alan Turing est attaché à deux concepts, celui de machine de Turing, qui donne son titre à ce recueil, et celui de test de Turing. Une machine de Turing est un modèle mathématique simple pour tout processus de calcul, dont l'idée de base est qu'un homme en train de calculer peut être comparé à une machine. Ce modèle de la calculabilité a sa source dans un article de 1936 sur les nombres calculables, traduit ici pour la première fois en français.
Turing y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables et en déduit que le problème de la décision de Hilbert (Entscheidungsproblem) n'a pas de solution. En 1950, il publie "Les ordinateurs et l'intelligence", qui commence par ces mots : "Je propose de considérer la question : les machines peuvent-elles penser ? .