Setsebi sa lipalo sa Senyesemane George Buhl: biography, ea sebetsa

Setho sa lelapa le futsanehileng George Buhl o hlahile ka nako e fosahetseng, sebakeng se fosahetseng, 'me ka sebele ha se joalo sechabeng. O ne a se na monyetla oa ho hōlisa sebōpeho sa lipalo, empa o ile ae fetoha, ho sa tsotellehe ntho e 'ngoe le e' ngoe.

George Boule: Biography

O hlahile ka la 2 November, 1815, motseng oa Lincoln oa Senyesemane, Buly o ne a le lehlohonolo ho ba le ntate ea neng a rata lipalo 'me a ruta mora oa hae lithuto. Ho phaella moo, o ile a mo ruta ho etsa lisebelisoa tsa optical. George e monyenyane o ile a qala ho ithuta ka cheseho, 'me ha a le lilemo li robeli o ile a feta ntat'ae-ea rutoang.

Motsoalle oa lelapa o ile a thusa ho ruta moshanyana oa Selatine 'me ka lilemo tse' maloa o ne a khathetse. Ha a le lilemo li 12, Buhl o ne a se a ntse a fetolela litlhaku tsa khale tsa Roma. Ha George a le lilemo li 14, o ne a bua Sejeremane, Setaliana le Sefora hantle. Ha a le lilemo li 16 o ile a fetoha motlatsi oa mosuoe 'me a ruta likolo tsa motseng oa West Riding, Yorkshire. Ka mashome a mabeli o ile a bula setsi sa hae sa thuto motseng oa habo.

Lilemong tse 'maloa tse latelang, nako e khutšoanyane ea nako ea mahala, George Buhl o ile a qeta ho bala limakasine tsa lipalo tse alimiloeng ho Setsi sa Mechanics ea moo. Ha a le moo o ile a bala mosebetsi oa Isaac Newton "Principia" le mosebetsi oa bo-rasaense ba Mafora Laplace le Lagrange XVIII le makholo a XIX "Ho sebetsana le mechine ea leholimo" le "Analytical Mechanics." Kapelenyana o ile a tseba ho thata ka ho fetisisa melao ea lipalo nakong eo 'me a qala ho rarolla mathata a thata a algebra.

Ke nako ea ho fetela pele.

Bosiu ba linaleli

Ha George Buhl a le lilemo li 24, o ile a hatisa sehlooho sa hae sa pele ka koranta ea lipalo ea Univesithing ea Cambridge, "Studies in theory of analytic transformations", tabeng ea mathata a algebraic a liphetoho tse sa tšoaneng le ho arohana le ho hatisoa ka maikutlo a ho hlasela. Lilemong tse leshome tse tlang, naleli ea hae e ile ea nyoloha ka sekhahla sa lihlooho tsa pele tse eketsang meeli ea lipalo.

Ka 1844, o ile a tsepamisa mohopolo tabeng ea ho sebelisa combinatorics le lipalo tsa lipalo bakeng sa ts'ebetso e nang le lipalo tse ngata tse sa lekanyetsoang le tse ngata. Selemong sona seo, bakeng sa mesebetsi e hatisitsoeng koranteng ea Royal Society "Philosophical Works," o ile a fuoa moriana oa khauta bakeng sa tlatsetso ea hae thuputsong ea lipalo le ho buisana ka mekhoa ea ho kopanya algebra le ho khetholla ka tsela e fapaneng le e bohlokoa.

Kapelenyana, George Buhl o ile a qala ho hlahloba menyetla ea ho sebelisa algebra ho rarolla mathata a utloahalang. Leqepheng la hae la 1847 "Mathematical Analysis of Logic," ha aa ka a phahamisa maikutlo a Gottfried Leibniz pele ho moo ho lumellanang pakeng tsa lipalo le lipalo, empa hape o bontšitse hore pele e ne e le taeo ea lipalo, eseng filosofi.

Mosebetsi ona ha oa ka oa tsosolosa feela maikutlo a hlakileng a Augustus de Morgan (moeletsi oa Ada Byron), empa a boela a mo fa boemo ba ho ba moprofesa oa lipalo Queens College ea Ireland, esita le ntle le thuto ea univesithi.

George Boule: Boolean algebra

Ho lokolloa mosebetsing oa hae oa sekolo, setsebi sa lipalo se ile sa qala ho hlahloba haholoanyane mosebetsing oa hae, se tsepamisitse ho ntlafatsa "Mathematical Analysis", 'me sa etsa qeto ea ho fumana mokhoa oa ho ngola lintlha tse utloahalang ka puo e khethehileng eo ba ka e sebelisang le ho rarolla lipalo.

