George Boole

**George Boole** (hääldus [bu ː l]; 2. november 1815 – 8. detsember 1864) oli suuresti iseõppinud inglise matemaatik, filosoof ja loogik, kes töötas lühikest aega matemaatikaõppejõuna Queen's College'is Corkis Iirimaal. 

Ta töötas diferentsiaalvõrrandite ja algebralise loogika kallal ning on tuntud loogikaalaste tööde "Loogika matemaatiline analüüs" (1847) ja "Mõtlemise reeglid" (1854) autorina. Boole'i loogikat peetakse informatsiooniajastu alustalaks.
## Lapsepõlv ja noorus

Boole sündis Inglismaal Lincolnshire'i krahvkonnas Lincolnis kingsepp John Boole seeniori (1779–1848) ja Mary Ann Joyce'i pojana. Ta sai põhikoolihariduse ning teda õpetas isa, kuid pere majandusraskuste tõttu ta rohkem akadeemilist haridust ei saanud. On võimalik, et William Brooke, raamatumüüja Lincolnis, aitas tal ladina keelt õppida. On samuti võimalik, et ta õppis seda Thomas Bainbridge'i koolis. Nüüdiskeeli õppis ta igal juhul ise. Kusjuures, kui kohalik ajaleht avaldas tema ladinakeelse luuletuse tõlke, süüdistas üks õpetlane teda petturluses põhjendusel, et ta ei olnud sellisteks saavutusteks võimeline. 16-aastaselt sai Boole'ist oma vanemate ja kolme noorema õe toitja, hakates tööle nooremõpetajana Doncasteris Heigham'si koolis. Ta õpetas lühikest aega ka Liverpoolis.

Boole õppis Lincolnis Greyfriarsis mehaanikainstituudis (*Mechanics Institute*), mis asutati aastal 1833. Edward Bromhead, kes teadis John Boole'i selle instituudi kaudu, aitas George Boole'il soetada matemaatikaraamatuid, nii sai ta St Swithini kiriku pastorilt George Stevens Dicksonilt Sylvestre François Lacroix' matemaatilise analüüsi teksti. Ilma õpetajata kulus Gerorge'il matemaatilise analüüsi omandamiseks mitu aastat.

18-aastaselt asutas Boole Lincolnis oma kooli. Neli aastat hiljem, pärast Robert Halli surma, võttis ta üle Halli Akadeemia Waddingtonis Lincolni lähedal. Aastal 1840 kolis ta tagasi Lincolni, kus ta juhtis internaatkooli. Boole sidus ennast otsekohe Lincolni Topograafilise Ühinguga, oli selle komitee liige ja esitles 30. novembril 1841 oma teadustööd "Polüteismi alguse, progressi ja kalduvuste kohta, eriti iidsete egiptlaste ja pärslaste seas ja kaasaegses Indias".

Boole'ist sai seal väljapaistev ja austatud isiksus. Ta võttis osa tööaja lühendamise kampaaniast (Early Closing Association) . Edmund Larkeni ja teistega moodustas ta aastal 1847 majalaenu seltsi (Building society). Ta oli seotud ka tšartist Thomas Cooperiga, kelle naine oli Boole'i sugulane.

1838. aastast alates luges ning suhtles Boole sümpaatsete Briti akadeemikutega juba rohkem. Ta õppis algebrat sümboolsete meetodite vormis nii palju kui neid sellel ajal tunti, ning hakkas teadustöid välja andma.

## Õppejõud Corkis
Boole'i staatust matemaatikuna tunnustati aastal 1849, kui ta sai Iirimaal Corkis Queen's College'i (tänapäeval University College Cork (UCC)) peamiseks matemaatikaprofessoriks. Ta tutvus seal oma tulevase naise Mary Everestiga aastal 1850, kui Mary oli parajasti oma onu, kreeka keele professorit John Ryalli külastamas. Nad abiellusid 1855. aastal. Boole säilitas sidemed Lincolniga, viies seal läbi koos E. R. Larkeniga prostitutsiooni vähendamise kampaaniat.

## Autasud ja auhinnad
Boole'i autasustati Keithi medaliga Edinburghi Kuningliku Seltsi poolt aastal 1855 ning talle määrati tiitel *Fellow of the Royal Society* aastal 1857. Ta pälvis LL.D. aukraadi Dublini ülikoolist ja Oxfordi ülikoolist.

