Potječući iz siromašne radničke obitelji, George Buhl rođen je u krivo vrijeme, na krivom mjestu i definitivno u pogrešnoj društvenoj klasi. Nije imao šanse da odraste u matematičkog genija, ali je to postao usprkos svim izgledima.
George Buhl: Biografija
Rođen 2. studenog 1815. u engleskom industrijskom gradu Lincolnu, 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 izrađivati optičke instrumente. Mladi George je bio željan učenja, a u dobi od osam godina nadmašio je svog oca samouka.
Obiteljski prijatelj pomogao je dječaku naučiti osnove latinskog i iscrpio se za nekoliko godina. U dobi od 12 godina, Buhl je već prevodio starorimsku 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 ustanovu u svom rodnom gradu.
Tijekom sljedećih nekoliko godina George Boole provodio je kratke periode slobodnog vremena čitajući matematičke časopise posuđene od lokalnog Instituta za mehaniku. Tamo je pročitao "Principia" Isaaca Newtona idjela francuskih znanstvenika Laplacea i Lagrangea iz 18. i 19. stoljeća "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 objavio je u časopisu Cambridge University Mathematical Journal svoj prvi rad "Istraživanja u teoriji analitičkih transformacija" o algebarskim problemima linearnih transformacija i diferencijalnih jednadžbi, fokusirajući se na koncept invarijantnosti. Tijekom sljedećih deset godina, njegova je zvijezda uskrsnula uz stalni dotok originalnih radova koji pomiču granice matematike.
Do 1844. koncentrirao se na korištenje kombinatorike i računa za rad s beskonačno malim i beskonačno velikim brojevima. Iste godine, za svoj rad objavljen u časopisu Philosophical Transactions of the Royal Society, za doprinos matematičkoj analizi i raspravi o metodama za kombiniranje algebre s 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. ne samo da je proširio ranije prijedloge Gottfrieda Leibniza o korelaciji između logike i matematike, već je također dokazao da je prva bila prvenstveno matematička disciplina, a ne filozofska.
Ovo djelo nije izazvalo 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 sveučilišne diplome.
George Buhl: Boolean algebra
Oslobođen školskih obaveza, matematičar je počeo dublje zalaziti u svoj rad, fokusirajući se na poboljšanje "Matematičke analize", te je odlučio pronaći način za pisanje logičkih argumenata na posebnom jeziku, s kojim bi se mogli manipulirano i matematički riješeno.
Došao je do lingvističke algebre, čije su tri osnovne operacije bile (i još uvijek jesu) "I", "ILI" i "NE". Upravo su te tri funkcije činile osnovu njegove premise i bile su jedini operatori potrebni za izvođenje operacija usporedbe i osnovnih matematičkih funkcija.
Booleov sustav, detaljno opisan u njegovom djelu "Istraživanje zakona mišljenja, koji su temelj svih matematičkih teorija logike i vjerojatnosti" iz 1854., temeljio se na binarnom pristupu i operirao je samo s dva objekta - "da" i "ne", "točno" i "netoč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 i dobila ime. Par je imao 5 kćeri. Jedan od njih, najstariji, postao je profesor kemije. 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.
Sljedbenici
Iznenađujuće, s obzirom na autoritet matematičara u akademskim krugovima, većina njegovih suvremenika kritizirala je ili potpuno ignorirala Booleovu ideju. 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 znanosti, a zatim je proveo više od 20 godina modificirajući je i proširujući je kako bi ostvario potencijal teorije u praksi. To je na kraju dovelo do dizajna osnovnog električnog logičkog kruga.
Pierce zapravo nikada nije izgradio svoj teorijski logički sklop, jer je bio više znanstvenik nego električar, ali je uveo Booleovu algebru u sveučilišne tečajeve logičke filozofije.
Na kraju je jedan nadareni student, Claude Shannon, preuzeo ovu ideju i razvio je.
Nedavni radovi
Godine 1957. George Boole je izabran za člana Kraljevskog društva.
Nakon "Istraživanja" objavio je niz djela, od kojih su dva najutjecajnija "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đer je pokušao stvoriti opću metodu teorije vjerojatnosti, koja bi omogućila da se iz zadanih vjerojatnosti bilo kojeg sustava događaja odredi naknadnivjerojatnost bilo kojeg događaja povezanog s danim logički.
Posljednji dokaz
Nažalost, Booleov rad je prekinut kada je umro od "grozničke prehlade" u dobi od 49 godina nakon što je hodao 3 km po kiši dok je predavao u mokroj odjeći. Time je još jednom dokazao da genije i zdrav razum ponekad imaju malo zajedničkog.
Naslijeđe
Georgea Boolea "Matematička analiza" i "Istraživanje" postavili su temelje za Booleovu algebru, ponekad zvanu Booleova logika.
Njegov sustav dviju vrijednosti, dijeljenjem argumenata u različite klase kojima se onda može upravljati ovisno o tome imaju li određena svojstva ili ne, omogućio je izvlačenje zaključaka bez obzira na broj različitih elemenata.
Buhlov rad doveo je do aplikacija koje nikada nije mogao zamisliti. Na primjer, računala koriste binarne brojeve i logičke elemente, čiji se dizajn i rad temelji na Booleovoj logici. Znanost, čiji je osnivač George Boole, informatika, istražuje teorijske temelje informacija i izračuna, kao i praktične metode za njihovu provedbu.
