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. 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. 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. 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. 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" . 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. 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: m e s { x ∈ R ∣ ℜ 1 π ∑ a k x − b k ≥ t } = ∑ a k π t {\displaystyle \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}}} Iga reaalarvu ak > 0, bk, ja t > 0 korral. Selle võrrandi üldistused mängivad olulist rolli Hilberti transformatsiooni teoorias. 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 kvantifikatsiooni kohta, mis käis Sir William Hamiltoni, "predikaadi kvantifikatsiooni" teooria toetaja, ja Boole'i pooldaja Augustus De Morgani 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'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'i tähtsuse Boole'i loogikafilosoofias. 1864. aasta novembri lõpus kõndis Boole läbi vihmatormi oma kodust Lichfield Cottage'is 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 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 kiriku kalmistule, mille aadress on St Michael's, Church Road, Blackrock (Corki eeslinn). Sealses kirikus on ka tema mälestustahvel. Boole'i algebra on tema järgi nimetatud, samuti ka Boole'i kraater Kuul. Märksõna "Bool" tähistab 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 ülikoolis on tema järgi nimetatud. Tee Boole Heights, mis asub Bracknellis Berkshire'is, on tema järgi nimetatud. 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'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. 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, 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 kristlikku kolmainsust ruumi kolme dimensiooniga ning talle meeldis Heebrea nägemus ühtsest Jumalast. Boole mõtles 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: George sai hiljem oma rõõmuks teada, et Newtoni eakaaslasel Leibnitzil oli loogika alustest sama arusaam. 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/../ 1855. aastal abiellus ta Mary Everestiga (George Everesti 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 Hintoniga 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 Washingtonis 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 projekti kallal ning elas Hiinas alates aastast 1948 kuni oma surmani 8. juunil 2010. Ta oli abielus Sid Engstiga. Margaret, (1858–1935) abiellus kunstnik Edward Ingram Tayloriga. Nende vanemast pojast Geoffrey Ingram Taylorist sai matemaatik ning ta pälvis tiitli Fellow of the Royal Society. Nende noorem poeg Julian oli kirurgiaprofessor. Alicia (1860–1940), andis olulise panuse neljadimensioonilisse geomeetriasse. Lucy Everest (1862–1904), oli esimene naiskeemiaprofessor Inglismaal. Ethel Lilian (1864–1960), abiellus poola teadlase ja revolutsionääri Wilfrid Michael Voynichiga ja oli romaani "The Gadfly" autor. 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 "Who is George Boole: the mathematician behind the Google doodle". The Sydney Morning Herald. "John Boole". Lincoln Boole Foundation. Originaali arhiivikoopia seisuga 8. märts 2016. Vaadatud 6. novembril 2015. Chisholm, Hugh, ed. (1911). Encyclopædia Britannica (11th ed.). Cambridge University Press. {{raamatuviide}}: parameetris |autor= on üldnimi (juhend)CS1 hooldus: mitu nime: autorite loend (link) C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. Lk 49. ISBN 0787638137. OCLC 41497065. Hill, p. 149; Google Books. C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. Lk 49–50. ISBN 0787638137. OCLC 41497065. Rhees, Rush. (1954) "George Boole as Student and Teacher. By Some of His Friends and Pupils", Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. Vol. 57. Royal Irish Academy "MacTutor History of Mathematics Archive". "George Boole". Society for the History of Astronomy, Lincolnshire. Edwards, A. W. F. ""Bromhead, Sir Edward Thomas French"". Oxford Dictionary of National Biography (online ed.). Oxford University Press. "Stanford Encyclopedia of Psychology". "George Boole". George Boole: Self-Education & Early Career University College Cork A Selection of Papers relative to the County of Lincoln, read before the Lincolnshire Topographical Society, 1841–1842. Printed by W. and B. Brooke, High-Street, Lincoln, 1843. Hill, p. 172 note 2; Google Books. Hill, p. 130 note 1; Google Books. Hill, p. 148; Google Books. Ronald Calinger, Vita mathematica: historical research and integration with teaching (1996), p. 292; Google Books. Hill, p. 138 note 4; Google Books. "Keith Awards 1827–1890". Cambridge Journals Online. Vaadatud 29. novembril 2014. Ivor Grattan-Guinness, Gérard Bornet, George Boole: Selected manuscripts on logic and its philosophy (1997), p. xiv; Google Books. A list of Boole's memoirs and papers is in the Catalogue of Scientific Memoirs published by the Royal Society, and in the supplementary volume on differential equations, edited by Isaac Todhunter. To the Cambridge Mathematical Journal and its successor, the Cambridge and Dublin Mathematical Journal, Boole contributed 22 articles in all. In the third and fourth series of the Philosophical Magazine are found 16 papers. The Royal Society printed six memoirs in the Philosophical Transactions, and a few other memoirs are to be found in the Transactions of the Royal Society of Edinburgh and of the Royal Irish Academy, in the Bulletin de l'Académie de St-Pétersbourg for 1862 (under the name G. Boldt, vol. iv. pp. 198–215), and in Crelle's Journal. Also included is a paper on the mathematical basis of logic, published in the Mechanic's Magazine in 1848. Witold Marciszewski (editor), Dictionary of Logic as Applied in the Study of Language (1981), pp. 194–5. Andrei Nikolaevich Kolmogorov, Adolf Pavlovich Yushkevich (editors), Mathematics of the 19th Century: function theory according to Chebyshev, ordinary differential equations, calculus of variations, theory of finite differences (1998), pp. 130–2; Google Books. Jeremy Gray, Karen Hunger Parshall, Episodes in the History of Modern Algebra (1800–1950) (2007), p. 66; Google Books. George Boole, The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning (London, England: Macmillan, Barclay, & Macmillan, 1847). George Boole, A treatise on differential equations (1859), Internet Archive. George Boole, A treatise on the calculus of finite differences (1860), Internet Archive. Boole, George (1857). "On the Comparison of Transcendents, with Certain Applications to the Theory of Definite Integrals". Philosophical Transactions of the Royal Society of London. 147: 745–803. DOI:10.1098/rstl.1857.0037. ISSN 0261-0523. JSTOR 108643. Cima, Joseph A.; Matheson, Alec; Ross, William T. (2005). "The Cauchy transform". Quadrature domains and their applications. Oper. Theory Adv. Appl. Kd 156. Basel: Birkhäuser. Lk 79–111. MR 2129737. John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol. 24 (2003), pp. 261–288. Grattan-Guinness, I. "Oxford Dictionary of National Biography (online ed.)". Oxford University Press. "Boole, George". Corcoran, John (2003). "Aristotle's Prior Analytics and Boole's Laws of Thought". History and Philosophy of Logic, 24: 261–288. Reviewed by Risto Vilkko. Bulletin of Symbolic Logic, 11(2005) 89–91. Also by Marcel Guillaume, Mathematical Reviews 2033867 (2004m:03006). "Dublin City Quick Search: Buildings of Ireland: National Inventory of Architectural Heritage". Barker, Tommy (13. juuni 2015). "Have a look inside the home of UCC maths professor George Boole". Irish Examiner. Vaadatud 6. novembril 2015. C., Bruno, Leonard (2003) [1999]. Math and mathematicians : the history of math discoveries around the world. Baker, Lawrence W. Detroit, Mich.: U X L. Lk 52. ISBN 0787638137. OCLC 41497065. Stanford Encyclopedia of Philosophy "Encyclopædia Britannica". "Death-His Life-- George Boole 200". P. J. Brown, Pascal from Basic, Addison-Wesley, 1982. lk 72 "Boole Centre for Research in Informatics". Originaali arhiivikoopia seisuga 16. august 2019. Vaadatud 13. augustil 2021. "George Boole 200 – George Boole Bicentenary Celebrations". "Cork University Press". Originaali arhiivikoopia seisuga 8. november 2015. Vaadatud 31. mail 2018. "Who is George Boole: the mathematician behind the Google doodle". Sydney Morning Herald. 2. november 2015. "Boolean logic meets Victorian gothic in leafy Cork suburb". 1902 Britannica article by Jevons; online text. James Gasser, A Boole Anthology: recent and classical studies in the logic of George Boole (2000), p. 5; Google Books. International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1995). "A tale of two amateurs". Semiotica, Volume 105. Mouton. Lk 56. MacHale's biography calls George Boole 'an agnostic deist'. Both Booles' classification of 'religious philosophies' as monistic, dualistic, and trinitarian left little doubt about their preference for 'the unity religion', whether Judaic or Unitarian. International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1996). Semiotica, Volume 105. Mouton. Lk 17. MacHale does not repress this or other evidence of the Boole's nineteenth-century beliefs and practices in the paranormal and in religious mysticism. He even concedes that George Boole's many distinguished contributions to logic and mathematics may have been motivated by his distinctive religious beliefs as an "agnostic deist" and by an unusual personal sensitivity to the sufferings of other people. Boole, George. Studies in Logic and Probability. 2002. Courier Dover Publications. p. 201-202 Concluding remarks of his treatise of "Clarke and Spinoza", as found in Boole, George (2007). An Investigation of the Laws of Thought. Cosimo, Inc. Chap . XIII. p. 217-218. (Original work published 1854) Boole, George (1851). The claims of science, especially as founded in its relations to human nature; a lecture, Volume 15. p. 24 Grattan-Guinness and Bornet, p. 16; Google Books. Boole, Mary Everest Indian Thought and Western Science in the Nineteenth Century, Boole, Mary Everest Collected Works eds. E. M. Cobham and E. S. Dummer, London, Daniel 1931 pp.947–967 "Family and Genealogy – His Life George Boole 200". Georgeboole.com. Vaadatud 7. märtsil 2016. Smothers In Orchard in The Los Angeles Times v. 27 February 1909. `My Right To Die´, Woman Kills Self in The Washington Times v. 28 May 1908 (PDF); Mrs. Mary Hinton A Suicide in The New York Times v. 29 May 1908 (PDF). University College Cork, George Boole 200 Bicentenary Celebration, GeorgeBoole.com.* Ivor Grattan-Guinness, The Search for Mathematical Roots 1870–1940. Princeton University Press. 2000. Francis Hill (1974), Victorian Lincoln; Google Books. Des MacHale, George Boole: His Life and Work. Boole Press. 1985. Des MacHale, The Life and Work of George Boole: A Prelude to the Digital Age (new edition). Cork University Press. 2014 Stephen Hawking, God Created the Integers. Running Press, Philadelphia. 2007. 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