Il a introduit un modèle mathématique du calcul, aujourd’hui appelé machine de Turing, qui a aidé à formaliser la calculabilité et ses limites.
Clarifier un terme, examiner des preuves ou situer une idée.
inAiLoading page content...
Clarifier un terme, examiner des preuves ou situer une idée.
inAiLoading page content...
Profil · fondements
Plan pour cette page
Turing a contribué à définir mathématiquement ce que signifie calculer, puis s’est demandé comment rendre vérifiables les affirmations sur l’intelligence des machines.
Contributions
Il a introduit un modèle mathématique du calcul, aujourd’hui appelé machine de Turing, qui a aidé à formaliser la calculabilité et ses limites.
Il a participé au développement de méthodes de cryptanalyse à Bletchley Park au sein d’un vaste effort collectif réunissant mathématiciens, opérateurs, ingénieurs et services de renseignement.
Il a proposé en 1950 le jeu de l’imitation pour discuter concrètement de l’intelligence des machines sans devoir d’abord résoudre la définition abstraite de la pensée.
Il a contribué aux premiers ordinateurs à programme enregistré et a exploré les machines apprenantes ainsi que la formation de motifs biologiques.
Les travaux de Turing dans les années 1930 s’inscrivent dans une recherche plus large en logique mathématique visant à définir le calcul effectif. Sa machine abstraite n’était pas le plan d’un ordinateur moderne particulier, mais un moyen précis de raisonner sur les algorithmes, l’universalité et les problèmes qu’aucune procédure ne peut résoudre.
Le jeu de l’imitation de 1950 est souvent réduit à un « test de Turing » binaire. L’article est plus vaste : il examine des objections, l’apprentissage des machines et l’évolution possible du langage public sur la pensée. Il vaut mieux le lire comme un argument et un cadre expérimental influents, et non comme la mesure définitive de l’intelligence ou de la conscience.
Contexte, limites et débats
Sources et périmètre
Biographie institutionnelle couvrant les travaux de Turing sur la calculabilité, la cryptanalyse de guerre, les débuts de l’informatique et la morphogenèse ; utile pour la chronologie, mais pas pour transformer des projets collectifs en réalisations d’une seule personne.
Archive de l’article de Turing de 1950, qui reformule la question de la pensée des machines à travers le jeu de l’imitation ; l’article propose un argument et un cadre de test, et non une définition universelle de l’intelligence.
Extraits d’archive qui conservent les propres réserves de Turing sur le jeu de l’imitation et la pensée des machines ; ils doivent être lus dans le contexte de l’article complet.