George Buhl, ki izhaja iz revne delavske družine, se je rodil ob napačnem času, na napačnem mestu in zagotovo v napačnem družbenem razredu. Ni imel možnosti, da bi odrasel v matematičnega genija, vendar je to postal kljub vsemu.
George Buhl: Biografija
Boole, rojen 2. novembra 1815 v angleškem industrijskem mestu Lincoln, je imel to srečo, da je imel očeta, ki je bil sam navdušen nad matematiko in je učil svojega sina. Poleg tega ga je naučil izdelati optične instrumente. Mladi George se je želel učiti in pri osmih letih je presegel svojega očeta samouka.
Družinski prijatelj je fanta pomagal naučiti osnovne latinščine in se v nekaj letih izčrpal. Pri 12 letih je Buhl že prevajal starorimsko poezijo. Pri 14 letih je George tekoče govoril nemščino, italijanščino in francoščino. Pri 16 letih je postal pomočnik učitelja in poučeval v podeželskih šolah West Riding v Yorkshiru. Pri dvajsetih je v domačem kraju odprl svojo izobraževalno ustanovo.
V naslednjih nekaj letih je George Boole krajša obdobja prostega časa porabil za branje matematičnih revij, izposojenih pri lokalnem inštitutu za mehaniko. Tam je prebral "Principia" Isaaca Newtona indela francoskih znanstvenikov Laplacea in Lagrangea iz 18. in 19. stoletja "Razprava o nebesni mehaniki" in "Analitična mehanika". Kmalu je obvladal takrat najtežja matematična načela in začel reševati težke algebraične probleme.
Čas je, da gremo naprej.
Star Rising
Pri 24 letih je George Boole v reviji Cambridge University Mathematical Journal objavil svoj prvi prispevek "Raziskave v teoriji analitičnih transformacij" o algebraičnih problemih linearnih transformacij in diferencialnih enačb, s poudarkom na konceptu invariance. V naslednjih desetih letih se je njegova zvezda vzpenjala s stalnim tokom izvirnih člankov, ki so premikali meje matematike.
Do leta 1844 se je osredotočil na uporabo kombinatorike in računa za delovanje na neskončno majhnih in neskončno velikih številih. Istega leta je bil za svoje delo, objavljeno v Philosophical Transactions of the Royal Society, za prispevek k matematični analizi in razpravi o metodah združevanja algebre z diferencialnim in integralnim računom, nagrajen z zlato medaljo.
Kmalu je George Boole začel raziskovati možnosti uporabe algebre za reševanje logičnih problemov. V svojem delu Mathematical Analysis of Logic iz leta 1847 ni le razširil prejšnje predloge Gottfrieda Leibniza o korelaciji med logiko in matematiko, ampak je tudi dokazal, da je bila prva matematična disciplina, ne filozofska.
To delo ni vzbudilo samo občudovanja izjemnega logikaAugustus de Morgan (mentor Ade Byron), vendar mu je zagotovil mesto profesorja matematike na Queen's College na Irskem, tudi brez univerzitetne diplome.
George Buhl: Boolova algebra
Osvobojen šolskih obveznosti se je matematik začel poglabljati v svoje delo in se osredotočil na izboljšanje »matematične analize« in se odločil, da bo našel način za pisanje logičnih argumentov v posebnem jeziku, s katerim bi jih lahko manipulirano in rešeno matematično.
Prišel je do jezikovne algebre, katere tri osnovne operacije so bile (in so še vedno) "IN", "ALI" in "NE". Prav te tri funkcije so bile osnova njegove premise in so bile edini operaterji, potrebni za izvajanje primerjalnih operacij in osnovnih matematičnih funkcij.
Booleov sistem, ki je bil podrobno opisan v njegovem delu "Raziskava zakonov misli, ki so osnova vseh matematičnih teorij logike in verjetnosti" leta 1854, je temeljil na binarnem pristopu in je deloval le z dvema objektoma. - "da" in "ne", "resnično" in "napačno", "vklopljeno" in "izklopljeno", "0" in "1".
Zasebno življenje
Naslednje leto se je poročil z Mary Everest, nečakinjo Sir Georgea Everesta, po kateri je poimenovana najvišja gora na svetu. Par je imel 5 hčera. Eden izmed njih, najstarejši, je postal učitelj kemije. Drugi je bil v geometriji. Najmlajša hči Georgea Boola, Ethel LillianVoynich je postal znan pisatelj, ki je napisal več del, med katerimi je najbolj priljubljen roman Gadfly.
Spremljevalci
Presenetljivo, glede na avtoriteto matematika v akademskih krogih, je bila Boolova ideja kritizirana ali popolnoma prezrta s strani večine njegovih sodobnikov. Na srečo je bil ameriški logik Charles Sanders Pierce bolj odprt.
Dvanajst let po objavi Študije je Peirce imel kratek govor, v katerem je opisal Booleovo idejo, Ameriški akademiji za umetnost in znanost, nato pa več kot 20 let jo spreminjal in širil, da bi uresničil potencial teorije v praksi.. To je na koncu pripeljalo do zasnove osnovnega električnega logičnega vezja.
Pierce pravzaprav nikoli ni zgradil svojega teoretičnega logičnega vezja, saj je bil bolj znanstvenik kot električar, ampak je uvedel Boolonovo algebro v univerzitetne tečaje logične filozofije.
Sčasoma je en nadarjeni študent, Claude Shannon, vzel to idejo in jo razvil.
Nedavna dela
Leta 1957 je bil George Boole izvoljen za člana Kraljeve družbe.
Po »Raziskavi« je objavil številna dela, od katerih sta najbolj vplivni »Razprava o diferencialnih enačbah« (1859) in »Razprava o izračunu končnih razlik« (1860). Knjige se že vrsto let uporabljajo kot učbeniki. Poskušal je ustvariti tudi splošno metodo teorije verjetnosti, ki bi iz danih verjetnosti katerega koli sistema dogodkov omogočila določitev kasnejšegaverjetnost katerega koli dogodka, povezanega z dano logično.
Zadnji dokaz
Na žalost je bilo Booleovo delo prekinjeno, ko je v 49 letih umrl zaradi "vročičnega prehlada", potem ko je v mokrih oblačilih hodil 3 km po dežju, medtem ko je predaval. S tem je še enkrat dokazal, da imajo geniji in zdrav razum včasih malo skupnega.
Legacy
"Matematična analiza" in "Raziskave" Georgea Boola sta postavila temelje za Boolonovo algebro, včasih imenovano Boolean Logic.
Njegov sistem dveh vrednosti, ki deli argumente v različne razrede, ki jih je mogoče nato upravljati glede na to, ali imajo določene lastnosti ali ne, je omogočil sklepanje ne glede na število različnih elementov.
Buhlovo delo je pripeljalo do aplikacij, ki si jih nikoli ni mogel predstavljati. Računalniki na primer uporabljajo binarne številke in logične elemente, katerih zasnova in delovanje temeljita na Booleovi logiki. Znanost, katere ustanovitelj je George Boole, računalništvo, raziskuje teoretične temelje informacij in izračunov ter praktične metode za njihovo izvajanje.
