Branca della matematica che utilizza i soli numeri 1 e 0 e le sole operazioni AND, OR e NOT (sistema Binario); per estensione si parla di un circuito logico quando in quel circuito esistono solo 2 livelli di tensione significativi, assimilati a 0 e 1 (vd. bit), e questi livelli vengono trattati da circuiti integrati che realizzano fisicamente le funzioni matematiche AND, OR e NOT.
Un integrato logico è un circuito integrato che realizza una funzione di trasferimento di tipo logico (cioè le cui uscite e i cui ingressi possono assumere solo 2 valori di tensione o corrente, assimilabili a 0 e ad 1) e che per ottenere questa funzione di trasferimento utilizza al suo interno una quantità più o meno elevata di circuiti che realizzano singolarmente ognuno una funzione elementare AND, OR oppure NOT. Una variabile è di tipo booleano (boolean) se può assumere solo due valori: TRUE (vero) o FALSE (falso), cfr. Bit.(Algebra di Boole). Teoria della numerazione binaria di Leibniz (XVII sec.)
Nasce il 2 novembre 1815 a Lincoln (Lincolnshire, Gran Bretagna). Sviluppò assieme ad Auguste De Morgan la logica matematica moderna e il metodo simbolico. Boole e De Morgan costruirono l'algebra della logica (o algebrea booleana), staccando la logica dalla filosofia (Logica Aristotelica) e legandola alla matematica. Si riporta un brano tratto dal libro di Carl B. Boyer, Storia della Matematica:
"Con Boole la matematica non viene più pensata come una scienze limitata alla considerazione dei numeri e delle grandezze continue. La caratteristica essenziale della matematica non è tanto il suo contenuto quanto la sua forma. Se un argomento qualsiasi viene presentato in maniera tale che esso consista di simboli e di precise regole di operazioni su questi simboli, le quali sono soggette soltanto alla condizione di presentare una coerenza interna, tale argomento fa parte della matematica".
George Boole muore nel 1864 a Ballintemple (County Cork, Irlanda).
--Andre@ 05:32, Dic 19, 2005 (W. Europe Standard Time)