Englantilainen matemaatikko George Buhl: elämäkerta, teokset

Köyhän työväenluokan perheen syntyperäinen George Buhl syntyi väärään aikaan, väärässä paikassa, eikä todellakaan siinä sosiaalisessa luokassa. Hänellä ei ollut mahdollisuutta kasvattaa matemaattista neroa, mutta hänestä tuli kaikesta huolimatta.

George Boule: Elämäkerta

Syntynyt 2. marraskuuta 1815 englantilaisessa Lincolnin teollisuuskaupungissa, Buly oli onnekas, kun hänellä oli isä, joka itse rakasti matematiikkaa ja antoi oppilailleen poikansa. Lisäksi hän opetti häntä tekemään optisia instrumentteja. Nuori George alkoi kiihkeästi opiskella, ja kahdeksan vuoden iässä hän ylitti isänsä itsensä opettamaksi.

Perheen ystävä auttoi opettamaan poikaan latinalaista latinankieltä ja muutaman vuoden kuluttua. 12-vuotiaana Buhl oli jo kääntänyt vanhan roomalaisen runouden. 14-vuotiaana George puhui sujuvasti saksaa, italiaa ja ranskaa. 16-vuotiaana hänestä tuli apulaisopettaja ja opetti West Ridingin kyläkouluissa Yorkshiressä. Kaksikymmentä vuotta hän avasi oman oppilaitoksen kotikaupungissaan.

Lähivuosina lyhyitä vapaa-ajanjaksoja George Buhl käytti lukea paikalliselta mekaniikan laitokselta lainattuja matemaattisia aikakauslehtiä. Siellä hän luki Isaac Newtonin "Principia" -hankkeen ja ranskalaisten tutkijoiden Laplace- ja Lagrange XVIII- ja XIX-vuosisatojen työtä "Teos taivaan mekaniikasta" ja "Analyyttinen mekaniikka". Pian hän hallitsee vaikeimpia tuolloin matemaattisia periaatteita ja alkoi ratkaista vaikeita algebrallisia ongelmia.

On aika siirtyä eteenpäin.

Tähtien auringonnousu

24-vuotiaana George Buhl julkaisi ensimmäisen artikkelinsa Cambridgen yliopiston matemaattisessa lehdessä "Analyyttisen transformaation teoriaa koskevat tutkimukset" lineaaristen muunnosten ja differentiaaliyhtälöiden algebrallisista ongelmista, joissa korostettiin invarianssin käsitystä. Seuraavan kymmenen vuoden aikana hänen tähtensä nousi jatkuvilla virallisilla artikkeleilla, jotka laajensivat matematiikan rajoja.

Vuoteen 1844 mennessä hän keskittyi käyttämään combinatorisia ja matemaattisia analyysejä ääretöntä ja äärettömän suurta määrää. Samana vuonna Royal Society "Philosophical Works" -lehdessä julkaistut teokset saivat kultamitalin hänen panoksestaan matemaattiseen analyysiin ja keskusteluihin menetelmistä, joilla algebra yhdistettäisiin differentiaali- ja integraalilaskennalla.

Pian George Buhl alkoi tutkia mahdollisuuksia käyttää algebraa ratkaisemaan loogisia ongelmia. Hänen 1847 artikkelissaan "Logiikan matemaattinen analyysi" hän ei ainoastaan laajentanut Gottfried Leibnizin aiempia oletuksia logiikan ja matematiikan välisestä korrelaatiosta vaan myös osoittanut, että aiempi oli ensisijaisesti matemaattinen kurinalaisuus, ei filosofinen.

Tämä työ ei herättänyt vain ihailua Augustus de Morganin (Ada Byronin mentorin) erinomaisesta logiikasta, vaan tarjosi hänelle myös asemansa matematiikan professorina Queens Collegeissa Irlannissa, jopa ilman yliopistokoulutusta.

George Boule: Boolen algebra

Vastuessaan koulun tehtävistään matematiikan nero yritti syventää omaa työtäan, keskittyen parantamaan "matemaattista analyysiä" ja päättänyt löytää keinon kirjoittaa loogisia argumentteja erityisellä kielellä, jolla niitä voitaisiin manipuloida ja ratkaista matemaattisesti.

