Architecte de la logique symbolique : comment John McCarthy a créé Lisp, le temps partagé et les bases de l’IA

En 1944, le jeune John McCarthy fait son entrée au California Institute of Technology (Caltech) après avoir assimilé en autonome l'intégralité du programme de mathématiques de licence grâce à des manuels étudiés pendant son adolescence. D'après la biographie de McCarthy, cette préparation autodidacte lui a permis de sauter ses deux premières années de cours de mathématiques à Caltech. Après une interruption pour accomplir son service militaire dans l'armée américaine, il y retourne afin d'obtenir son diplôme de Bachelor of Science en mathématiques en 1948. Cette maîtrise précoce des structures mathématiques pose les bases d'une carrière qui allait transformer le calcul à haut niveau.

De l'apprentissage autodidacte des mathématiques à Dartmouth

Après avoir obtenu son doctorat à l'université de Princeton en 1951, McCarthy rejoint le corps professoral du Dartmouth College en tant que professeur assistant en 1955. Il prend rapidement conscience que le domaine naissant de la pensée mécanisée exige une identité scientifique cohérente. Au cours de l'été 1956, McCarthy rédige une proposition d'atelier aux côtés de Marvin Minsky, Nathaniel Rochester et Claude Shannon. Ce document introduit l'expression « intelligence artificielle » dans le lexique scientifique, inaugurant une discipline dédiée fondée sur le principe selon lequel l'apprentissage et les autres caractéristiques de l'intelligence peuvent être décrits avec précision et simulés par des machines.

La création de Lisp et la gestion de la mémoire

À la fin des années 1950, après avoir rejoint le Massachusetts Institute of Technology (MIT), McCarthy s'attaque à une contrainte technique fondamentale : les langages informatiques de l'époque sont mal adaptés à la manipulation symbolique. Pour y remédier, il développe le langage de programmation Lisp en s'appuyant sur des expressions symboliques et la syntaxe du lambda-calcul, puis publie en 1960 l'article détaillant ce langage. Afin de rendre l'exécution symbolique dynamique praticable sur des matériels limités, McCarthy invente le ramasse-miettes automatique (garbage collection) vers 1959, libérant ainsi les programmeurs de l'allocation manuelle de la mémoire. Durant la même période, en août 1959, alors qu'il siège au sein d'un comité de l'Association for Computing Machinery (ACM), il propose d'ajouter la récursivité et les expressions conditionnelles à ALGOL, contribuant ainsi à établir des schémas de conception essentiels pour les langages de programmation modernes.

Pionnier du temps partagé et de l'informatique comme service public

McCarthy prend également conscience que le traitement par lots sur les ordinateurs centraux crée un goulet d'étranglement majeur pour la productivité de la recherche. Il milite pour l'interaction en temps réel et joue un rôle déterminant dans la mise au point des premiers systèmes en temps partagé, notamment le Compatible Time-Sharing System (CTSS), le BBN Time-Sharing System et le Dartmouth Time-Sharing System. En permettant à plusieurs utilisateurs d'accéder simultanément au matériel central, McCarthy remanie en profondeur la gestion des ressources. Lors d'un discours prononcé en 1961 à l'occasion du centenaire du MIT, il développe cette vision architecturale en proposant le concept d'informatique comme service public (utility computing), suggérant que la puissance de calcul interactive et les applications spécialisées pourraient un jour être distribuées aux utilisateurs de la même manière que l'eau ou l'électricité.

Logique, circonscription et reconnaissance de la communauté scientifique

McCarthy consacre des décennies à perfectionner des cadres logiques dédiés au raisonnement fondé sur le sens commun. En 1966, il dirige l'équipe qui conçoit un programme d'échecs pour le match Kotok-McCarthy face à des informaticiens soviétiques, un test d'algorithmes de jeu qui se solde par deux nuls et deux défaites pour l'équipe de McCarthy. De 1978 à 1986, il met au point la circonscription, une méthode mathématique permettant de formaliser le raisonnement non monotone face à des informations incomplètes. L'ensemble des contributions de McCarthy à l'intelligence artificielle, au calcul symbolique et à la conception des systèmes lui vaut de recevoir le prix Turing de l'Association for Computing Machinery en 1971.

Les premiers travaux de McCarthy sur le temps partagé et l'informatique comme service ont posé les fondations conceptuelles des réseaux de serveurs modernes et des infrastructures cloud. En associant la logique mathématique à la gestion automatisée de la mémoire, ses choix d'architecture ont établi des paradigmes logiciels majeurs qui continuent d'étayer les systèmes informatiques actuels et l'ingénierie logicielle contemporaine.

Illustration éditoriale générée par IA ; ce n’est pas une photographie documentaire.

Source: John McCarthy (computer scientist)