Boole
Boole George (Lincoln 1815 - Cork 1864) logico e matematico irlandese. Figlio di un bottegaio, per studiare dovette superare notevoli difficoltà. Dopo gli iniziali studi umanistici, la sua formazione matematica fu quella dell’autodidatta. Si dedicò all’insegnamento privato continuando a studiare matematica; dei suoi studi sono testimonianza i lavori sulle equazioni differenziali, sul calcolo delle differenze finite e sulle trasformazioni analitiche. Nel 1847 pubblicò Mathematical analysis of logic (L’analisi matematica della logica) in cui per la prima volta espresse proposizioni logiche in termini algebrici. Nel frattempo, oltre a insegnare, svolse numerose attività a carattere sociale soprattutto nel campo dell’educazione. La vastità dei suoi interessi è testimoniata anche dal fatto di aver ricevuto le lauree honoris causa in legge dall’università di Dublino e in diritto civile a Oxford. Nel 1849 si trasferì a Cork e divenne professore presso il Queen’s College. Nel 1854 pubblicò a sue spese le Laws of thought (Indagine sulle leggi del pensiero), la sua opera più importante, per la quale è considerato uno dei fondatori dell’algebra della logica (o algebra di Boole) e il primo ad aver avuto piena coscienza dell’applicabilità delle nozioni e dei metodi algebrici a oggetti non matematici.