Hän tuli kielelliselle algebralle, jonka kolme päätoimintaa olivat (ja edelleen) "JA", "TAI" ja "EI". Nämä kolme tehtävää muodostavat sen perustan, ja ne olivat ainoita operaattoreita, jotka olivat välttämättömiä vertailuoperaatioiden ja matemaattisten toimintojen suorittamiseen.

Boolen järjestelmä, joka on kuvattu yksityiskohtaisesti teoksessaan "Opinologisten tutkimusten tutkimus, jotka ovat kaikkien 1854 logiikan ja todennäköisten matemaattisten teorioiden perustana", perustui binääriseen lähestymistapaan ja sitä käytettiin vain kahdella esineellä - "kyllä" ja "ei", "totuus" ja " False "," on "ja" off "," 0 "ja" 1 ".

Henkilökohtainen elämä

Seuraavana vuonna hän meni naimisiin Mary Everestin, Sir George Everestin veljen kanssa, jonka nimi on maailman korkein vuori. Pari oli 5 tytärtä. Yksi heistä, vanhin, tuli kemian opettajaksi. Toinen oli mukana geometriassa. George Buhlin nuorin tytär, Ethel Lillian Voynich, tuli kuuluisa kirjailija, joka kirjoitti useita teoksia, joista suosituin romaani "The Gadfly".

seuraajaa

Yllättäen, kun otetaan huomioon matematiikan auktoriteetti akateemisissa piireissä, Boolen ajatusta kritisoitiin tai täysin jättänyt huomiotta useimmat hänen aikalaisensa. Onneksi amerikkalainen logistiikka Charles Sanders Pierce oli avoimempi.

Kaksitoista vuotta tutkimuksen julkaisemisen jälkeen Pierce antoi lyhyen puheen, jossa kuvasi amerikkalaisen taiteen ja tieteen akatemian härkätaistelua ja käytti sitten yli 20 vuotta muuttumassa ja laajentamalla sitä käytännössä teorian mahdollisuuksien hyödyntämiseksi. Tämä johti viime kädessä peruselektronisen logiikkapiirin suunnitteluun.

Pierce ei todellakaan rakenna teoreettista logiikkojärjestelmääsä todellisuudessa, koska hän oli enemmän tiedemies kuin sähköasentaja, mutta hän esitteli logiikan algebran loogisen filosofian yliopistokursseille.

Lopulta yksi lahjakas opiskelija, Claude Shannon, otti idean ja kehitti sen.

Viimeaikaiset työt

Vuonna 1957 George Buhl valittiin Royal Societyn jäseneksi.

"Tutkimuksen" jälkeen hän julkaisi useita teoksia, joista kaksi vaikutusvaltaisimpia ovat Differentiaaliyhtälöt (1859) ja käsikirjoitus lopullisten erojen laskemisesta (1860). Kirjoja on käytetty oppikirjoina jo vuosia. Hän pyrki myös luomaan yleisen todennäköisyysteorian menetelmän, joka mahdollistaa minkä tahansa tapahtumajärjestelmän todennäköisyydet määrittää myöhemmin tapahtuneesta tapahtumasta, joka liittyy logiikkaan.

Viimeinen todiste

Valitettavasti Boolen työ keskeytettiin, kun hän kuoli "kuumeisen kylmän" 49-vuotiaana, kun kävsi 3 kilometriä sateessa ja luennoinut märissä vaatteissa. Tämä jälleen kerran osoitti, että neroilla ja järjellä on usein vähän yhteistä.

Heritage

George Buhlin "matemaattinen analyysi" ja "tutkimukset" merkitsivät Boolen algebran alkua, jota kutsutaan joskus Boolen logiaksi.

Sen kahden arvojärjestelmän, argumenttien erottaminen eri luokkiin, joiden avulla on mahdollista suorittaa operaatioita tiettyjen ominaisuuksien läsnäolon tai poissaolon perusteella, mahdollistivat loogisten johtopäätösten tekemisen riippumatta yksittäisten elementtien lukumääristä.

Boolen teokset loivat sovellusten luomisen, joita hän ei olisi koskaan voinut kuvitella. Esimerkiksi tietokoneet käyttävät binäärisiä numeroita ja loogisia elementtejä, joiden laite ja toiminta perustuvat logiikkalogiikkaan. Tiede, jonka perusti tietojenkäsittelytieteilijä George Buhl, tutkii informaation ja tietojenkäsittelyn teoreettiset perusteet sekä käytännön toteutustavat.