## Teadustööd
Boole'i esimene avaldatud teadustöö kandis pealkirja "Researches in the theory of analytical transformations, with a special application to the reduction of the general equation of the second order" ("Uurimused analüütiliste transformatsioonide teoorias, erilise rakendusega teist järku võrrandi lihtsustamisele"). See avaldati Cambridge'i matemaatika teadusajakirjas (tänapäeval The Quarterly Journal of Pure and Applied Mathematics) 1840. aasta veebruaris (2. väljaanne, nr. 8, lk 64–73) ja sellest algas sõprus Boole'i ja Duncan Farquharson Gregory, ajakirja toimetaja vahel. Tema töid leidub poolesajas artiklis ja mõnes eraldi väljaandes.

Aastal 1841 avaldas Boole mõjusa töö varajase invariandi teooria kohta. Ta pälvis selle eest Londoni Kuningliku Seltsi medali aastal 1844 teosega "Üldise analüüsimeetodi teemal". See oli lisandus lineaarsete diferentsiaalvõrrandite teooriasse, liikudes konstantsete koefitsientide juurest, mille kohta ta oli juba artikli kirjutanud, muutuvate koefitsientide juurde. Innovatsioon operatsioonilistes meetodites tähendab tunnistamist, et operatsioonid ei pruugi olla kommutatiivsed. Aastal 1847 avaldas Boole sümbolloogika kohta oma esimese töö "Matemaatiline loogikaanalüüs" *.

===Diferentsiaalvõrrandid===
Boole tegi oma eluajal matemaatilistel teemadel kaks süstemaatilist uurimust. "Diferentsiaalsete võrrandite uurimus" ilmus 1859. aastal ning aasta hiljem ilmus "Treatise on the [[Calculus]] of Finite Differences", mis oli eelmise töö järg.

===Analüüs===
1857. aastal avaldas Boole uurimuse "On the comparison of Transcendents, with Certain Application to the Theory of Definite Integrals", milles ta uuris ratsionaalse funktsiooni jääkide summat. Teiste tulemuste seas tõestas ta võrrandi, mida kutsutakse nüüd Boole'i identity'ks:

<math>\mathrm{mes} \left\{ x \in \mathbb{R} \, \mid \, \Re \frac{1}{\pi} \sum \frac{a_k}{x - b_k} \geq t \right\} = \frac{\sum a_k}{\pi t} </math>

Iga reaalarvu *a*<sub>*k*</sub>&nbsp;>&nbsp;0, *b*<sub>*k*</sub>, ja *t*&nbsp;>&nbsp;0 korral. Selle võrrandi üldistused mängivad olulist rolli Hilberti transformatsiooni teoorias.

===Sümbolloogika===
Aastal 1847 avaldas Boole trükise "[[Loogika matemaatiline analüüs]]". Hiljem pidas ta seda oma loogikasüsteemi vigaseks esituseks ning soovis, et tööd "[[Mõtlemise reeglid]]" peetaks tema vaadete õigeks väljenduseks. Vastupidi üldisele arvamusele ei soovinud Boole kritiseerida või olla vastu Aristotelese loogika põhipritsiipidele. Pigem soovis ta seda süstematiseerida, anda sellele vundamendi ja selle rakendusvõimalusi suurendada. Boole'i esimest seotust loogikaga alustas debatt [[Kvantifikatsioon (loogika)|kvantifikatsiooni]] kohta, mis käis [[Sir William Hamilton|William Hamilton]]i, "predikaadi kvantifikatsiooni" teooria toetaja, ja Boole'i pooldaja [[Augustus De Morgan]]i vahel. Viimane neist oli ühe, tänapäevase nimega, De Morgani duaalsuse versiooni edasiviija. Boole'i tegevus selles arutelus oli lõpuks tunduvalt sügavamale ulatuv ja mõjusam kui kummagi vaidluspoole oma. See pani aluse "loogikaalgebra" traditsioonile.

Tema paljude innovatsioonide seas on tema *wholistic reference*<nowiki/>'i printsiip, mille võttis hiljem kasutusele, ilmselt iseseisvalt, [[Gottlob Frege]] ja loogikud, kes tegelevad standardse esimest järku loogikaga. 2003. aastal ilmunud artiklis on tehtud süsteemne võrldus ja kriitiline analüüs Aristotelese loogika ja Boole'i loogika kohta; samuti paljastab see *wholistic reference*<nowiki/>'i tähtsuse Boole'i loogikafilosoofias.

