George Boole (1815-1864) era un matematico britannico ed è conosciuto come il fondatore della logica matematica. Boole, che proveniva da una famiglia povera ed era essenzialmente un matematico autodidatta, fece conoscere la sua presenza nel mondo della matematica nel 1847 dopo la pubblicazione del suo libro "The Mathematical Analysis of Logic". Nel suo libro, Boole dimostrò con successo che la logica, come la insegnava Aristotele, poteva essere rappresentata da equazioni algebriche. Nel 1854, Boole stabilì saldamente la sua reputazione pubblicando "Un'indagine sulle leggi del pensiero, su cui si fondano le teorie matematiche della logica e delle probabilità", una continuazione del suo lavoro precedente.
Nel 1855 Boole, il primo professore di matematica al College of Cork, in Irlanda, sposò Mary Everest, che ora è conosciuta come matematica e insegnante a pieno titolo. Mary, che aveva 18 anni meno di Boole, servì come cassa di risonanza ed editore per suo marito durante i loro nove anni di matrimonio. Sfortunatamente, la scarsa scelta di cure mediche di Mary potrebbe aver accelerato la morte di Boole. Dopo essere stato sorpreso dalla pioggia e preso un raffreddore, Boole è stato messo a letto da sua moglie, che gli ha scaricato dei secchi d'acqua sulla base della teoria che qualunque cosa avesse causato la malattia avrebbe anche fornito la cura. (Le sembrava logico.) George e Mary avevano cinque figlie; la terza figlia, Alicia Boole Stott, divenne famosa per il suo lavoro nella visualizzazione di figure geometriche nell'iperspazio.
Il lavoro di Boole nella logica simbolica, noto collettivamente come "algebra booleana", è ampiamente considerato basato sul lavoro del precedente matematico GW Leibniz. Sebbene il lavoro di Boole sia stato ben accolto durante la sua vita, è stato considerato come matematica "pura" fino al 1938, quando Claude Shannon pubblicò la sua tesi al MIT. Shannon ha dimostrato che la logica simbolica di Boole, applicata alla rappresentazione di VERO e FALSO, potrebbe essere utilizzata per rappresentare le funzioni degli interruttori nei circuiti elettronici. Questo divenne la base per la progettazione elettronica digitale, con applicazioni pratiche nella commutazione telefonica e nell'ingegneria informatica.
Oggi, quando si utilizza un motore di ricerca su Internet, utilizziamo i concetti matematici di Boole per aiutarci a individuare le informazioni definendo una relazione tra i termini che inseriamo. Ad esempio, la ricerca di George AND Boole troverà tutti gli articoli in cui compaiono sia la parola George che la parola Boole. La ricerca di George OR Boole troverà ogni articolo in cui appare la parola George o la parola Boole. La chiamiamo ricerca booleana.