Angle matematisyen Dzhordzh bu: biyografi, travay

Vini soti nan yon fanmi pòv k ap travay-klas Dzhordzh bu pa te fèt nan tan sa a, nan plas la sa ki mal, epi sètènman pa nan klas la sosyal. Li pa t 'gen yon chans yo grandi yon jeni matematik, men li te fè li nan malgre nan tout bagay.

Dzhordzh bu: biyografi

Li te fèt, 2 novanm 1815 nan vil la angle endistriyèl nan Lincoln, Boole te gen chans gen yon papa ki tèt li te enterese nan matematik e li te bay leson yo, pitit gason l 'yo. Anplis de sa, li te anseye l 'ki jan fè enstriman mizik optik. Young George zèl pran syans l ', ak nan laj la nan uit ane, plis pouvwa pase anseye pwòp tèt ou-papa l'.

Yon zanmi fanmi te ede anseye ti gason an debaz Latin ak fin itilize nan yon kèk ane. Pou 12 ane ti towo bèf te tradui ansyen pwezi Women an. Pou 14 ane, George te pale nan Alman, Italyen ak franse. Nan laj 16 li te vin yon pwofesè asistan epi li te anseye nan lekòl riral nan la Monte West nan Yorkshire. Nan ven, li louvri pwòp lekòl yo nan peyi l '.

Plis pase ane kap vini yo peryòd ki kout nan tan lib Dzhordzh bu pase lekti jounal matematik prete nan Enstiti lokal la Mekanik. Se la li li travay nan Isaaka Nyutona "Principia a" ak travay la nan syantis franse Laplace ak Lagrange XVIII Atik ak XIX syèk "trete sou Mekanik Selès" ak "Analyse Mekanik". Li pli vit metrize pi difisil la nan tan sa a prensip matematik ak yo te kòmanse rezoud difisil pwoblèm aljebrik.

Li lè yo deplase sou.

K ap monte a zetwal

Nan laj 24, Dzhordzh bu pibliye yon jounal matematik Cambridge University atik premye l ', "Etid nan teyori a nan transfòmasyon analitik" sou pwoblèm aljebrik nan transfòmasyon lineyè ak ekwasyon diferans ak anfaz sou konsèp nan envaryans. Plis pase dis ane kap vini yo, zetwal li te k ap monte ak yon kouran konstan nan atik orijinal la, ale pi lwen pase matematik.

Pa 1844, li te konsantre sou itilize nan analiz konbinatwar ak operasyon matematik pou enfiniman ti ak yon nonb infini. Nan menm ane an pou travay la, ki te pibliye nan jounal la nan Royal Sosyete "Tranzaksyon yo Filozofik," pou kontribisyon li nan analiz matematik ak diskisyon sou metòd pou konbine aljèb différentielle Et kalkil matematik entegral, li te bay yon meday lò.

Dzhordzh bu byento yo te kòmanse eksplore posiblite pou lè l sèvi avèk aljèb yo rezoud pwoblèm lojik. Nan 1847 "Analiz la Matematik nan Lojik", li te pa sèlman elaji sipozisyon yo ki pi bonè Gottfried Leibniz sou korelasyon ki genyen ant lojik ak matematik, men tou, pwouve ke ansyen an se sitou yon disiplin matematik, olye ke filozofik.

Te travay Sa a te lakòz pa sèlman admirasyon a nan lojik a eksepsyonèl Augustus De Morgan (konseye ady Bayron), men tou garanti plas li nan pwofesè nan matematik nan Queens College nan Iland menm san yo pa yon edikasyon inivèsite.

Dzhordzh bu: Boolean aljèb

Libere de devwa yo nan lekòl la, jeni matematik yo te kòmanse fouye pi fon nan pwòp travay yo, ki konsantre sou amelyore "matematik analiz la" ak deside jwenn yon fason yo ekri agiman lojik yon lang espesyal ak kote yo ta posib yo manipile ak rezoud matematik.