==Surm==
1864. aasta novembri lõpus kõndis Boole läbi vihmatormi oma kodust Lichfield Cottage'is [[Ballintemple, Cork|Ballintemple'is]] ülikoolini, kokku peaaegu 5 kilomeetrit, ning pidas loengu märgades riietes. Varsti pärast seda jäi ta haigeks ja tal tekkis kopsupõletik. Kuna tema naine uskus, et ravimid peaksid olema haiguse põhjusega [[Homöopaatia|sarnased]], viis ta oma mehe voodisse ja valas ta üle ämbrite viisi veega, kuna märgus põhjustas ta haiguse. Boole'i seisund muutus halvemaks ning 8. detsembril 1864 suri ta palavikust põhjustatud pleuraefusiooni.

Ta maeti [[Iirimaa kirik]]u kalmistule, mille aadress on St Michael's, Church Road, [[Blackrock, Cork|Blackrock]] (Corki eeslinn). Sealses kirikus on ka tema mälestustahvel.

==Pärand==

[[Boole'i algebra]] on tema järgi nimetatud, samuti ka [[Boole (Kraater)|Boole'i kraater]] Kuul. Märksõna "Bool" tähistab [[Kahendmuutuja|kahendmuutuja andmetüüpi]] mitmetes programmeerimiskeeltes, Pascal ja Java teiste seas kasutavad aga tähistamiseks nime "Boolean". Raamatukogu, maa-alune loengusaalikompleks ja Boole'i Informaatikauuringute Keskus (*Boole Centre for Research in Informatics*) [[Corki ülikool]]is on tema järgi nimetatud. Tee Boole Heights, mis asub Bracknellis Berkshire'is, on tema järgi nimetatud.

===Mälestusüritused 21. sajandil===
2015. aastal oli George Boole'i 200. sünniaastapäev. Selle tähistamiseks tõi Corki ülikool kokku Boole'i austajad üle terve maailma, et meenutada tema elu ja pärandit.

Ülikooli George Boole 200 projekt sisaldas üritusi, akadeemilisi konverentse Boole'i pärandi teemal digitaalajastul. Samuti anti välja [[Desmond MacHale|Desmond MacHale'i]] 1985 biograafia "The Life and Work of George Boole: A Prelude to the Digital Age".

Otsingumootor [[Google]] tähistas tema 200. sünniaastapäeva 2. novembril 2015 oma Google Doodle'i algebralise ümberkujundamisega.

Litchfield Cottage'is Ballintemple'is Corkis, kus Boole veetis oma viimased kaks eluaastat, asub mälestustahvel. Tema varasemat elupaika Grenville Place'i tänaval renoveeritakse ning tänu Corki ülikooli ja Corki linnavalitsuse koostööle muudetakse see George Boole'i Innovatsioonimajaks. Linnavalitsus sai õigused sellele majale Derelict Sites Acti kaudu.

==Väärtushinnangud==
Boole'i vaadetest kirjutatakse neljas teoses: "The Genius of Sir Isaac Newton"; "The Right Use of Leisure"; "The Claims of Science"; ja "The Social Aspect of Intellectual Culture". Esimene neist avaldati aastal 1835, kui [[Charles Anderson-Pelham, 1st Earl of Yarborough|Charles Anderson-Pelham, 1. Yarborough' Earl]] andis üle Newtoni büsti Lincolni Mehaanikainstituudile.

Kuigi tema biograaf Des MacHale kirjeldab Boole'i kui "agnostiline deist", luges Boole palju kristliku sisuga raamatuid. Ühendades oma huvid matemaatika ja teoloogia vastu, võrdles ta [[Kolmainsus|kristlikku kolmainsust]] ruumi kolme dimensiooniga ning talle meeldis Heebrea nägemus ühtsest Jumalast. Boole mõtles [[Judaism|judaistliku]] religiooni pooldajaks hakata, kuid lõpuks olevat ta siiski valinud unitarismi. Boole oli "uhkustava" skeptitsismi vastu. Selle asemel pooldas ta uskumist, et elul on kellegi kõrgema intelligentse looja seatud eesmärk. Lisaks väitis ta nägevat "rikkalikult tõendeid intelligentse looja" jaoks ning järeldas, et "selle maailma käekäik ei ole maha jäetud juhuse ja muutumatu saatuse hooleks".

