Matematiku Ingliż Dzhordzh Bul: bijografija, ix-xogħol

Ġej minn familja fqira-klassi tal-ħaddiema Dzhordzh Bul ma twieled f'dak iż-żmien, fil-post żbaljat, u ċertament mhux fil-klassi soċjali. Hu ma jkollhom ċans li jikbru ġenju matematiku, iżda hu ma kien minkejja kollox.

Dzhordzh Bul: bijografija

Imwieled 2 Novembru, 1815 fil-belt industrijali Ingliża ta 'Lincoln, Boole kien xxurtjati li jkollhom missier li huwa stess kien interessat fil-matematika u taw lezzjonijiet lil ibnu. Barra minn hekk, għallem lilu kif jagħmlu strumenti ottiċi. Żgħażagħ George zealously ħa istudji tiegħu, u fl-età ta 'tmien snin, qabeż awto-mgħallma missieru.

Ħabib familja għenu jgħallmu l-boy bażiku Latina u eżawriti fi ftit snin. Għal 12-il sena Bull tradotta il-poeżija Rumana antika. Għal 14-il sena, George kien fluwenti fil-lingwa Ġermaniża, Taljan u bil-Franċiż. Fl-età 16 sar assistent għalliem u mgħallma fl-iskejjel rurali fil-Riding Punent ta 'Yorkshire. Fil għoxrin, huwa kien fetaħ iskola tiegħu stess fil Hometown tiegħu.

Matul il-ftit snin li ġejjin perjodi qosra ta 'ħin liberu Dzhordzh Bul jintefqu qari ġurnali matematiċi mislufa fl-Istitut lokali tal-Mekkanika. Hemmhekk hu jaqra l-ħidma Isaaka Nyutona "il-Principia" u l-ħidma ta 'xjenzjati Franċiż Laplace u Lagrange XVIII u XIX sekli "trattat dwar Mechanics ċelesti" u "Mechanics Analitiku". Huwa malajr mhaddma l-aktar diffiċli fil illi prinċipji matematiċi ħin u bdew isolvu problemi alġebrin diffiċli.

Wasal iż-żmien biex jimxu fuq.

stilla jogħlew

Fl-età 24, Dzhordzh Bul ppubblikat ġurnal matematika Cambridge University ewwel artiklu tiegħu, "Studji tat-teorija ta 'trasformazzjonijiet analitiċi" fuq problemi alġebrin ta' trasformazzjonijiet lineari u l-ekwazzjonijiet differenzjali b'enfasi fuq il-kunċett ta 'invariance. Matul l-għaxar snin li ġejjin, star tiegħu kienet qed tiżdied bil fluss kostanti ta 'oġġetti oriġinali, jestendi lil hinn matematika.

Sa 1844, huwa kkonċentrat fuq l-użu ta 'analiżi combinatorial u operazzjonijiet matematiċi għall infinitament ċkejken u numru infinit. Fl-istess sena għall-ħidma, ippubblikat fil-Ġurnal ta 'l-Soċjetà Rjali "Transazzjonijiet Filosofiku," għall-kontribuzzjonijiet tiegħu għall-analiżi matematika u diskussjoni ta' metodi ta 'kif tgħaqqad alġebra biex differenzjali u kalkulu integrali, kien mogħti midalja tad-deheb.

Dzhordzh Bul malajr bdew jesploraw il-possibbiltà li jintużaw alġebra biex isolvu problemi loġika. Fil- "Analiżi matematika ta 'Loġika" 1847, huwa mhux biss estiża l-assunzjonijiet preċedenti Gottfried Leibniz fuq il-korrelazzjoni bejn loġika u l-matematika, iżda wkoll ippruvat li l-ewwel huwa primarjament dixxiplina matematiċi, aktar milli filosofiku.

Dan ix-xogħol ikun ikkawża mhux biss l-ammirazzjoni tal-loġika pendenti Augustus De Morgan (mentor Ady Bayron), iżda assigurat wkoll post ta 'professur tal-matematika fl Queens Kulleġġ fl-Irlanda tiegħu anki mingħajr edukazzjoni universitarja.

Dzhordzh Bul: alġebra Boolean

Meħlusa mill-dmirijiet ta 'l-iskola, ġenju matematiċi bdew wieħed jidħol aktar fil-fond fil-ħidma tagħhom stess, li jiffoka fuq it-titjib "analiżi matematika" u ddeċieda li ssib mod biex jiktbu argumenti loġiku lingwa speċjali li miegħu jkun possibbli li jimmanipulaw u ssolvi matematikament.

