Alan Turing

A défini formellement le calcul et posé la question de l’intelligence des machines.

Biographie

Mathématicien et logicien britannique dont l’article de 1936 donna un modèle mathématique précis du calcul et démontra l’existence de problèmes indécidables. Son article de 1950 dans Mind proposa de remplacer la question de savoir si les machines peuvent penser par un test comportemental opérationnel.

Contributions clés

• La machine de Turing, et la preuve que certains problèmes n’admettent aucune solution algorithmique générale.
• La machine universelle, base théorique de l’ordinateur généraliste à programme enregistré.
• Le jeu de l’imitation, aujourd’hui appelé test de Turing, comme critère opérationnel d’intelligence des machines.

Impact

Russell et Norvig notent que l’article de 1950 anticipait aussi l’apprentissage automatique, les algorithmes génétiques et l’apprentissage par renforcement, et proposait d’instruire une machine comme on instruit un enfant plutôt que de programmer directement une compétence adulte.