Vaesest töölisperekonnast pärit George Buhl sündis valel ajal, vales kohas ja kindlasti vales ühiskonnaklassis. Tal polnud võimalust kasvada matemaatikageeniuseks, kuid temast sai igasugune geenius.
George Buhl: Biograafia
2. novembril 1815 Inglismaa tööstuslinnas Lincolnis sündinud Boole'il vedas isa, kellele meeldis matemaatika ja kes andis oma pojale tunde. Lisaks õpetas ta talle optilisi instrumente valmistama. Noor George oli innukas õppima ja kaheksa-aastaselt ületas ta oma iseõppinud isa.
Peresõber aitas poisile ladina algteadmisi õpetada ja ammendas end mõne aastaga. 12-aastaselt tõlkis Buhl juba Vana-Rooma luulet. 14-aastaselt rääkis George vab alt saksa, itaalia ja prantsuse keelt. 16-aastaselt sai temast õpetaja abi ja ta õpetas Yorkshire'i West Ridingi maakoolides. Kahekümneaastaselt avas ta oma kodulinnas oma õppeasutuse.
Järgneva paari aasta jooksul veetis George Boole lühikest vaba aega kohalikust mehaanikainstituudist laenatud matemaatikaajakirju lugedes. Seal luges ta Isaac Newtoni "Principiat" ja18. ja 19. sajandi prantsuse teadlaste Laplace'i ja Lagrange'i tööd "Traktaat taevamehaanikast" ja "Analüütiline mehaanika". Peagi omandas ta tol ajal kõige raskemad matemaatilised põhimõtted ja hakkas lahendama raskeid algebralisi ülesandeid.
On aeg edasi liikuda.
Star Rising
24-aastaselt avaldas George Boole Cambridge'i ülikooli matemaatika ajakirjas oma esimese artikli "Uurimised analüütiliste teisenduste teoorias", mis käsitles lineaarteisenduste ja diferentsiaalvõrrandite algebralisi probleeme, keskendudes invariantsi kontseptsioonile. Järgmise kümne aasta jooksul tõusis tema täht pidev alt originaalpaberite vooga, nihutades matemaatika piire.
Aastaks 1844 keskendus ta kombinatoorika ja arvutuste kasutamisele, et opereerida lõpmata väikeste ja lõpmatult suurte arvudega. Samal aastal autasustati teda ajakirjas Philosophical Transactions of the Royal Society avaldatud töö eest matemaatilise analüüsi ning algebra diferentsiaal- ja integraalarvutuse kombineerimise meetodite arutelu eest kuldmedali.
Varsti hakkas George Boole uurima võimalusi kasutada algebrat loogikaülesannete lahendamiseks. Oma 1847. aasta teoses The Mathematical Analysis of Logic ei laiendanud ta mitte ainult Gottfried Leibnizi varasemaid ettepanekuid loogika ja matemaatika korrelatsiooni kohta, vaid tõestas ka, et esimene oli peamiselt matemaatiline, mitte filosoofiline distsipliin.
See töö äratas mitte ainult silmapaistva loogiku imetlustAugustus de Morgan (Ada Byroni mentor), kuid kindlustas talle matemaatikaprofessori koha Queen's College'is Iirimaal, isegi ilma ülikoolikraadita.
George Buhl: Boole'i algebra
Koolikohustustest vabanenud matemaatik hakkas süvenema omaenda töösse, keskendudes "Matemaatilise analüüsi" täiustamisele ja otsustas leida viisi loogiliste argumentide kirjutamiseks spetsiaalses keeles, millega neid saaks manipuleeritud ja lahendatud matemaatiliselt.
Ta jõudis lingvistilise algebrani, mille kolm põhitehet olid (ja on siiani) "AND", "OR" ja "NOT". Just need kolm funktsiooni moodustasid tema eelduse aluse ja olid ainsad operaatorid, mis olid vajalikud võrdlustoimingute ja põhiliste matemaatiliste funktsioonide tegemiseks.
Boole'i süsteem, mida kirjeldas üksikasjalikult tema 1854. aasta töös "Mõtteseaduste uurimine, mis on aluseks kõikidele loogika- ja tõenäosusteooriatele", põhines binaarsel lähenemisel ja toimis ainult kahe objektiga. - "jah" ja "ei", "tõene" ja "väär", "sees" ja "väljas", "0" ja "1".
Eraelu
Järgmisel aastal abiellus ta Mary Everestiga, Sir George Everesti õetütrega, kelle järgi on nimetatud maailma kõrgeim mägi. Paaril oli 5 tütart. Üks neist, vanim, sai keemiaõpetajaks. Teine oli geomeetrias. George Boole'i noorim tütar Ethel LillianVoynichist sai kuulus kirjanik, kes kirjutas mitu teost, millest populaarseim on romaan "Gadfly".
Jälgijad
Üllatav alt, arvestades matemaatiku autoriteeti akadeemilistes ringkondades, kritiseeris Boole'i ideed või ignoreeris see täielikult enamus tema kaasaegseid. Õnneks oli Ameerika loogik Charles Sanders Pierce avatum.
Kaksteist aastat pärast The Study avaldamist pidas Peirce Ameerika Kunstide ja Teaduste Akadeemiale lühikese kõne, milles kirjeldas Boole'i ideed, ning veetis seejärel rohkem kui 20 aastat seda muutes ja laiendades, et teooria potentsiaali praktikas realiseerida.. See viis lõpuks põhilise elektrilise loogikaahela kavandamiseni.
Pierce ei ehitanud kunagi oma teoreetilist loogikaahelat, kuna ta oli pigem teadlane kui elektrik, kuid ta tutvustas Boole'i algebrat loogikafilosoofia ülikoolikursustesse.
Lõpuks võttis üks andekas õpilane Claude Shannon selle idee ja arendas seda.
Viimased tööd
1957. aastal valiti George Boole Kuningliku Seltsi liikmeks.
Pärast "Uurimist" avaldas ta hulga teoseid, millest kaks kõige mõjukamat on "Traktaat diferentsiaalvõrranditest" (1859) ja "Traktaat lõplike erinevuste arvutamisest" (1860). Raamatuid on õpikutena kasutatud juba aastaid. Samuti püüdis ta luua üldist tõenäosusteooria meetodit, mis võimaldaks mis tahes sündmuste süsteemi antud tõenäosuste põhjal määrata järgnevamis tahes sündmuse tõenäosus, mis on antud loogiliselt seotud.
Viimane tõestus
Kahjuks katkes Boole'i töö, kui ta suri 49-aastaselt "palavikusse külmetusse" pärast 3 km vihma käes kõndimist märgade riietega loenguid pidades. Sellega tõestas ta taas, et geeniustel ja tervel mõistusel on mõnikord vähe ühist.
Pärand
George Boole'i "Mathematical Analysis" ja "Research" panid aluse Boole'i algebrale, mida mõnikord nimetatakse Boole'i loogikaks.
Tema kahe väärtuse süsteem, mis jagas argumendid erinevateks klassideks, millega saab seejärel opereerida vastav alt sellele, kas neil on teatud omadused või mitte, võimaldas teha järeldusi, olenemata erinevate elementide arvust.
Buhli töö on viinud rakendusteni, mida ta poleks osanud ettegi kujutada. Näiteks arvutites kasutatakse kahendarvu ja loogilisi elemente, mille ülesehitus ja töö põhineb Boole'i loogikal. Teadus, mille asutaja on arvutiteadus George Boole, uurib teabe ja arvutuste teoreetilisi aluseid ning nende rakendamise praktilisi meetodeid.
