Mathemategydd Saesneg George Buhl: biography, works

Ganed geni o deulu gwael dosbarth gweithgar George Buhl ar yr adeg anghywir, yn y man anghywir, ac yn sicr nid yn y dosbarth cymdeithasol hwnnw. Nid oedd ganddo gyfle i dyfu i fyny athrylith fathemategol, ond daeth e, er gwaethaf popeth.

George Boule: Bywgraffiad

Fe'i ganwyd ar Dachwedd 2, 1815 yn ninas ddiwydiannol Lloegr yn Lloegr, roedd Buly yn ffodus i gael tad a oedd yn hoff o fathemateg ac yn rhoi gwersi i'w fab. Yn ogystal, fe'i haddysgodd i wneud offerynnau optegol. Dechreuodd Young George astudio'n ysgubol, ac yn wyth mlynedd, bu'n rhagori ar ei dad ei hun.

Helpodd ffrind i'r teulu ddysgu Lladin sylfaenol i'r bachgen ac am ychydig o flynyddoedd roedd yn ddiddymu. Erbyn 12 oed, bu Buhl eisoes wedi cyfieithu barddoniaeth Rufeinig hynafol. Erbyn 14 oed, siaradodd George yn Almaeneg, Eidaleg a Ffrangeg rhugl. Yn 16 oed daeth yn athro cynorthwyol ac fe'i dysgodd yn ysgolion y pentref West Riding yn Swydd Efrog. Yn ugain agorodd ei sefydliad addysgol ei hun yn ei gartref ei hun.

Yn ystod y blynyddoedd nesaf, treuliodd cyfnodau byr o amser rhydd, George Buhl, ddarllen cyfnodolion mathemategol a fenthycwyd gan yr Athrofa Mecaneg leol. Yno darllenodd waith Isaac Newton "Principia" a gwaith y gwyddonwyr Ffrengig Laplace a Lagrange XVIII a XIX canrifoedd "Triniaeth ar fecaneg celestial" a "Mecaneg Dadansoddol." Yn fuan fe feistroddodd yr egwyddorion mathemategol anoddaf bryd hynny a dechreuodd ddatrys problemau algebraidd anodd.

Mae'n bryd symud ymlaen.

Sunrise y seren

Yn 24 oed, cyhoeddodd George Buhl ei erthygl gyntaf yng nghylchgrawn mathemategol Prifysgol Caergrawnt, "Astudiaethau yn theori trawsffurfiadau dadansoddol", ar bwnc problemau algebraidd trawsffurfiadau llinellol a hafaliadau gwahaniaethol gyda phwyslais ar y cysyniad o annibyniaeth. Dros y deng mlynedd nesaf, cynyddodd ei seren gyda ffrwd cyson o erthyglau gwreiddiol yn ehangu cyfyngiadau mathemateg.

Erbyn 1844, canolbwyntiodd ar ddefnyddio cyfuniadau a dadansoddiad mathemategol ar gyfer gweithrediadau gyda niferoedd anferthrol ac anferthol mawr. Yn yr un flwyddyn, ar gyfer y gwaith a gyhoeddwyd yng nghylchgrawn Cymdeithas Frenhinol "Gwaith Athronyddol", dyfarnwyd medal aur iddo am ei gyfraniad at y dadansoddiad mathemategol a thrafod dulliau o gyfuno algebra â chalcwlws gwahaniaethol ac annatod.

Yn fuan, dechreuodd George Buhl archwilio'r posibiliadau o ddefnyddio algebra i ddatrys problemau rhesymegol. Yn ei bapur 1847, "Dadansoddiad Mathemategol o Logic," nid yn unig y bu'n rhagdybio tybiaethau cynharach Gottfried Leibniz am y cydberthynas rhwng rhesymeg a mathemateg, ond hefyd profodd mai'r ddisgybl oedd disgyblaeth fathemategol yn bennaf, nid un athronyddol.

Nid yn unig yr oedd y gwaith hwn yn ymfalchïo yn ôl rhesymeg ragorol Augustus de Morgan (mentor Ada Byron), ond rhoddodd swydd iddo fel athro mathemateg yng Ngholeg y Frenhines yn Iwerddon, hyd yn oed heb addysg brifysgol.

George Boule: Algebra Boole

Wedi'i ryddhau o'i ddyletswyddau ysgol, dechreuodd athrylith mathemateg i ymestyn yn ddyfnach i'w waith ei hun, gan ganolbwyntio ar wella'r "Dadansoddiad Mathemategol", a phenderfynodd ddod o hyd i ffordd i ysgrifennu dadleuon rhesymegol mewn iaith arbennig y gellid eu trin a'u datrys yn fathemategol.

