En 1854, le mathématicien George Boole publie un ouvrage où il soutient que le raisonnement logique peut se ramener à de l'algèbre — que les énoncés sont soit vrais, soit faux, et que toute façon de les combiner se résume à trois opérations : ET, OU et NON. À l'époque, cela ressemblait à de la pure abstraction. Un siècle plus tard, c'est devenu le plan de travail de fond pour chaque appareil numérique de la planète, parce qu'un transistor s'avère être une remarquablement bonne implémentation physique d'un interrupteur vrai-ou-faux.
D'une notation mathématique à un interrupteur physique
Un transistor est, dans sa forme la plus simple, une porte contrôlée par une tension — allumée ou éteinte, courant qui passe ou pas — qui correspond exactement au vrai ou faux de Boole. Câble quelques transistors ensemble selon le bon schéma et tu obtiens une porte logique : une porte ET ne renvoie vrai que si ses deux entrées sont vraies ; une porte OU renvoie vrai si l'une ou l'autre entrée l'est ; une porte NON inverse simplement son unique entrée. À partir de là, les ingénieurs en dérivent d'autres — NON-ET, NON-OU, OU exclusif — mais l'une d'elles, NON-ET, s'avère spéciale : toute autre porte, et par extension toute fonction booléenne calculable qui existe, peut être construite uniquement à partir de portes NON-ET. C'est pourquoi la fabrication de puces peut se standardiser autour de la production d'immenses grilles répétitives d'essentiellement un seul composant.
Comment une poignée de portes devient « additionne ces nombres » ou « ce visage correspond-il »
Combine des portes dans le bon agencement et tu obtiens un circuit qui additionne deux chiffres binaires et reporte correctement le débordement — un additionneur complet. Enchaîne suffisamment d'additionneurs complets et tu peux additionner des nombres de n'importe quelle taille. Empile cette logique aux côtés de circuits de mémoire et de circuits de contrôle, à l'échelle des milliards de transistors d'une puce moderne, et le même mécanisme élémentaire — vrai, faux, ET, OU, NON — se retrouve sous l'arithmétique, les comparaisons, et, avec suffisamment de couches d'abstraction par-dessus, quelque chose qui ressemble à reconnaître un visage ou à prédire le mot suivant dans une phrase. Aussi sophistiqué que paraisse le comportement en surface, ce sont toujours des cascades d'interrupteurs vrai-faux en dessous, jusqu'au bout.
Ce dont on n'est pas encore sûrs
Ce modèle booléen est ce sur quoi tourne tout ordinateur classique, mais il vaut la peine de préciser où il s'arrête. L'informatique quantique repose sur un mécanisme élémentaire véritablement différent — le qubit, qui porte une superposition d'états plutôt qu'un vrai ou faux strict et arrêté — et ce n'est pas simplement « de la logique booléenne plus puissante » tournant plus vite. C'est un modèle de calcul entièrement différent, réellement utile pour un ensemble restreint de problèmes où cette superposition peut être exploitée, et non une version généraliste plus rapide du téléphone dans ta poche. Considérer les ordinateurs quantiques comme une mise à niveau de la logique classique, plutôt que comme un outil différent pour un travail différent, est une méprise courante mais bien réelle.
Ceci s'inscrit dans Logique numérique et circuits booléens, l'un des huit sujets du Génie électrique, l'un des quatre domaines de l'Ingénierie, l'une des dix-sept matières sur lesquelles l'appli peut t'interroger.