Théorie Primitive
années 1930–années 1950 · Turing et la Naissance de l’Informatique
Avant l’existence des ordinateurs électroniques, les mathématiciens exploraient déjà une question profonde : les machines peuvent-elles « penser » ? Cette interrogation a conduit à l’émergence de fondements théoriques qui ont posé les bases mathématiques et logiques pour la naissance ultérieure de l’intelligence artificielle. Les pionniers de cette ère — Turing, Church, Gödel — n’ont pas seulement mené une exploration mathématique, mais aussi une réflexion philosophique sur la nature de l’esprit humain.
L’exploration théorique de cette ère se divise en trois axes principaux : le développement de la théorie du calcul (porté par Turing et Church), les limites de la logique formelle (travaux de Gödel) et la naissance de la théorie de l’information (contribution de Shannon). Ces trois directions s’entrelacent pour former la pierre angulaire théorique de l’intelligence artificielle.
Jalons importants
Théorèmes d’incomplétude de Gödel
Kurt Gödel a publié ses théorèmes d’incomplétude, démontrant que tout système formel suffisamment puissant contient des propositions qui ne peuvent être ni prouvées ni réfutées au sein de ce système. Cette découverte a non seulement bouleversé la communauté mathématique, mais a également eu des implications profondes pour la théorie du calcul et l’intelligence artificielle.
Kurt Gödel (1906–1978)
Thèse de Church-Turing
Alonzo Church et Alan Turing ont proposé indépendamment la célèbre thèse de Church-Turing. Cette thèse affirme que toute fonction effectivement calculable est Turing-calculable. Cela formalise la notion intuitive de « calculabilité » et est devenu le fondement de l’informatique.
Alonzo Church & Alan Turing
Machine de Turing
Alan Turing a introduit le concept de machine de Turing dans son article fondateur « On Computable Numbers, with an Application to the Entscheidungsproblem ». Ce modèle de calcul abstrait peut simuler tout processus mathématiquement calculable.
Alan Turing (1912–1954)
Lambda-calcul
Alonzo Church a proposé le lambda-calcul, un système formel pour la définition et l’application de fonctions. Le lambda-calcul est considéré comme le fondement théorique de la programmation fonctionnelle et l’un des premiers systèmes de types.
Alonzo Church (1903–1995)
Modèle de Neurone
Warren McCulloch et Walter Pitts ont publié « A Logical Calculus of the Ideas Immanent in Nervous Activity », introduisant le premier modèle de neurone artificiel (neurone McCulloch-Pitts). Ce modèle simplifiait les neurones en commutateurs à seuil binaire, jetant les bases pour les recherches ultérieures sur les réseaux de neurones.
Warren McCulloch & Walter Pitts
Cybernétique
Norbert Wiener a publié « Cybernetics: Or Control and Communication in the Animal and the Machine », fondant la nouvelle discipline de la cybernétique. L’étude de la manière dont les systèmes se régulent par des mécanismes de rétroaction a eu un impact profond sur l’IA et la robotique.
Norbert Wiener (1894-1964)
Théorie de l’Information de Shannon
Claude Shannon a publié « A Mathematical Theory of Communication », jetant les bases de la théorie de l’information. Des concepts comme l’entropie, le codage et la quantité d’information sont devenus des outils centraux pour comprendre les données et traiter l’information.
Claude Shannon (1916–2001)
Test de Turing
Dans « Computing Machinery and Intelligence », Turing remplaça l’ambiguë question « Les machines peuvent-elles penser ? » par le jeu de l’imitation, où un interrogateur tente, par un échange écrit, de distinguer une machine d’un humain. Il s’agit d’un critère comportemental, non d’une preuve de conscience.
Alan Turing
La proposition de Dartmouth de 1955
En 1955, John McCarthy, Marvin Minsky, Nathaniel Rochester et Claude Shannon employèrent le terme « artificial intelligence » dans la proposition du Dartmouth Summer Research Project et définirent un programme de recherche pour l’été 1956.
John McCarthy et al.
Personnalités importantes
Alan Turing
Père de l’Informatique
Turing fut non seulement le fondateur de l’informatique, mais aussi un pionnier de la pensée sur l’intelligence artificielle. Son modèle de machine de Turing a posé les fondements de la théorie du calcul, et le test de Turing a fourni un point de référence pour les machines intelligentes. Pendant la Seconde Guerre mondiale, ses travaux ont contribué au décryptage du code Enigma allemand. En 1954, Turing est mort après avoir été persécuté pour son homosexualité. En 2013, la reine Élisabeth II lui a accordé une grâce royale posthume.
Alonzo Church
Père du Lambda-calcul
Church était professeur à l’Université de Princeton. Son lambda-calcul est le fondement théorique de la programmation fonctionnelle. Son étudiant était Turing, et ensemble ils ont proposé la thèse de Church-Turing, qui demeure centrale dans la théorie du calcul.
Kurt Gödel
Logicien
Les théorèmes d’incomplétude de Gödel sont considérés comme l’une des découvertes mathématiques les plus importantes du XXe siècle. Ils montrent que même des systèmes précis comme les mathématiques ont des limites inhérentes — une intuition philosophique qui influence profondément le développement de l’IA.
Claude Shannon
Père de la Théorie de l’Information
Shannon fut non seulement le fondateur de la théorie de l’information, mais aussi un explorateur précoce de l’intelligence artificielle. Il a construit une souris mécanique (Thésée) capable de résoudre des labyrinthes — l’une des premières démonstrations de machine apprenante. Sa thèse de maîtrise de 1937 « A Symbolic Analysis of Relay and Switching Circuits » est considérée comme fondatrice de la théorie des circuits de commutation numériques.
Norbert Wiener
Père de la Cybernétique
Wiener était mathématicien au MIT et fondateur de la cybernétique, un champ interdisciplinaire. Son concept de « rétroaction » a influencé les premières recherches en IA. Wiener fut également le premier à mettre en garde contre les dangers que l’IA pourrait représenter.
Citations célèbres
Je propose de considérer la question suivante : « Les machines peuvent-elles penser ? »
Tout système formel suffisamment puissant est incomplet.
Le danger des machines ne réside pas dans les machines elles-mêmes, mais dans la dépendance de l’homme envers elles.