Kyhästä työväenluokan perheestä kotoisin George Buhl syntyi väärään aikaan, väärään paikkaan ja ehdottomasti väärään yhteiskuntaluokkaan. Hänellä ei ollut mahdollisuutta kasvaa matematiikan neroksi, mutta hänestä tuli sellainen vastoin kaikkia todennäköisyyksiä.
George Buhl: Elämäkerta
Boole syntyi 2. marraskuuta 1815 Englannin teollisuuskaupungissa Lincolnissa, ja hänellä oli onni isä, joka itsekin piti matematiikasta ja antoi oppitunteja pojalleen. Lisäksi hän opetti hänelle optisten instrumenttien valmistusta. Nuori George oli innokas oppimaan, ja kahdeksanvuotiaana hän ohitti itseoppineen isänsä.
Perheystävä auttoi pojalle opettamaan latinan alkeita ja uuvutti itsensä muutamassa vuodessa. 12-vuotiaana Buhl käänsi jo antiikin roomalaista runoutta. 14-vuotiaana George puhui sujuvasti saksaa, italiaa ja ranskaa. 16-vuotiaana hänestä tuli opettajan assistentti ja hän opetti Yorkshiren West Ridingin kouluissa. 20-vuotiaana hän avasi oman oppilaitoksen kotikaupunkiinsa.
Seuraavien vuosien aikana George Boole vietti lyhyitä vapaa-aikaa lukemalla paikalliselta Mechanics Institutelta lainattuja matemaattisia lehtiä. Siellä hän luki Isaac Newtonin "Principian" jaranskalaisten tiedemiesten Laplacen ja Lagrangen 1700- ja 1800-luvuilla teokset "Treatise on Celestial Mechanics" ja "Analyyttinen mekaniikka". Pian hän hallitsi tuon ajan vaikeimmat matemaattiset periaatteet ja alkoi ratkaista vaikeita algebrallisia tehtäviä.
On aika siirtyä eteenpäin.
Star Rising
24-vuotiaana George Boole julkaisi Cambridge University Mathematical Journalissa ensimmäisen artikkelinsa "Investigations in the Theory of Analytic Transformations" lineaaristen muunnosten ja differentiaaliyhtälöiden algebrallisista ongelmista keskittyen invarianssin käsitteeseen. Seuraavien kymmenen vuoden aikana hänen tähtensä nousi tasaisella virralla alkuperäisiä papereita, jotka ylittivät matematiikan rajoja.
Vuoteen 1844 mennessä hän keskittyi käyttämään kombinatoriikkaa ja laskennassa äärettömän pieniä ja äärettömän suuria lukuja. Samana vuonna hänet palkittiin kultamitalilla Philosophical Transactions of the Royal Society -lehdessä julkaistusta työstään, hänen panoksestaan matemaattiseen analyysiin ja keskusteluun menetelmistä, joilla yhdistetään algebra differentiaali- ja integraalilaskennan kanssa.
Pian George Boole alkoi tutkia mahdollisuuksia käyttää algebraa loogisten ongelmien ratkaisemiseen. Vuoden 1847 teoksessaan The Mathematical Analysis of Logic hän ei ainoastaan laajentanut Gottfried Leibnizin aikaisempia ehdotuksia logiikan ja matematiikan välisestä korrelaatiosta, vaan myös osoitti, että edellinen oli ensisijaisesti matemaattinen tieteenala, ei filosofinen.
Tämä teos herätti paitsi erinomaisen loogikon ihailuaAugustus de Morgan (Ada Byronin mentori), mutta varmisti hänelle matematiikan professorin aseman Queen's Collegessa Irlannissa, jopa ilman korkeakoulututkintoa.
George Buhl: Boolen algebra
Koulutehtävistä vapautunut matemaatikko alkoi syventyä omaan työhönsä keskittyen "matemaattisen analyysin" parantamiseen ja päätti löytää tavan kirjoittaa loogisia argumentteja erityisellä kielellä, jolla niitä voitaisiin käyttää. manipuloitu ja ratkaistu matemaattisesti.
Hän tuli kielialgebraan, jonka kolme perusoperaatiota olivat (ja ovat edelleen) "AND", "OR" ja "NOT". Nämä kolme funktiota muodostivat hänen lähtökohtansa perustan ja olivat ainoat operaattorit, jotka tarvittiin vertailuoperaatioiden ja matemaattisten perusfunktioiden suorittamiseen.
Boolen järjestelmä, joka on kuvattu yksityiskohtaisesti hänen teoksessaan "Ajattelun lakien tutkiminen, jotka ovat kaikkien matemaattisten logiikka- ja todennäköisyysteorioiden perusta" vuonna 1854, perustui binaariseen lähestymistapaan ja toimi vain kahdella objektilla. - "kyllä" ja "ei", "tosi" ja "epätosi", "päällä" ja "pois", "0" ja "1".
Yksityiselämä
Seuraavana vuonna hän meni naimisiin Mary Everestin kanssa, Sir George Everestin veljentytär, jonka mukaan maailman korkein vuori on nimetty. Pariskunnalle syntyi 5 tytärtä. Yhdestä heistä, vanhimmasta, tuli kemian opettaja. Toinen oli geometriassa. George Boolen nuorin tytär Ethel LillianVoynichista tuli kuuluisa kirjailija, joka kirjoitti useita teoksia, joista suosituin on romaani The Gadfly.
Seuraajat
Yllättäen, kun otetaan huomioon matemaatikon auktoriteetti akateemisissa piireissä, useimmat hänen aikalaisistaan kritisoivat Boolen ideaa tai jättivät sen kokonaan huomiotta. Onneksi amerikkalainen logiikka Charles Sanders Pierce oli avoimempi.
Kaksitoista vuotta The Studyn julkaisemisen jälkeen Peirce piti lyhyen puheen, jossa hän kuvaili Boolen ideaa American Academy of Arts and Sciences -akatemialle, ja vietti sitten yli 20 vuotta sen muokkaamiseen ja laajentamiseen toteuttaakseen teorian mahdollisuudet käytännössä.. Tämä johti lopulta perussähkölogiikan suunnitteluun.
Pierce ei koskaan rakentanut teoreettista logiikkapiiriään, koska hän oli enemmän tiedemies kuin sähköasentaja, mutta esitteli Boolen algebran loogisen filosofian yliopistokursseille.
Lopulta yksi lahjakas opiskelija, Claude Shannon, otti tämän idean ja kehitti sitä.
Viimeisimmät teokset
Vuonna 1957 George Boole valittiin Royal Societyn jäseneksi.
"Tutkimuksen" jälkeen hän julkaisi joukon teoksia, joista kaksi vaikutusv altaisinta ovat "Differential Equations" (1859) ja "Treatise on the Calculus of Finite Differences" (1860). Kirjoja on käytetty oppikirjoina useiden vuosien ajan. Hän yritti myös luoda yleisen todennäköisyysteorian menetelmän, jonka avulla minkä tahansa tapahtumajärjestelmän annetuista todennäköisyyksistä voitaisiin määrittää myöhemmät tapahtumat.minkä tahansa tapahtuman todennäköisyys annettuun loogisesti.
Viimeinen todiste
Valitettavasti Boolen työ keskeytettiin, kun hän kuoli "kuumeiseen vilustumiseen" 49-vuotiaana käveltyään 3 km sateessa luennoiessaan märissä vaatteissa. Tällä hän osoitti jälleen kerran, että neroilla ja maalaisjärkellä on joskus vähän yhteistä.
Legacy
George Boolen "Mathematical Analysis" ja "Research" loivat perustan Boolen algebralle, jota joskus kutsutaan Boolen logiikaksi.
Hänen kahden arvon järjestelmä, joka jakaa argumentit eri luokkiin, joita voidaan sitten käyttää sen mukaan, onko niillä tiettyjä ominaisuuksia vai ei, mahdollisti päätelmien tekemisen erillisten elementtien lukumäärästä riippumatta.
Buhlin työ on johtanut sovelluksiin, joita hän ei olisi koskaan voinut kuvitella. Esimerkiksi tietokoneissa käytetään binäärilukuja ja loogisia elementtejä, joiden suunnittelu ja toiminta perustuu Boolen logiikkaan. Tiede, jonka perustaja on tietojenkäsittelytiede George Boole, tutkii tiedon ja laskelmien teoreettisia perusteita sekä käytännön menetelmiä niiden toteuttamiseksi.