O ile a tla ho algebra ea lipuo, e leng mesebetsi e meraro e ka sehloohong eo ho eona e neng e le ('me e ntse e lula) "LE," "OR," le "NOT." E ne e le mesebetsi e meraro e ileng ea theha motheo oa eona 'me e ne e le tsona feela tse sebetsang ho hlophisa mesebetsi le lipalo tsa motheo tsa lipalo.

Tsamaiso ea Boolean, e hlalositsoeng ka ho qaqileng mosebetsing oa hae "Ho ithuta melao ea monahano e leng motheong oa likhopolo tsohle tsa lipalo tse utloahalang le tse ka khonehang" ea 1854, e ne e itšetlehile ka mokhoa o fetotsoeng o sebelisoang ka mokhoa o tloaelehileng 'me o sebelisoa feela ka lintho tse peli - "E," le "Che", "' nete" le " Bohata "," ho "le" ho tloha "," 0 "le" 1 ".

Bophelo ba botho

Selemong se latelang, o nyetse Mary Everest, mochana oa Sir George Everest, eo lebitso la hae e leng thaba e phahameng ka ho fetisisa lefatšeng. Banyalani ba ne ba e-na le barali ba 5 E mong oa bona, e moholo ka ho fetisisa, o ile a fetoha mosuoe oa k'hemistri. E 'ngoe e ne e kopanela geometry. Morali oa ho fela oa George Buhl, Ethel Lillian Voynich, e ile ea e-ba mongoli ea tsebahalang ea ngotseng mesebetsi e 'maloa, e tummeng ka ho fetisisa ke "buka ea Gadfly".

Balateli

Ho tsotehang, ha a fuoa matla a lipalo tse ling tsa thuto, maikutlo a Boole a ne a nyatsuoa kapa a hlokomolohuoa ka ho feletseng ke batho ba bangata ba mehleng ea hae. Ka lehlohonolo, moqapi oa Amerika ea bitsoang Charles Sanders Pierce o ne a butsoe haholoanyane.

Lilemo tse leshome le metso e 'meli ka mor'a ho hatisoa ha Study, Pierce o ile a fana ka puo e khutšoanyane e hlalosang khopolo ea Bull ea American Academy of Arts le Sciences, mme a qeta lilemo tse fetang 20 a fetola le ho e atolosa ho fumana bokhoni ba khopolo ea ho etsa joalo. Qetellong, sena se ile sa lebisa tlhophisong ea potoloho ea motlakase oa motlakase.

Pierce ha aa ka a haha moqapi oa hae oa boitsebiso ka tsela ea sebele, hobane e ne e le rasaense ho feta motlakase, empa o ile a hlahisa boolean algebra ho ea univesithing ea filosofi e utloahalang.

Qetellong, seithuti se seng se nang le bokhoni, Claude Shannon, se ile sa nka khopolo ena 'me ea e hlahisa.

Mosebetsi oa morao-rao

Ka 1957, George Buhl o khethiloe ho ba setho sa Royal Society.

Ka mor'a "Thuto" o ile a hatisa mesebetsi e 'maloa, eo matla a mabeli a nang le tšusumetso ho eona ke Treatise ea Differential Equations (1859) le The Treatise on the Calculus of Diffite Differences (1860). Libuka li 'nile tsa sebelisoa e le libuka tsa lilemo tse ngata. O ile a boela a leka ho theha mokhoa o tloaelehileng oa monyetla o ka lumellang ho tloha lits'ebetsong tsa ketsahalo leha e le efe ea liketsahalo ho lemoha monyetla o latelang oa ketsahalo leha e le efe e amanang le boitsebiso bo fanoeng ka mokhoa o utloahalang.

Bopaki ba ho qetela

Ka bomalimabe mosebetsi oa Boole o ile oa sitisoa ha a e-shoa ka "febrile serame" a le lilemo li 49 ka mor'a ho tsamaea ka lik'hilomithara tse tharo marung le ho ngolisa liaparo tse metsi. Sena o ile a boela a bontša hore ka linako tse ling ho ba bohlale le ho ba le kelello ha ho na ntho e tšoanang.

The Heritage

"Mathematical Analysis" le "Studies" ea George Buhl li ile tsa tšoaea tšimoloho ea algebra ea Boolean, eo ka linako tse ling e bitsoang Boolean logic.

Tsamaiso ea eona ea litekanyetso tse peli, ho arohana ha likhang ka lihlopha tse fapaneng, tseo ka tsona ho ka khonehang ho etsa ts'ebetso ho latela ho ba teng kapa ho ba sieo ha thepa e itseng, ho entse hore ho khonehe ho fumana liqeto tse utloahalang ho sa tsotellehe palo ea likarolo tse itseng.

Mesebetsi ea Boole e lebisitse ho theho ea likōpo, tseo a neng a ke ke a li nahana. Ka mohlala, lik'homphieutha li sebelisa linomoro tsa binary le likarolo tse utloahalang, sesebelisoa le ts'ebetso ea eona e itšetlehileng ka mokhoa oa Boolean. Saense, e thehiloeng ke George Buhl, litsebi tsa litaba, e hlahloba lits'ebeletso tsa theknoloji tsa tlhahisoleseding le theknoloji, hammoho le mekhoa e sebetsang ea ho kenya ts'ebetsong.