Boole George

Boole George

Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento 1 e un elemento 0 in modo che per ogni elemento x- dell'insieme esista un unico elemento x tale che sup{x,x-} =1, inf{x,x-} =0. Un esempio di algebra di B. è il sistema di tutti i sottinsiemi di un dato insieme Q, parzialmente ordinato dalla relazione di inclusione; l'elemento 1 è in questo caso l'insieme Q, l'elemento 0 è l'insieme vuoto e x-=Q/x per ogni x. Inizialmente concepita per la risoluzione matematica di problemi di logica, si è posta alla base della formalizzazione del modo di funzionare dei circuiti logici elettronici: v. circuiti logici: I 618 b.