Daeth i algebra ieithyddol, roedd y tri phrif weithrediad ohonynt (ac yn dal i fod) "A," "NEU," a "NID." Dyma'r tair swyddogaeth hyn a oedd yn sail i'w rhagdybiaeth a hwy oedd yr unig weithredwyr sy'n angenrheidiol i gyflawni gweithrediadau cymhariaeth a swyddogaethau mathemategol sylfaenol.

Mae'r system Boole, a ddisgrifiwyd yn fanwl yn ei waith "Roedd astudiaeth o gyfreithiau meddwl sy'n sail i bob damcaniaeth fathemategol o resymeg a thebygolrwydd" o 1854, wedi'i seilio ar ddull deuaidd ac yn cael ei weithredu ar ddau wrthrych yn unig - "ie" a "no", "truth" a " Ffug "," on "and" off "," 0 "a" 1 ".

Bywyd personol

Y flwyddyn ganlynol, priododd Mary Everest, nith Syr George Everest, sef ei fynydd uchaf yn y byd. Roedd gan y cwpl 5 ferch. Daeth un ohonynt, yr un hynaf, yn athro cemeg. Roedd y llall yn ymwneud â geometreg. Daeth y ferch ieuengaf George Buhl, Ethel Lillian Voynich, yn awdur enwog a ysgrifennodd sawl gwaith, y mwyaf poblogaidd ohonynt yw'r nofel "The Gadfly".

Dilynwyr

Yn syndod, o ystyried awdurdod mathemateg mewn cylchoedd academaidd, fe feirniadwyd y syniad o Boole neu ei anwybyddu'n llwyr gan y rhan fwyaf o'i gyfoedion. Yn ffodus, roedd y rhesymegydd Americanaidd Charles Sanders Pierce yn fwy agored.

Ddeuddeg mlynedd ar ôl cyhoeddi'r Astudiaeth, rhoddodd Pierce araith fer yn disgrifio'r syniad o Bull of the American Academy of Arts and Sciences, ac yna treuliodd dros 20 mlynedd yn newid a'i ehangu i wireddu potensial y theori yn ymarferol. Yn y pen draw, arweiniodd hyn at ddyluniad y cylched rhesymeg trydanol sylfaenol.

Nid oedd Pierce mewn gwirionedd yn adeiladu ei gynllun rhesymeg damcaniaethol mewn gwirionedd, gan ei fod yn fwy gwyddonydd na thrydanydd, ond cyflwynodd algebra Boole i mewn i gyrsiau prifysgol o athroniaeth resymegol.

Yn y diwedd, cymerodd un myfyriwr dawnus, Claude Shannon, y syniad hwn a'i ddatblygu.

Gwaith diweddar

Yn 1957 etholwyd George Buhl yn aelod o'r Gymdeithas Frenhinol.

Ar ôl yr "Astudiaeth", cyhoeddodd nifer o weithiau, y ddau fwyaf dylanwadol yw'r Triniaeth ar Hafaliadau Gwahaniaethol (1859) a'r Triniaeth ar y Calcwlws o Gwahaniaethau Terfynol (1860). Defnyddiwyd llyfrau fel gwerslyfrau ers blynyddoedd lawer. Ceisiodd hefyd greu damcaniaeth gyffredinol o ddamcaniaeth tebygolrwydd a fyddai'n caniatįu tebygolrwydd unrhyw system o ddigwyddiadau i bennu tebygolrwydd dilynol unrhyw ddigwyddiad sy'n gysylltiedig â'r hyn a roddwyd yn rhesymegol.

Y prawf olaf

Yn anffodus, rhoddwyd ymyriad ar waith Boole pan fu farw o "oer febril" yn 49 oed ar ôl cerdded 3 km yn y glaw a darlithio mewn dillad gwlyb. Mae hyn unwaith eto wedi profi nad oes gan yr athrylau ac ymdeimlad cyffredin ychydig yn gyffredin.

Y Dreftadaeth

Nododd "Dadansoddiad Mathemategol" a "Astudiaethau" gan George Buhl ddechrau'r algebra Boole, a elwir weithiau'n rhesymeg Booleaidd.

Mae ei system o ddau wert, gwahanu dadleuon mewn gwahanol ddosbarthiadau, ac yna mae'n bosib cyflawni gweithrediadau yn unol â phresenoldeb neu absenoldeb rhai eiddo, gan ei gwneud hi'n bosibl tynnu casgliadau rhesymegol waeth beth fo nifer yr elfennau unigol.

Arweiniodd gwaith Boole at greu ceisiadau na allai erioed wedi dychmygu. Er enghraifft, mae cyfrifiaduron yn defnyddio rhifau deuaidd ac elfennau rhesymegol, mae'r ddyfais a'i weithrediad yn seiliedig ar resymeg Boole. Mae gwyddoniaeth, a sefydlwyd gan George Buhl, yn hysbyseg, yn archwilio'r seiliau gwybodaeth a chyfrifiadureg damcaniaethol, yn ogystal â dulliau ymarferol i'w gweithredu.