Huwa wasal għall-alġebra lingwistika, tliet operazzjonijiet maġġuri li kienu (u għadhom) "U", "jew" u "MHUX". Dawn it-tliet funzjonijiet jiffurmaw il-bażi tal-bini tagħha u kienu l-uniċi operaturi meħtieġa biex iwettaq l-operazzjonijiet paragun u l-funzjonijiet matematiċi bażiċi.

sistema Boole huwa deskritt fid-dettall fil-ħidma tiegħu "L-istudju tal-liġijiet tal-ħsieb, li hija l-bażi ta 'teoriji matematiċi kollha tal-loġika u probabbiltajiet" fl 1854, ibbażata fuq approċċ binarju, u mħaddma ma' biss żewġ oġġetti - "iva" jew "le", "verità" u " falza "," fuq "u" mitfi "għal" 0 "u" 1 ".

ħajja personali

Is-sena ta 'wara hu miżżewweġ Mary Everest, neputija ta' Sir George Everest, wara min huwa msemmi l-muntanji ogħla fid-dinja. Il-koppja kellhom ħames ibniet. Waħda minnhom, l-aktar membru anzjan, sar għalliem tal-kimika. Oħrajn kienu involuti fil-ġeometrija. Il-bint iżgħar ta 'George Boole, Ethel Lilian Voynich, sar kittieb famuż li kiteb diversi xogħlijiet, l-aktar popolari ta' liema huwa l-ġdid "Il-gadfly".

segwaċi

Surprisingly, minħabba l-prestiġju tal-matematika fl-ċrieki akkademiċi, l-idea ta 'Boole ikkritikat jew kompletament injorati mill-maġġoranza tal-kontemporanji tiegħu. Fortunatament, il-logician Amerikana Charles Sanders Peirce kien aktar miftuħa.

Tnax-il sena wara l-pubblikazzjoni ta ' "Riċerka" Pearce għamel diskors qasir, jiddeskrivi l-idea ta' Boole 'l-American Akkademja tax-Xjenzi, u mbagħad jintefqu aktar minn 20 sena, li qed jinbidlu u tespandi biex tirrealizza l-potenzjal tat-teorija fil-prattika. Dan fl-aħħar wassal għat-tfassil taċ-ċirkwit bażi loġika elettriku.

Ittaqqab loġika teoritiku attwalment qatt mibnija, kif kien studjuż akbar minn elettriċista, iżda introduċa algebra Boolean fil-korsijiet universitarji filosofija loġiku.

Fl-aħħar, wieħed student talent, Klod Shennon, ħa din l-idea u żviluppat dan.

ħidma reċenti

Fl-1957, George Boole kien elett Fellow tar-Royal Society.

Wara l- "Riċerka", huwa ppubblikat numru ta 'xogħlijiet, li l-aktar żewġ influwenti huma l- "trattat dwar Ekwazzjonijiet Differenzjali" (1859) u "A Treatise fuq il-Kalkulu tal-Differenzi Finite" (1860). Kotba użati bħala kotba għal ħafna snin. Huwa wkoll ippruvaw joħolqu metodu komuni ta 'teorija tal-probabilità, li jippermetti data mill-probabbiltajiet ta' kwalunkwe sistema ta 'avvenimenti biex tiddetermina l-probabbiltà sussegwenti ta' kwalunkwe avveniment assoċjat ma 'l-spećifikat loġiku.

L-aħħar prova

Sfortunatament, ix-xogħol kien interrott Boulle meta miet ta ' "irjiħat deni" fl-età ta' 49 wara li jmorru 3 kilometri fix-xita, u llekċerja fil-ħwejjeġ imxarrbin. Dan kien ippruvat għal darb'oħra li l-ġenju u sens komun kultant għandhom ftit affarijiet komuni.

wirt

"Analiżi matematika" u "Riċerka" George Boole tat bidu għall-alġebra Boolean, li huwa xi kultant imsejjaħ loġika Boolean.

-sistema tiegħu ta 'żewġ valuri, l-argumenti separazzjoni fi klassijiet differenti, li jistgħu mbagħad iwettqu operazzjonijiet skond il-preżenza jew assenza ta' ċerti propjetajiet għamluha possibbli li jagħmlu inferenzi irrispettivament min-numru ta 'elementi individwali.

Proċedimenti Buhl wasslet għall-ħolqien ta 'applikazzjonijiet, li huwa qatt ma seta' immaġina. Per eżempju, il-kompjuters huma użati fi kwantitajiet binarji u elementi loġiċi, l-istruttura u l-operazzjoni tagħhom hija bbażata fuq il-loġika Boolean. Xjenza, li huwa meqjus bħala l-fundatur ta 'Dzhordzh Bul, kompjuter, jesplora l-pedamenti teoretiku ta' informazzjoni u l-komputazzjoni, kif ukoll metodi prattiċi għall-implimentazzjoni tagħhom.