George Boole

A causa della povertà della sua famiglia, fu autodidatta; studiò greco, latino, francese, tedesco, italiano e, fin da giovane, matematica sui testi di Laplace e Lagrange. Incoraggiato e 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 rivista gli fece ottenere la medaglia della Royal Society e nel 1849, la nomina alla cattedra di matematica al Queen's College di Cork, dove insegnò per il resto della sua vita.^[1] Il 24 novembre 1864 mentre si recava al college venne colto da un temporale improvviso. Arrivato a destinazione pur di non fare ritardo alla lezione che doveva tenere, invece di cambiarsi, rimase tutto fradicio. Ciò causò un raffreddore che degenerò in polmonite. Ad aggravare la situazione vi fu la moglie che lo curò nei giorni successivi mediante ripetuti lavaggi di acqua gelida. Si spense l'8 dicembre 1864, a soli 49 anni.

Con l'opera The Mathematical Analysis of Logic (del 1847), scritta sulla scia della polemica insorta fra Augustus De Morgan e William Sterling Hamilton (da non confondere con il matematico e fisico William Rowan Hamilton) circa la quantificazione del predicato, propose un'interpretazione del rapporto fra matematica, logica e filosofia che prevedeva l'associazione tra logica e matematica al posto di quella fra logica e metafisica; Boole considerava la logica alla stregua della scienza delle leggi dei simboli attraverso i quali si esprimono i pensieri, e applicò parte della filosofia algebrica cantabrigense al settore inesplorato della logica formale.^[2]

Nel 1854 pubblicò la sua opera più importante, An Investigation of the Laws of Thought, indirizzata alle leggi del pensiero, con la quale propose una nuova impostazione della logica: scopo dell'opera fu quello di studiare le leggi delle operazioni mentali alla base del ragionamento, esprimendole nel linguaggio simbolico del calcolo e di istituire, di conseguenza, una disciplina scientifica della logica sorretta da un metodo; dopo aver rilevato 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 delle algebre di Boole (o, semplicemente, "algebra booleana"). Pur mantenendo distinte le operazioni, la scienza della logica nella forma algebrica, dall'algebra in quanto settore della matematica, e le leggi logiche dai settori delle scienze naturali, Boole donò alla logica un abito matematico algebrico.^[2]

Successivamente si dedicò alle equazioni differenziali, argomento cui dedicò nel 1859 un testo che ebbe molta importanza. 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à.^[1] Inoltre fu tra i primi a 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 interessi nella letteratura e nella filosofia: Aristotele, Cicerone, Dante e Spinoza erano i suoi autori preferiti.

L'opera maggiore di Boole è stata la base (grazie a Claude Shannon, che ha riconosciuto la coincidenza tra il funzionamento dei circuiti commutatori e la logica proposizionale) degli studi sui circuiti elettronici e sulla commutazione, e ha costituito un passo importante verso la concezione dei moderni computer.

Nel campo della logica i suoi più grandi meriti sono stati l'applicazione del calcolo simbolico alla logica, e il superamento del modello aristotelico in quanto non sufficiente a sorreggere l'impalcatura della logica stessa. I cosiddetti "valori booleani", essenziali e importantissimi, sono utilizzati molto frequentemente in informatica, dai linguaggi di basso livello (Assembly) a quelli di alto livello e alle tecnologie web.

Primo estimatore e continuatore della sua opera fu Augustus De Morgan.

• Researches on the Theory of Analytical Transformations, with a special application to the Reduction of the General Equation of the Second Order in The Cambridge Mathematical Journal, 2: 64–73, 1841.
• On Certain Theorems in the Calculus of Variations in The Cambridge Mathematical Journal, 2: 97–102, 1841.
• On the Integration of Linear Differential Equations with Constant Coefficients, in The Cambridge Mathematical Journal, 2: 114–119, 1841.
• The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Macmillan, Barclay, & Macmillan, Cambridge, 1847.
• The Calculus of Logic in The Cambridge and Dublin Mathematical Journal, 3: 183–198, 1848.
• An Investigation of The Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, 1854.
• A Treatise on Differential Equations, Macmillan, Cambridge, 1859.
• A Treatise on the Calculus of Finite Differences, Macmillan, Cambridge, 1860.

• Indagine sulle leggi del pensiero, su cui sono fondate le teorie matematiche della logica e della probabilità, Torino, Einaudi, 1976.
• L'analisi matematica della logica, Torino, Bollati Boringhieri, 1993. ISBN 978-88-339-0736-9.

• William Calvert Kneale, Martha Kneale, Storia della logica, Einaudi, Torino, 1972.
• Corrado Mangione, Silvio Bozzi, Storia della logica: da Boole ai nostri giorni, Garzanti, Milano, 1993. ISBN 88-11-59966-0.
• Massimo Mugnai, Introduzione a G. Boole, L'Analisi matematica della logica, Bollati Boringhieri, Torino, 1993, pp. VII-LVIII. ISBN 978-88-339-0736-9.
• T. Hailperin, Boole's Algebra Isn't Boolean Algebra, in J. Gasser, A Boole Anthology, Kluwer, Dordrecht, 2000. ISBN 0-7923-6380-9.
• V. Sanchez, Algebra of Logic, in AA.VV, Handbook of the history of logic, Vol. 3: "The rise of modern logic: from Leibniz to Frege", Elsevier, Amsterdam, 2004. ISBN 0-444-51611-5.
• T. Hailperin, Algebraic logic, in AA.VV, Handbook of the history of logic, Vol. 3: "The rise of modern logic: from Leibniz to Frege", Elsevier, Amsterdam, 2004. ISBN 0-444-51611-5.

• Algebra booleana

•   Wikisource contiene una pagina dedicata a George Boole
•   Wikisource contiene una pagina in lingua inglese dedicata a George Boole
•   Wikiquote contiene citazioni di o su George Boole
•   Wikimedia Commons contiene immagini o altri file su George Boole

• Boole, George, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.  
• Giovanni Vacca, BOOLE, George, in Enciclopedia Italiana, Istituto dell'Enciclopedia Italiana, 1930.  
• Boole, George, su sapere.it, De Agostini.  
• Boole, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.  
• (EN) George Boole, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.  
• (EN) George Boole, su MacTutor, University of St Andrews, Scotland.  
• Opere di George Boole, su MLOL, Horizons Unlimited.  
• (EN) Opere di George Boole, su Open Library, Internet Archive.  
• (EN) Opere di George Boole, su Progetto Gutenberg.  
• (EN) Opere riguardanti George Boole, su Open Library, Internet Archive.  
• (EN) Stanley Burris, George Boole, in Edward N. Zalta (a cura di), Stanford Encyclopedia of Philosophy, Center for the Study of Language and Information (CSLI), Università di Stanford.
• (EN) Denis Howe, George Boole, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
• Sito dedicato a George Boole gestito dall'University College Cork, su georgeboole200.ucc.ie.
• Biografia su ScienceWorld, su scienceworld.wolfram.com.
• Boole: The mathematical analysis of logic, 1847 Digitalizzato, su archive.org.
• Boole: An Investigation of The Laws of Thought, London 1854, Digitalizzato, su books.google.it.
• Boole: An Investigation of The Laws of Thought, E-Book, 2005 da Gutenberg.org, su gutenberg.org.

  Portale Biografie

  Portale Filosofia

  Portale Matematica