Jean McCarthy (John McCarthy en anglais), né le 4 septembre 1927 à Boston et mort le 24 octobre 2011 à Stanford, est un informaticien américain. Il est considéré comme l'un des pères fondateurs de l'intelligence artificielle (IA).
Ses principaux travaux portent sur la théorie des algorithmes, les langages de programmation et le raisonnement automatique. Il a été l'un des premiers à mettre en pratique la programmation symbolique, avec son programme Lisp, qui est devenu un des langages de programmation les plus influents dans le domaine de l'IA.
En 1956, il a inventé le concept de la démonstration automatique (Automated Theorem Proving), en développant un algorithme permettant à un programme informatique d'énoncer et de prouver des théorèmes mathématiques. Ce travail a été largement considéré comme ayant ouvert le champ de la logique formelle, qui est une branche de l'IA se concentrant sur le raisonnement automatique.
En 1958, il a inventé le concept de base de données relationale (Relational Database), ce qui est considéré comme un des éléments clés pour la conception de systèmes de gestion de bases de données modernes.
John McCarthy a reçu de nombreux prix et récompenses pour ses travaux, notamment le Prix Turing en 1971. Il est décédé en octobre 2011 à l'âge de 84 ans. Son travail continue d'avoir un impact considérable sur les domaines de la programmation, de l'IA et de la conception de systèmes informatiques.
Ses principaux travaux portent sur la théorie des algorithmes, les langages de programmation et le raisonnement automatique. Il a été l'un des premiers à mettre en pratique la programmation symbolique, avec son programme Lisp, qui est devenu un des langages de programmation les plus influents dans le domaine de l'IA.
En 1956, il a inventé le concept de la démonstration automatique (Automated Theorem Proving), en développant un algorithme permettant à un programme informatique d'énoncer et de prouver des théorèmes mathématiques. Ce travail a été largement considéré comme ayant ouvert le champ de la logique formelle, qui est une branche de l'IA se concentrant sur le raisonnement automatique.
En 1958, il a inventé le concept de base de données relationale (Relational Database), ce qui est considéré comme un des éléments clés pour la conception de systèmes de gestion de bases de données modernes.
John McCarthy a reçu de nombreux prix et récompenses pour ses travaux, notamment le Prix Turing en 1971. Il est décédé en octobre 2011 à l'âge de 84 ans. Son travail continue d'avoir un impact considérable sur les domaines de la programmation, de l'IA et de la conception de systèmes informatiques.
