George Buhl, som kommer från en fattig arbetarfamilj, föddes vid fel tidpunkt, på fel plats och definitivt i fel samhällsklass. Han hade ingen chans att växa upp och bli ett mattegeni, men han blev det mot alla odds.
George Buhl: Biografi
Född den 2 november 1815 i den engelska industristaden Lincoln, hade Boole turen att ha en pappa som själv var förtjust i matematik och gav lektioner till sin son. Dessutom lärde han honom hur man gör optiska instrument. Unge George var ivrig att lära, och vid åtta års ålder överträffade han sin självlärda far.
En familjevän hjälpte till att lära pojken grundläggande latin och utmattade sig själv på några år. Vid 12 års ålder översatte Buhl redan antik romersk poesi. Vid 14 års ålder var George flytande tyska, italienska och franska. Vid 16 års ålder blev han lärarassistent och undervisade vid West Riding country schools i Yorkshire. Vid tjugoårsåldern öppnade han en egen utbildningsinstitution i sin hemstad.
Under de närmaste åren tillbringade George Boole korta perioder av fritid med att läsa matematiska tidskrifter som lånats från det lokala Mechanics Institute. Där läste han Isaac Newtons "Principia" ochverken av de franska forskarna Laplace och Lagrange från 1700- och 1800-talen "Treatise on Celestial Mechanics" och "Analytical Mechanics". Snart behärskade han de svåraste matematiska principerna på den tiden och började lösa svåra algebraiska problem.
Det är dags att gå vidare.
Star Rising
Vid 24 års ålder publicerade George Boole i Cambridge University Mathematical Journal sin första artikel "Investigations in the Theory of Analytic Transformations" om algebraiska problem med linjära transformationer och differentialekvationer, med fokus på begreppet invarians. Under de följande tio åren steg hans stjärna med en ständig ström av originalpapper som tänjde på matematikens gränser.
Vid 1844 koncentrerade han sig på att använda kombinatorik och kalkyl för att arbeta på oändligt små och oändligt stora tal. Samma år tilldelades han en guldmedalj för sitt arbete publicerat i The Philosophical Transactions of the Royal Society, för sitt bidrag till matematisk analys och diskussion av metoder för att kombinera algebra med differential- och integralkalkyl.
Snart började George Boole utforska möjligheterna att använda algebra för att lösa logiska problem. I sitt arbete från 1847 The Mathematical Analysis of Logic utvidgade han inte bara Gottfried Leibniz tidigare förslag om sambandet mellan logik och matematik, utan bevisade också att den förra i första hand var en matematisk disciplin, inte en filosofisk.
Detta arbete väckte inte bara beundran hos den enastående logikernAugustus de Morgan (Ada Byrons mentor) men säkrade honom en tjänst som professor i matematik vid Queen's College i Irland, även utan universitetsexamen.
George Buhl: boolesk algebra
Befriad från skolplikten började matematikern fördjupa sig i sitt eget arbete, med fokus på att förbättra den "matematiska analysen", och bestämde sig för att hitta ett sätt att skriva logiska argument på ett speciellt språk, med vilket de kunde användas manipulerat och löst matematiskt.
Han kom till språklig algebra, vars tre grundläggande operationer var (och fortfarande är) "AND", "OR" och "NOT". Det var dessa tre funktioner som utgjorde grunden för hans premiss och var de enda operatorerna som var nödvändiga för att utföra jämförelseoperationer och grundläggande matematiska funktioner.
Booles system, som beskrivs i detalj i hans arbete "Undersökning av tankelagarna, som ligger till grund för alla matematiska teorier om logik och sannolikhet" 1854, var baserat på ett binärt tillvägagångssätt och fungerade endast med två objekt - "ja" och "nej", "sant" och "falskt", "på" och "av", "0" och "1".
Privatliv
Året därpå gifte han sig med Mary Everest, systerdotter till Sir George Everest, efter vilken det högsta berget i världen är uppkallat. Paret fick 5 döttrar. En av dem, den äldsta, blev lärare i kemi. Den andra var i geometri. George Booles yngsta dotter, Ethel LillianVoynich blev en berömd författare som skrev flera verk, varav det mest populära är romanen Gadfly.
Följare
Överraskande nog, med tanke på matematikerns auktoritet i akademiska kretsar, kritiserades eller ignorerades Booles idé helt av de flesta av hans samtida. Som tur var var den amerikanske logikern Charles Sanders Pierce mer öppen.
Tolv år efter publiceringen av The Study höll Peirce ett kort tal som beskrev Booles idé för American Academy of Arts and Sciences, och ägnade sedan mer än 20 år åt att modifiera och utöka den för att realisera teorins potential i praktiken. Detta ledde så småningom till utformningen av den grundläggande elektriska logiska kretsen.
Pierce byggde faktiskt aldrig sin teoretiska logikkrets, eftersom han var mer av en vetenskapsman än en elektriker, men introducerade boolesk algebra i universitetskurser i logisk filosofi.
Till slut tog en begåvad elev, Claude Shannon, denna idé och utvecklade den.
Senaste arbeten
1957 valdes George Boole till Fellow of the Royal Society.
Efter "Undersökningen" publicerade han ett antal verk, av vilka de två mest inflytelserika är "Treatise on Differential Equations" (1859) och "Treatise on the Calculus of Finite Differences" (1860). Böcker har använts som läroböcker i många år. Han försökte också skapa en generell metod för sannolikhetsteori, som skulle göra det möjligt att utifrån de givna sannolikheterna för alla händelsesystem bestämma den efterföljandesannolikheten för en händelse associerad med givet logiskt.
Sista bevis
Tyvärr avbröts Booles arbete när han dog i en "feberförkylning" vid 49 års ålder efter att ha gått 3 km i regnet medan han föreläst i blöta kläder. Genom detta bevisade han återigen att genier och sunt förnuft ibland har lite gemensamt.
Legacy
George Booles "Mathematical Analysis" och "Research" lade grunden för boolesk algebra, ibland kallad boolesk logik.
Hans system med två värden, som delar upp argument i distinkta klasser som sedan kan hanteras beroende på om de har vissa egenskaper eller inte, gjorde det möjligt att dra slutsatser oavsett antalet distinkta element.
Buhls arbete har lett till tillämpningar som han aldrig hade kunnat föreställa sig. Till exempel använder datorer binära tal och logiska element, vars design och funktion är baserad på boolesk logik. Vetenskapen, vars grundare är George Boole, datavetenskap, utforskar de teoretiska grunderna för information och beräkningar, såväl som praktiska metoder för deras implementering.
