Boole, George

Enciclopedia on line

Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali e sul calcolo delle differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse un nuovo tipo di algebra che da lui prende nome e che ha assunto oggi grande importanza principalmente per le sue applicazioni nella teoria e nell'impiego degli elaboratori elettronici.

CATEGORIE
TAG

Equazioni differenziali

Logica matematica

Royal society

Lincoln

Algebra