Härkä, George

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 14. elokuuta 2022 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .
George Bull
Englanti  George Boole
Syntymäaika 2. marraskuuta 1815( 1815-11-02 )
Syntymäpaikka Lincoln , Lincolnshire , Englanti
Kuolinpäivämäärä 8. joulukuuta 1864 (49-vuotias)( 1864-12-08 )
Kuoleman paikka Ballintemple , Corkin kreivikunta , Irlanti
Maa  Iso-Britannia
Tieteellinen ala matematiikka , logiikka , matematiikan filosofia
Työpaikka King's College Corkissa
Palkinnot ja palkinnot Kuninkaallinen mitali
Wikilähde logo Työskentelee Wikisourcessa
 Mediatiedostot Wikimedia Commonsissa

George Boole ( eng.  George Boole ; 2. marraskuuta 1815 , Lincoln  - 8. joulukuuta 1864 , Ballintemple, Corkin kreivikunta , Irlanti) - englantilainen matemaatikko ja loogikko . Matematiikan professori King 's College Corkissa (nykyisin University College Cork ) vuodesta 1849. Yksi matemaattisen logiikan perustajista .

Elämäkerta

George Bull syntyi ja kasvoi köyhän käsityöläisen John Bullin perheessä, joka oli intohimoinen tieteeseen. Matematiikasta ja logiikasta kiinnostunut isä antoi ensimmäiset oppitunnit pojalleen, mutta hän ei löytänyt erinomaisia ​​kykyjään eksaktissa tieteessä varhain , ja klassisista kirjailijoista tuli hänen ensimmäinen intohimonsa.

Vasta 17-vuotiaana Boole saavutti korkeamman matematiikan ja eteni hitaasti tehokkaan avun puutteen vuoksi.

16-vuotiaasta lähtien Buhl aloitti työskentelyn opettajan apulaisena yksityiskoulussa Doncasterissa ja jatkoi tavalla tai toisella opettamista eri tehtävissä koko elämänsä. Hän oli naimisissa (vuodesta 1855  ) Mary Everestin (w. Everest Bull) kanssa, kuuluisan maantieteilijän George Everestin veljentytär , joka myös harjoitti tiedettä ja opetusta, ja miehensä kuoleman jälkeen panosti paljon hänen panoksensa edistämiseen logiikassa.

Buhl kuoli viidentenäkymmenentenä vuotenaan keuhkokuumeeseen .

Perhe

Boolen neljä tytärtä saivat mainetta tiedemiehinä (geometri Alicia , kemisti Lucy ) tai oppineiden perheiden jäseninä ( Mary , matemaatikon ja kirjailija C. G. Hintonin vaimo ja Margaret, matemaatikon J. I. Taylorin äiti ).

Viides tytär on Ethel Lilian Voynich , romaanin "The Gadfly " kirjoittaja ja Voynichin käsikirjoituksen löytäjän Mikhail (Wilfred) Voynichin vaimo .

Tieteellinen toiminta

Boole tunnettiin yleisölle pääasiassa useiden matemaattisia aiheita käsittelevien vaikeasti ymmärrettävien julkaisujen ja kolmen tai neljän klassikoiksi muodostuneen monografian kirjoittajana.

Ensimmäisen artikkelin (Theory of Mathematical Transformations, 1839) julkaiseminen johti ystävyyteen Boolen ja Duncan Gregory (Cambridge Mathematical Journalin toimittaja, jossa artikkeli julkaistiin) välille, joka jatkui viimeksi mainitun kuolemaan saakka vuonna 1844. Boole toimitti kaksikymmentäkaksi paperia tälle lehdelle ja sen seuraajalle, Cambridge and Dublin Journal of Mathematicsille.

Kuusitoista hänen artikkelistaan ​​julkaistiin Philosophical Magazinessa, kuusi muistelmaa Philosophical Transactionsissa ja useita muita julkaisuissa Transactions of the Royal Society of Edinburgh ja Royal Irish Academy ) Bulletin de l'Académie de St-Pétersbourgissa. , salanimellä G. Boldt, Vol. IV. s. 198-215) ja Crellen lehdessä ( Journal für die reine und angewandte Mathematik ).

Tätä luetteloa täydentää vuonna 1848 ilmestynyt julkaisu Mechanic's Magazinessa logiikan matemaattisista perusteista.

Yhteensä Boole julkaisi noin viisikymmentä artikkelia eri julkaisuissa ja useissa monografioissa.

Matemaattinen logiikka

