Kilęs iš neturtingos darbininkų šeimos, George'as Buhlas gimė netinkamu laiku, netinkamoje vietoje ir tikrai netinkamoje socialinėje klasėje. Jis neturėjo jokių šansų užaugti matematikos genijumi, bet juo tapo be jokios abejonės.
George'as Buhlas: Biografija
1815 m. lapkričio 2 d. Anglijos pramoniniame Linkolno mieste gimusiam Būliui pasisekė turėti tėvą, kuris pats mėgo matematiką ir vedė pamokas savo sūnui. Be to, jis išmokė jį gaminti optinius instrumentus. Jaunasis George'as troško mokytis ir, būdamas aštuonerių, pranoko savamokslį tėvą.
Šeimos draugas padėjo berniuką išmokyti lotynų kalbos ir per kelerius metus išnaudojo save. Būdamas 12 metų Buhlas jau vertė senovės romėnų poeziją. Iki 14 metų George'as laisvai kalbėjo vokiečių, italų ir prancūzų kalbomis. Būdamas 16 metų jis tapo mokytojo padėjėju ir dėstė Vest Raidingo kaimo mokyklose Jorkšyre. Būdamas dvidešimties jis atidarė savo mokymo įstaigą savo gimtajame mieste.
Per kelerius ateinančius metus George'as Boole'as praleido trumpą laisvalaikį skaitydamas matematinius žurnalus, pasiskolintus iš vietinio Mechanikos instituto. Ten jis perskaitė Izaoko Niutono „Principiją“irprancūzų mokslininkų Laplaso ir Lagranžo XVIII–XIX amžių darbai „Traktatas apie dangaus mechaniką“ir „Analitinė mechanika“. Netrukus jis įsisavino sunkiausius tuo metu matematinius principus ir pradėjo spręsti sudėtingus algebrinius uždavinius.
Atėjo laikas judėti toliau.
Kylančios žvaigždės
Būdamas 24 metų George'as Boole'as Kembridžo universiteto Mathematical Journal paskelbė savo pirmąjį straipsnį „Analitinių transformacijų teorijos tyrimai“apie tiesinių transformacijų ir diferencialinių lygčių algebrines problemas, daugiausia dėmesio skirdamas invariancijos sampratai. Per ateinančius dešimt metų jo žvaigždė pakilo su nuolatiniu originalių straipsnių srautu, peržengiančiu matematikos ribas.
Iki 1844 m. jis sutelkė dėmesį į kombinatoriką ir skaičiavimą, kad galėtų operuoti be galo mažus ir be galo didelius skaičius. Tais pačiais metais už darbą, paskelbtą Karališkosios draugijos filosofiniuose sandoriuose, už indėlį į matematinę analizę ir algebros derinimo su diferencialiniu ir integraliniu skaičiavimu metodų aptarimą, jis buvo apdovanotas aukso medaliu.
Netrukus George'as Boole'as pradėjo tyrinėti algebros panaudojimo galimybes sprendžiant logines problemas. Savo 1847 m. darbe „The Mathematical Analysis of Logic“jis ne tik išplėtė ankstesnius Gottfriedo Leibnizo siūlymus apie logikos ir matematikos ryšį, bet ir įrodė, kad pirmoji buvo pirmiausia matematinė, o ne filosofinė disciplina.
Šis darbas sukėlė ne tik išskirtinio logiko susižavėjimąAugustas de Morganas (Ados Byron mentorius), bet užsitikrino jam matematikos profesoriaus pareigas Karalienės koledže Airijoje, net neturint universiteto diplomo.
George'as Buhlas: Būlio algebra
Išlaisvintas nuo mokyklinių pareigų, matematikas pradėjo gilintis į savo darbą, daugiausia dėmesio skirdamas „Matematinės analizės“tobulinimui, ir nusprendė rasti būdą, kaip parašyti loginius argumentus specialia kalba, kuria juos būtų galima panaudoti. manipuliuojama ir išspręsta matematiškai.
Jis priėjo prie kalbinės algebros, kurios trys pagrindinės operacijos buvo (ir tebėra) „IR“, „ARBA“ir „NE“. Būtent šios trys funkcijos sudarė jo prielaidos pagrindą ir buvo vieninteliai operatoriai, reikalingi palyginimo operacijoms ir pagrindinėms matematinėms funkcijoms atlikti.
Būlio sistema, išsamiai aprašyta jo veikale „Minties dėsnių, kurie yra visų matematinių logikos ir tikimybių teorijų pagrindas“, 1854 m., buvo pagrįsta dvejetainiu metodu ir veikė tik su dviem objektais. – „taip“ir „ne“, „tiesa“ir „klaidinga“, „įjungta“ir „išjungta“, „0“ir „1“.
Privatus gyvenimas
Kitais metais jis vedė Mary Everest, sero Džordžo Everesto dukterėčią, kurios vardu pavadintas aukščiausias pasaulio kalnas. Pora susilaukė 5 dukterų. Vienas iš jų, vyriausias, tapo chemijos mokytoja. Kitas buvo geometrija. George'o Boole'o jauniausia dukra Ethel LillianVoynichas tapo garsiu rašytoju, parašiusiu keletą kūrinių, iš kurių populiariausias yra romanas „Gadfly“.
Sekėjai
Nuostabu, kad atsižvelgiant į matematiko autoritetą akademiniuose sluoksniuose, Boole idėja buvo kritikuojama arba visiškai ignoruojama daugelio jo amžininkų. Laimei, amerikiečių logikas Charlesas Sandersas Pierce'as buvo atviresnis.
Praėjus dvylikai metų nuo „The Study“paskelbimo, Peirce'as pasakė trumpą kalbą, apibūdindamas Boole'o idėją Amerikos menų ir mokslų akademijai, o vėliau praleido daugiau nei 20 metų ją modifikuodamas ir plėsdamas, kad praktiškai panaudotų teorijos potencialą.. Dėl to galiausiai buvo sukurta pagrindinė elektros logikos grandinė.
Pierce'as niekada nekūrė savo teorinės logikos grandinės, nes jis buvo labiau mokslininkas nei elektrikas, bet įtraukė Būlio algebrą į universitetų loginės filosofijos kursus.
Galų gale vienas gabus studentas Claude'as Shannonas ėmėsi šios idėjos ir ją išplėtojo.
Naujausi darbai
1957 m. George'as Boole'as buvo išrinktas Karališkosios draugijos nariu.
Po „Tyrimo“jis paskelbė daugybę darbų, iš kurių du didžiausią įtaką padarė „Traktatas apie diferencialines lygtis“(1859) ir „Traktatas apie baigtinių skirtumų skaičiavimą“(1860). Daugelį metų knygos buvo naudojamos kaip vadovėliai. Jis taip pat bandė sukurti bendrąjį tikimybių teorijos metodą, kuris leistų iš pateiktų bet kokios įvykių sistemos tikimybių nustatyti paskesniusbet kokio įvykio, susieto su pateiktu logiškai, tikimybė.
Paskutinis įrodymas
Deja, Boole'o darbas buvo pertrauktas, kai jis mirė nuo „karščiuojančio peršalimo“būdamas 49 metų, nuėjęs 3 km per lietų ir skaitydamas paskaitą šlapiais drabužiais. Tuo jis dar kartą įrodė, kad genijai ir sveikas protas kartais turi mažai ką bendro.
Palikimas
George'o Boole'o „Matematinė analizė“ir „Tyrimai“padėjo pamatus Būlio algebrai, kartais vadinamai Būlio logika.
Jo dviejų reikšmių sistema, padalijanti argumentus į atskiras klases, kurias vėliau galima valdyti atsižvelgiant į tai, ar jie turi tam tikrų savybių, ar ne, leido daryti išvadas, nepaisant skirtingų elementų skaičiaus.
Buhlio darbas atvedė prie programų, kurių jis negalėjo įsivaizduoti. Pavyzdžiui, kompiuteriai naudoja dvejetainius skaičius ir loginius elementus, kurių dizainas ir veikimas grindžiamas Būlio logika. Mokslas, kurio įkūrėjas yra George'as Boole'as, kompiuterių mokslas, tyrinėja teorinius informacijos ir skaičiavimų pagrindus bei praktinius jų įgyvendinimo metodus.
