George Boole

Da Wikipedia, l'enciclopedia libera.

George Boole

George Boole (Lincoln, 2 novembre 1815 – Ballintemple, 8 dicembre 1864) è stato un matematico e logico britannico, è considerato il fondatore della logica matematica. La sua opera influenzò anche settori della filosofia.

Fu praticamente un autodidatta e studiò la matematica fin da giovane sui testi di Laplace e Lagrange. Morì all'età di soli 49 anni per una grave forma febbrile causata da un banale raffreddore. Incoraggiato ed indirizzato da Duncan Gregory, curatore del Cambridge Mathematical Journal, Boole si dedicò allo studio di metodi algebrici per la risoluzione di equazioni differenziali e la pubblicazione dei suoi risultati sulla suddetta rivista gli fece ottenere una medaglia della Royal Society e, successivamente, nel 1849, la nomina alla cattedra di matematica al Queen's College di Cork. In questa sede egli insegnò per il resto della sua vita.

Dopo The Mathematical Analysis of Logic (del 1847), nel 1854 pubblicò la sua opera più importante, indirizzata alle leggi del pensiero, con la quale propose una nuova impostazione della logica: dopo aver rilevate le analogie fra oggetti dell'algebra e oggetti della logica, ricondusse le composizioni degli enunciati a semplici operazioni algebriche. Con questo lavoro fondò la teoria di quelle che attualmente vengono dette algebre di Boole (o, semplicemente, algebra booleana).

Successivamente si dedicò alle equazioni differenziali, argomento cui dedicò nel 1859 un testo che ebbe molta influenza in materia. Studiò anche il calcolo delle differenze finite, pubblicando nel 1860 il trattato Treatise on the Calculus of Finite Differences, e problemi generali del calcolo delle probabilità. Inoltre fu tra i primi ad esaminare proprietà fondamentali dei numeri, come la proprietà distributiva, in quanto proprietà in grado di caratterizzare alla base alcune teorie algebriche.

I suoi lavori matematici gli procurarono molti riconoscimenti. Coltivò anche molti interessi nella letteratura e nella filosofia: Aristotele, Cicerone, Dante e Spinoza erano i suoi autori preferiti.

Primo estimatore e continuatore della sua opera fu Augustus de Morgan. L'opera maggiore di Boole è stata la base per gli studi sui circuiti elettronici e sulla commutazione e ha costituito un passo importante verso la concezione dei moderni computer.

[modifica] Opere

The Mathematical Analysis of Logic (1847)
An Investigation of the Laws of Thought, on Which are founded the Mathematical Theories of Logic and Probabilities (1854)
Treatise of Differential Equations (1859)
Treatise of the Calculus of Finite Differences (1860)