Li vin nan aljèb nan lengwistik, twa pi gwo operasyon ki te (epi ou toujou ap yo) "AK", "oswa" ak "PA". twa Fonksyon sa yo fòme baz la nan lokal li yo epi yo te operatè yo sèlman oblije fè operasyon yo konparezon ak debaz fonksyon matematik.

Se sistèm Boole a dekri yo an detay nan travay li "Etid la nan lwa yo nan panse, ki se baz la nan tout teyori matematik nan lojik ak pwobablite" nan 1854, ki baze sou yon apwòch binè, epi yo te opere avèk sèlman de objè - "wi" oswa "non", "verite" ak " fo "," sou "ak" off "nan" 0 "ak" 1 ".

lavi pèsonèl

Ane annapre a li marye ak Mari Everest, nyès nan Sir George Everest, apre yo fin ki moun yo te rele mòn ki pi wo nan mond lan. Koup la te gen senk pitit fi. Youn nan yo, sak pi gran an, te vin yon pwofesè nan chimi. Gen lòt ki te enplike nan jeyometri. Pitit fi a pi piti nan George Boole, Ethel Lilian Voynich, te vin yon ekriven pi popilè ki te ekri travay plizyè, nan la ki pi popilè ki se roman an "Tanwouan la".

disip

Surprenante, yo bay prestige la nan matematik nan ti sèk yo akademik, lide a nan Boole kritike oswa konplètman inyore pa pi fò nan kontanporen l 'yo. Erezman, Ameriken lojisyen la Charles Sanders Peirce te pi plis louvri.

Douz ane apre piblikasyon an nan "Rechèch" Pearce te fè yon diskou kout, dekri lide a nan Boole nan Endyen Akademi an nan Arts ak Syans, ak Lè sa a pase plis pase 20 ane, chanje ak agrandi li reyalize potansyèl la nan teyori a an pratik. Sa a finalman mennen nan desen an nan kous la baz lojik elektrik.

Pierce lojik teyorik li aktyèlman pa janm bati, jan sa te yon elèv pi gran pase yon elektrisyen, men entwodwi yon aljèb Boolean nan kou inivèsite filozofi lojik.

Nan fen a, yon elèv ki gen don, Klod Shennon, te pran ide sa a epi li devlope li.

dènye travay

Nan 1957, George Boole te eli Kamarad nan Sosyete an Royal.

Apre "rechèch la", li te pibliye yon nimewo nan travay, nan ki de a pi enfliyan yo se "trete a sou Diferansyèl Ekwasyon" (1859) ak "Yon trete sou Calculus la diferans fini" (1860). Liv itilize kòm liv pou plizyè ane. Li te tou te eseye kreye yon metòd komen nan teyori pwobabilite, ki ta pèmèt done ki sòti nan pwobablite yo nan nenpòt ki sistèm nan evènman detèmine pwobabilite a ki vin apre nan nenpòt ki evènman ki asosye ak espesifye nan lojik.

Prèv la dènye

Malerezman, yo te travay nan koupe Boulle lè li te mouri nan "rim sèvo fyévreuz" nan laj la nan 49 apre ou fin ale 3 kilomèt nan lapli a, e li te anseye nan rad mouye. li sa a te pwouve yon fwa plis ke jeni an ak bon sans pafwa gen ti kras nan komen.

eritaj

"Matematik analiz" ak "Rechèch" George Boole inisye aljèb la Boolean, ki se pafwa yo rele Boolean lojik.

sistèm li nan de valè yo, yo gen agiman separasyon nan klas diferan, ki ka Lè sa a fè operasyon dapre prezans la oswa absans nan pwopriyete sèten te fè li posib fè dediksyon kèlkeswa kantite a nan eleman endividyèl elèv yo.

Pwosedi Buhl mennen nan kreyasyon an de aplikasyon pou, ki li pa janm te ka imajine. Pou egzanp, òdinatè yo te itilize nan nimewo binè ak eleman ki lojik, estrikti ak operasyon nan ki baze sou Boolean lojik. Syans, ki se konsidere kòm fondatè a Dzhordzh bu, òdinatè, eksplore fondasyon yo teyorik nan enfòmasyon ak kalkil, osi byen ke metòd pratik pou aplikasyon yo.