Raamatu "Mõtlemise reeglid" 13. peatükis kasutab Boole'i näiteid [[Baruch Spinoza]] ja [[Samuel Clarke]] väidetest. See sisaldab märkusi loogika ja religiooni vahelise suhte kohta, kuid neid on vähe ja neist on raske aru saada. Tuleb välja, et Boole oli häiritud, kui avalikkus suhtus raamatusse vaid kui matemaatilisse tööriistakasti:<blockquote>George sai hiljem oma rõõmuks teada, et [[Isaac Newton|Newtoni]] eakaaslasel [[Gottfried Wilhelm Leibniz|Leibnitzil]] oli loogika alustest sama arusaam. [[Auguste De Morgan|De Morgan]] sai muidugi mõista *päriselt* aru sellest valemist; ta aitas ju Boole'il seda raamatut kirjutada. Herbert Spencer, Jowett ja [[Robert Leslie Ellis]] said samuti aru, ma usun; ja ka mõned teised, kuid pea kõik ülejäänud loogikud ja matemaatikud ei pannud tähele asjaolu, et see raamat pidi heitma valgust inimmõistuse loomusele/../</blockquote>

==Perekond==
1855. aastal abiellus ta [[Mary Everest]]iga ([[George Everest]]i nõoga), kes kirjutas hiljem mitu haridusteemalist teost, mis põhinevad tema mehe põhimõtetel.

Neil sündis viis tütart:
* Mary Ellen (1856–1908), kes abiellus matemaatiku ja kirjaniku [[Charles Howard Hinton]]iga ning sai neli last: George (1882–1943), Eric (*1884), William (1886–1909) ja Sebastian (1887–1923), kes on Jungle Gymi leiutaja. Pärast oma mehe ootamatut surma sooritas Mary Ellen [[Washington]]is mais 1908 enesetapu. Sebastianiga sai ta kolm last:
** Jean Hinton (nimi pärast abiellumist: Rosner) (1917–2002), rahuaktivist.
** [[William H. Hinton]] (1919–2004), külastas Hiinat 1930.–1940. aastatel ning kirjutas suure mõjuga ülevaate kommunistlikust maareformist.
** [[Joan Hinton]] (1921–2010) töötas [[Manhattani projekt]]i kallal ning elas Hiinas alates aastast 1948 kuni oma surmani 8. juunil 2010. Ta oli abielus [[Sid Engst]]iga.
* Margaret, (1858–1935) abiellus kunstnik [[Edward Ingram Taylori]]ga.
** Nende vanemast pojast [[Geoffrey Ingram Taylor]]ist sai matemaatik ning ta pälvis tiitli *Fellow of the Royal Society*.
** Nende noorem poeg [[Julian Taylor (surgeon)|Julian]] oli kirurgiaprofessor.
* [[Alicia Boole Stott|Alicia]] (1860–1940), andis olulise panuse [[Neljadimensiooniline geomeetria|neljadimensioonilisse geomeetriasse]].
* [[Lucy Everest Boole|Lucy Everest]] (1862–1904), oli esimene naiskeemiaprofessor Inglismaal.
* [[Ethel Lilian Voynich|Ethel Lilian]] (1864–1960), abiellus poola teadlase ja revolutsionääri [[Wilfrid Michael Voynich]]iga ja on romaani "[[The Gadfly]]" autor.

==Vaata ka==
* [[Boole'i algebra]], loogiline arvutus tõeväärtustest või *set membership*
* [[Boole'i funktsioon]]
* [[Binaarne algebraline tehe]]
* [[:Kategooria: Loogika]], nimekiri Vikipeedia artiklitest, mis räägivad loogikast

==Viited==


==Lisalugemist==
* [[University College Cork]], *George Boole 200 Bicentenary Celebration*, [http://georgeboole.com GeorgeBoole.com].* [[Ivor Grattan-Guinness]], *The Search for Mathematical Roots 1870–1940*. Princeton University Press. 2000.
* [[Francis Hill]] (1974), *Victorian Lincoln*; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA149 Google Books].
* [[Des MacHale]],* George Boole: His Life and Work*. [http://boolepress.com/ Boole Press]. 1985.
* [[Des MacHale]],* The Life and Work of George Boole: A Prelude to the Digital Age* (new edition). [http://www.corkuniversitypress.com/SearchResults.asp?Search=boole&Submit= Cork University Press]. 2014
* [[Stephen Hawking]], *God Created the Integers''. Running Press, Philadelphia. 2007.

## Välislingid

* Roger Parsons' article on Boole
* George Boole: A 200-Year View by Stephen Wolfram.
* George Boole's work as first Professor of Mathematics in University College, Cork, Ireland
* George Boole website
* Author profile in the database zbMATH