George Boole
englantilainen matemaatikko ja filosofi
George Boole: logiikasta algebraa
Opettaja ja itseoppinut tutkija
Lincolnissa syntynyt Boole opiskeli matematiikkaa samalla kun hankki elantonsa opettajana. Hän jatkoi opiskelua itsenäisesti kouluvuosiensa jälkeen ja johti kouluja Englannissa. Opetustyön ja omatoimisen tutkimisen yhdistelmä muovasi matemaatikkoa, jonka ura ei alkanut tavanomaista yliopistoreittiä pitkin.
Päättely saa uuden kielen
Vuonna 1847 julkaistussa teoksessa The Mathematical Analysis of Logic Boole sovelsi algebraa loogisiin suhteisiin. Vuonna 1849 hänestä tuli matematiikan professori Corkin Queen’s Collegeen. Symboliset laskutoimitukset saattoivat hänen työssään ilmaista ja tutkia argumentteja, eivät vain luokitella perinteisiä syllogismeja.
Ajattelun lait ja myöhempi vaikutus
Boole kehitti järjestelmäänsä edelleen vuonna 1854 ilmestyneessä teoksessa An Investigation of the Laws of Thought. Hänen luokka-algebransa loi pohjaa myöhemmälle formaalille logiikalle. Nykyisten tietokoneiden binääripiirit ovat boolen ideoiden myöhempi sovellus, eivät Boolen itsensä suunnittelema laite.