Boole, George

Boole, George (Lincoln 1815 - Cork 1864), logico e matematico britannico. Formatosi principalmente come autodidatta con l’aiuto del padre, coltivò dapprima l’interesse per le lingue, e in particolare del latino, e solo a partire dal 1935 quello per la matematica. Pubblicò diversi studi sul Cambridge Mathematical Journal e, in particolare, uno sulle applicazioni dei metodi algebrici alla risoluzione delle equazioni differenziali, che gli valse un riconoscimento della Royal Society. Nel 1849 venne nominato professore di matematica al Queen's College (l’attuale University College) di Cork, in Irlanda, incarico che conservò per tutta la vita, guadagnandosi fama di insegnante appassionato e capace.

Il massimo contributo di Boole consiste nell’aver sviluppato una nuova disciplina matematica, un sistema algebrico fondato sugli schemi della logica, oggi noto come algebra booleana; in essa le proposizioni vengono formalizzate con una notazione simbolica e le procedure di calcolo si possono condurre grazie a operatori matematici corrispondenti alle leggi della logica. L’algebra di Boole costituisce oggi la struttura logica su cui si basa il funzionamento di sistemi elettronici e informatici.

Boole si occupò inoltre di equazioni differenziali, di calcolo delle differenze finite e di calcolo delle probabilità. Nel corso della sua vita pubblicò una cinquantina articoli e ricevette numerosi riconoscimenti, tra i quali le lauree ad honorem delle università di Dublino e di Oxford.