Boole oli luultavasti ensimmäinen matemaatikko John Wallisin jälkeen , joka kääntyi loogisten ongelmien pariin. Ideat symbolisen menetelmän soveltamisesta logiikkaan hän ilmaisi ensimmäisen kerran artikkelissa "Logicin matemaattinen analyysi" ( 1847 ). Tyytymättömänä siinä saavutettuihin tuloksiin Boole toivoi, että hänen näkemyksensä arvioitaisiin laajan tutkielman "Ajattelun lakien tutkiminen, joihin logiikan ja todennäköisyysteorian matemaattiset teoriat perustuvat" ( 1854 ) perusteella. Boole ei pitänyt logiikkaa matematiikan haarana, mutta löysi syvän analogian algebran symbolisen menetelmän ja loogisten muotojen ja syllogismien esittämismenetelmän välillä. Boole merkitsi kuviteltavien objektien universumia yksiköllä aakkosymboleilla - valinnat siitä, jotka liittyvät tavallisiin adjektiiveihin ja substantiiviin (esimerkiksi jos x = "sarvimainen" ja y = "lammas", peräkkäinen valinta x:stä ja y:stä yksikkö antaa sarvieläinten luokan). Boole osoitti, että tällainen symboliikka noudattaa samoja lakeja kuin algebrallinen, josta seurasi, että ne voidaan laskea yhteen, vähentää, kertoa ja jopa jakaa. Tällaisessa symboliikassa väitteet voidaan pelkistää yhtälöiden muotoon ja johtopäätös syllogismin kahdesta premisasista voidaan saada eliminoimalla keskitermi tavanomaisten algebrallisten sääntöjen mukaisesti. Vielä omaperäisempi ja merkittävämpi oli hänen järjestelmänsä osa, joka esitettiin "Ajattelun laeissa ...", joka muodostaa yleisen symbolisen loogisen päättelyn menetelmän. Boole osoitti, kuinka mistä tahansa määrästä lauseita, mukaan lukien kuinka monta termiä, voidaan päätellä mikä tahansa johtopäätös, joka seuraa näistä lausunnoista puhtaasti symbolisella manipuloinnilla. "Ajattelun lakien ..." toinen osa sisältää samanlaisen yrityksen löytää yleinen menetelmä todennäköisyyslaskennassa, joka mahdollistaa tapahtumien joukon annetuista todennäköisyyksistä määrittää minkä tahansa muun tapahtuman todennäköisyys loogisesti. liittyvät niihin.

Matemaattinen analyysi

Boole loi elämänsä aikana kaksi systemaattista tutkielmaa matemaattisista aiheista: Differentiaaliyhtälöistä käsitellyn traktaatin (1859; toista painosta ei saatu valmiiksi, materiaalit sitä varten julkaistiin postuumisti vuonna 1865) ja sen jatkeeksi suunnitellun Traatise on Finite Differences ( 1860 ) . . Nämä teokset antoivat tärkeän panoksen asiaankuuluville matematiikan aloille ja samalla osoittivat Boolen syvän ymmärryksen aiheensa filosofiasta [1] .

Muut kirjoitukset

Yhdessä matematiikan kanssa Boole osallistui vakavasti kristillisen teologian tutkimiseen, tutki Raamattua, vertasi kristillistä oppia Isästä Jumalasta, Pojasta ja Jumalasta Pyhästä Hengestä (Pyhä kolminaisuus) avaruuden kolmeen ulottuvuuteen, jopa aikoi tulla papiksi .

Vaikka Buhl julkaisi vähän matemaattisia ja loogisia teoksia lukuun ottamatta, hänen kirjoituksensa paljastavat laajan ja syvän tuntemuksen kirjallisuudesta. Hänen suosikkirunoilijansa oli Dante , ja hän piti paratiisista enemmän kuin helvetistä.

Boolen säännöllisiä opiskeluaiheita olivat Aristoteleen metafysiikka , Spinozan etiikka , Ciceron filosofiset kirjoitukset ja monet vastaavat teokset. Pohdintoja tieteellisistä, filosofisista ja uskonnollisista kysymyksistä sisältyy neljään puheeseen - "Sir Isaac Newtonin nero", "Vapaan ajan käyttö", "Tieteen väitteet" ja "Älyllisen kulttuurin sosiaalinen näkökulma" - toimittajina ja julkaisijana häntä eri aikoina.

Tärkeimmät työt

Muisti

Katso myös

Muistiinpanot

  1. ↑ Selivanov D.F. Bul, George // Encyclopedic Dictionary of Brockhaus and Efron  : 86 osassa (82 osaa ja 4 lisäosaa). - Pietari. , 1890-1907.
  2. ↑ Boole-konferenssit 2015 . Haettu 12. kesäkuuta 2022. Arkistoitu alkuperäisestä 30. maaliskuuta 2018.
  3. ↑ George Boole 200 (linkki ei saatavilla) . Haettu 17. tammikuuta 2020. Arkistoitu alkuperäisestä 21. syyskuuta 2014. 

Kirjallisuus

Linkit

  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat
Sukututkimus ja nekropolis