In 1854 publiceerde de wiskundige George Boole een boek waarin hij betoogde dat logisch redeneren te herleiden was tot algebra — dat uitspraken ofwel waar ofwel onwaar zijn, en dat elke manier om ze te combineren neerkomt op drie bewerkingen: EN, OF, en NIET. Destijds las het als pure abstractie. Een eeuw later werd het de werktekening voor elk digitaal apparaat op de planeet, omdat een transistor een opvallend goede fysieke uitvoering van een waar-of-onwaarschakelaar blijkt te zijn.
Van wiskundige notatie naar fysieke schakelaar
Een transistor is, in de eenvoudigste vorm, een poort die door spanning wordt bestuurd — aan of uit, stroom die wel of niet vloeit, wat direct overeenkomt met Booles waar of onwaar. Bedraad een handvol transistors in het juiste patroon en je krijgt een logische poort: een EN-poort geeft alleen waar terug als beide invoerwaarden waar zijn; een OF-poort geeft waar terug als minstens één invoerwaarde dat is; een NIET-poort keert simpelweg zijn ene invoerwaarde om. Daaruit leiden ingenieurs andere poorten af — NAND, NOR, XOR — maar één daarvan, NAND, blijkt bijzonder: elke andere poort, en bij uitbreiding elke berekenbare booleaanse functie die bestaat, kan uitsluitend uit NAND-poorten worden opgebouwd. Dat is waarom chipfabricage kan standaardiseren rond het produceren van enorme, herhalende rasters van in wezen één component.
Hoe een handvol poorten "tel deze getallen op" of "komt dit gezicht overeen" wordt
Combineer poorten in de juiste opstelling en je krijgt een schakeling die twee binaire cijfers optelt en de overloop correct doorgeeft — een volledige optelschakeling. Schakel er genoeg achter elkaar en je kunt getallen van elke grootte optellen. Stapel die logica naast geheugenschakelingen en besturingsschakelingen, opgeschaald naar de miljarden transistors op een moderne chip, en hetzelfde primitief — waar, onwaar, EN, OF, NIET — zit onder rekenkunde, vergelijkingen, en, met genoeg lagen abstractie erbovenop, iets wat lijkt op het herkennen van een gezicht of het voorspellen van het volgende woord in een zin. Hoe geraffineerd het gedrag aan de oppervlakte ook lijkt, onder de motorkap zijn het nog altijd cascades van waar-onwaarschakelaars, helemaal tot op de bodem.
Waar we nog niet zeker van zijn
Dit booleaanse model is waar elke conventionele computer op draait, maar het is de moeite waard om precies te zijn over waar het ophoudt. Kwantumcomputers werken vanuit een werkelijk ander primitief — de qubit, die een superpositie van toestanden vasthoudt in plaats van een strikte, vaststaande waar of onwaar — en dat is niet gewoon "krachtigere booleaanse logica" die sneller draait. Het is een compleet ander rekenmodel, één dat werkelijk nuttig is voor een smalle groep problemen waar die superpositie te benutten valt, niet een snellere, algemeen inzetbare versie van de telefoon in je zak. Kwantumcomputers behandelen als een upgrade van klassieke logica, in plaats van als een ander gereedschap voor een andere klus, is een veelvoorkomend maar echt misverstand.
Dit valt onder Digitale Logica & Booleaanse Schakelingen, een van acht onderwerpen binnen Elektrotechniek, een van vier domeinen binnen Techniek, een van zeventien vakken waarover de app je kan overhoren.