Nel 1854 il matematico George Boole pubblicò un libro che sosteneva come il ragionamento logico potesse essere ridotto ad algebra — che le affermazioni sono vere o false, e che ogni modo di combinarle si riduce a tre operazioni: AND, OR e NOT. All'epoca sembrava pura astrazione. Un secolo dopo divenne lo schema di lavoro per ogni dispositivo digitale del pianeta, perché un transistor si rivela essere un'implementazione fisica notevolmente valida di un interruttore vero-o-falso.
Da una notazione matematica a un interruttore fisico
Un transistor è, nella sua forma più semplice, una porta controllata da un voltaggio — acceso o spento, corrente che scorre o meno — il che si sovrappone direttamente al vero o falso di Boole. Collega insieme un manciata di transistor nello schema giusto e ottieni una porta logica: una porta AND produce vero solo se entrambi gli input sono veri; una porta OR produce vero se almeno uno dei due input lo è; una porta NOT si limita a invertire il suo unico input. Da queste, gli ingegneri ne derivano altre — NAND, NOR, XOR — ma una di esse, la NAND, si rivela speciale: ogni altra porta, e per estensione ogni funzione booleana calcolabile esistente, può essere costruita a partire dalle sole porte NAND. Ecco perché la produzione di chip può standardizzarsi attorno alla fabbricazione di griglie enormi e ripetitive di sostanzialmente un solo componente.
Come una manciata di porte diventa "somma questi numeri" oppure "questo volto corrisponde"
Combina le porte nella disposizione giusta e ottieni un circuito che somma due cifre binarie e ne riporta correttamente il resto — un sommatore completo. Concatena abbastanza sommatori completi e puoi sommare numeri di qualsiasi dimensione. Affianca quella logica a circuiti di memoria e circuiti di controllo, scalati fino ai miliardi di transistor di un chip moderno, e lo stesso elemento primitivo — vero, falso, AND, OR, NOT — è ciò che sta sotto l'aritmetica, i confronti, e, con abbastanza livelli di astrazione sopra, qualcosa che somiglia a riconoscere un volto o prevedere la parola successiva in una frase. Per quanto sofisticato appaia il comportamento in superficie, sotto restano cascate di interruttori vero-falso, fino in fondo.
Su cosa non abbiamo ancora le idee chiare
Questo modello booleano è ciò su cui gira ogni computer convenzionale, ma vale la pena essere precisi su dove si ferma. Il calcolo quantistico parte da un elemento primitivo genuinamente diverso — il qubit, che mantiene una sovrapposizione di stati anziché un rigido e definito vero o falso — e non è semplicemente "logica booleana più potente" che gira più in fretta. È un modello computazionale completamente diverso, genuinamente utile per un insieme ristretto di problemi in cui quella sovrapposizione può essere sfruttata, non una versione più veloce e general-purpose del telefono che hai in tasca. Trattare i computer quantistici come un aggiornamento della logica classica, anziché come uno strumento diverso per un compito diverso, è un fraintendimento comune ma reale.
Questo argomento fa parte di Logica Digitale e Circuiti Booleani, uno degli otto argomenti in Ingegneria Elettrica, uno dei quattro ambiti in Ingegneria, una delle diciassette materie su cui l'app può interrogarti.