Potičući iz siromašne radničke porodice, George Buhl je rođen u pogrešno vrijeme, na pogrešnom mjestu i definitivno u pogrešnoj društvenoj klasi. Nije imao šanse da odraste u matematičkog genija, ali je to postao uprkos svim izgledima.
George Buhl: Biografija
Rođen 2. novembra 1815. godine u engleskom industrijskom gradu Linkolnu, Boole je imao sreću da ima oca koji je i sam volio matematiku i davao lekcije svom sinu. Osim toga, naučio ga je da pravi optičke instrumente. Mladi Džordž je bio željan učenja, a sa osam godina nadmašio je svog oca samouka.
Porodični prijatelj pomogao je dječaku da nauči osnove latinskog i iscrpio se za nekoliko godina. Sa 12 godina, Buhl je već prevodio antičku rimsku poeziju. Do 14. godine George je tečno govorio njemački, talijanski i francuski. Sa 16 godina postao je asistent učitelja i predavao u seoskim školama West Ridinga u Yorkshireu. Sa dvadeset godina otvorio je vlastitu obrazovnu instituciju u svom rodnom gradu.
Tokom narednih nekoliko godina George Boole je provodio kratke periode slobodnog vremena čitajući matematičke časopise posuđene od lokalnog Instituta za mehaniku. Tamo je pročitao "Principia" Isaka Newtona iradovi francuskih naučnika Laplasa i Lagranža iz 18. i 19. veka "Traktat o nebeskoj mehanici" i "Analitička mehanika". Ubrzo je savladao najteže matematičke principe u to vrijeme i počeo rješavati teške algebarske probleme.
Vrijeme je da krenemo dalje.
Star Rising
U dobi od 24 godine, George Boole je objavio u časopisu Cambridge University Mathematical Journal svoj prvi rad "Istraživanja u teoriji analitičkih transformacija" o algebarskim problemima linearnih transformacija i diferencijalnih jednačina, fokusirajući se na koncept invarijantnosti. U narednih deset godina, njegova zvijezda je rasla sa stalnim prilivom originalnih radova koji pomiču granice matematike.
Do 1844. koncentrisao se na korištenje kombinatorike i računa za rad na beskonačno malim i beskonačno velikim brojevima. Iste godine, za svoj rad objavljen u Philosophical Transactions of the Royal Society, za doprinos matematičkoj analizi i raspravi o metodama za kombinovanje algebre sa diferencijalnim i integralnim računom, nagrađen je zlatnom medaljom.
Uskoro je George Boole počeo istraživati mogućnosti korištenja algebre za rješavanje logičkih problema. U svom djelu Matematička analiza logike iz 1847. godine, on ne samo da je proširio ranije sugestije Gottfrieda Leibniza o korelaciji između logike i matematike, već je i dokazao da je prva bila prvenstveno matematička disciplina, a ne filozofska.
Ovo djelo je izazvalo ne samo divljenje izvanrednog logičaraAugustus de Morgan (mentor Ade Byron) ali mu je osigurao mjesto profesora matematike na Queen's Collegeu u Irskoj, čak i bez univerzitetske diplome.
George Buhl: Boolean Algebra
Oslobođen školskih obaveza, matematičar je počeo dublje da se udubljuje u svoj rad, fokusirajući se na poboljšanje "matematičke analize", i odlučio je da pronađe način da napiše logičke argumente na posebnom jeziku, kojim bi se mogli izmanipulirano i matematički riješeno.
Došao je do lingvističke algebre, čije su tri osnovne operacije bile (i još uvijek su) "I", "ILI" i "NE". Upravo su ove tri funkcije činile osnovu njegove premise i bile su jedini operatori potrebni za izvođenje operacija poređenja i osnovnih matematičkih funkcija.
Booleov sistem, detaljno opisan u njegovom djelu "Istraživanje zakona mišljenja, koji su osnova svih matematičkih teorija logike i vjerovatnoće" iz 1854. godine, bio je zasnovan na binarnom pristupu i operisao je samo sa dva objekta. - "da" i "ne", "tačno" i "netačno", "uključeno" i "isključeno", "0" i "1".
Privatan život
Sljedeće godine se oženio Mary Everest, nećakinjom Sir Georgea Everesta, po kojoj je najviša planina na svijetu dobila ime. Par je imao 5 kćeri. Jedan od njih, najstariji, postao je nastavnik hemije. Drugi je bio iz geometrije. Najmlađa kćer Georgea Boolea, Ethel LillianVoynich je postao poznati pisac koji je napisao nekoliko djela, od kojih je najpopularniji roman Gadfly.
Pratioci
Iznenađujuće, s obzirom na autoritet matematičara u akademskim krugovima, Booleova ideja je kritikovana ili potpuno ignorisana od strane većine njegovih savremenika. Srećom, američki logičar Charles Sanders Pierce bio je otvoreniji.
Dvanaest godina nakon objavljivanja Studije, Peirce je održao kratak govor opisujući Booleovu ideju Američkoj akademiji umjetnosti i nauka, a zatim je proveo više od 20 godina modifikujući je i proširujući je kako bi ostvario potencijal teorije u praksi. Ovo je na kraju dovelo do dizajna osnovnog električnog logičkog kola.
Pierce zapravo nikada nije izgradio svoje teorijsko logičko kolo, pošto je bio više naučnik nego električar, ali je uveo Bulovu algebru u univerzitetske kurseve logičke filozofije.
Na kraju je jedan nadareni student, Claude Shannon, preuzeo ovu ideju i razvio je.
Nedavni radovi
1957. George Boole je izabran za člana Kraljevskog društva.
Nakon "Istraživanja" objavio je niz radova, od kojih su dva najuticajnija "Treatise on Differential Equations" (1859) i "Treatise on the Calculus of Finite Differences" (1860). Knjige se već dugi niz godina koriste kao udžbenici. Takođe je pokušao da stvori opštu metodu teorije verovatnoće, koja bi omogućila da se na osnovu datih verovatnoća bilo kog sistema događaja odredi naknadnivjerovatnoća bilo kojeg događaja povezanog sa datim logički.
Posljednji dokaz
Nažalost, Booleov rad je prekinut kada je umro od "grozničke prehlade" u 49. godini nakon što je hodao 3 km po kiši dok je držao predavanja u mokroj odjeći. Time je još jednom dokazao da genije i zdrav razum ponekad imaju malo zajedničkog.
Legacy
George Boole "Matematička analiza" i "Istraživanje" postavili su temelje za Booleovu algebru, koja se ponekad naziva Booleova logika.
Njegov sistem od dvije vrijednosti, dijeljenjem argumenata u različite klase kojima se onda može upravljati prema tome imaju li ili ne određena svojstva, omogućio je izvođenje zaključaka bez obzira na broj različitih elemenata.
Buhlov rad doveo je do aplikacija koje nikada nije mogao zamisliti. Na primjer, računari koriste binarne brojeve i logičke elemente, čiji je dizajn i rad zasnovan na Booleovoj logici. Nauka, čiji je osnivač George Boole, informatika, istražuje teorijske osnove informacija i proračuna, kao i praktične metode za njihovu implementaciju.
