Syntymä |
2. marraskuuta 1815 Lincoln |
---|---|
Kuolema |
8. joulukuuta 1864 Ballintemple |
Hautaaminen | Pyhän Mikaelin kirkko ( d ) |
Kansalaisuus | brittiläinen |
Koti | Iso-Britannia |
Toiminta | Matemaatikko , filosofi , logiikka , tietojenkäsittelytieteen tutkija |
Puoliso | Mary Everest Boole (lähtien1855) |
Lapset |
Ethel Lilian Voynich Margaret Boole Taylor ( d ) Mary Boole Hinton ( d ) Alicia Boole Stott Lucy Everest Boole ( en ) |
Ala | Matemaattinen logiikka |
---|---|
Jonkin jäsen | Kuninkaallinen yhteisö |
Palkinnot | Kuninkaallinen mitali (1844) |
George Boole , syntynyt2. marraskuuta 1815in Lincoln ( Iso-Britannia ) ja kuoli8. joulukuuta 1864to Ballintemple ( Irlanti ) on logistiikka , matemaatikko ja filosofi Iso-Britannia . Hän on modernin logiikan luoja , joka perustuu algebralliseen ja semanttiseen rakenteeseen , jota hänen kunniakseen kutsutaan Boolen algebraksi .
Hän on työskennellyt myös muilla aloilla matematiikan , mistä differentiaaliyhtälöt ja todennäköisyyden ja analysointia . Itseopetettu , hän julkaisi varhaisen työnsä algebrassa työskennellessään opettajana ja koulun rehtorina Lincolnin alueella . Hänen työnsä sai hänet vuonna 1844 Royal Medal että Royal Society , sitten johdolla matematiikan klo yliopiston ( kuningattaren College ) Corkin vuonna 1849.
Vuodesta 1844-1854, hän loi binary algebran , kutsutaan Boolen hyväksyen vain kaksi lukuarvoa: 0 ja 1. algebran on lukuisia sovelluksia puhelinliikenteen ja tietojen käsittelyyn , mikä johtuu erityisesti Claude Shannonin vuonna 1938, lähes vuosisadan myöhemmin.
George Boole syntyi Lincoln päällä2. marraskuuta 1815. Hän on vanhin aviomiehistä John Boole ja Mary Ann Joyce; hyvin pian sen jälkeen syntyi hänen sisarensa Mary Ann, jota seurasivat William ja Charles. John Boole on kenkävalmistaja , vaimonsa piika , hän on intohimoisesti tiede , kirjallisuus ja matematiikka . Myymäläikkunassaan hän näyttää ylpeänä ja innostuneena rakentamansa kaukoputken . John Boole välitti poikansa Georgeille "rakkauden opiskeluun ja kirjoihin" sekä intohimonsa optiikkaan ja tähtitieteeseen , ja he molemmat tekivät kaleidoskooppeja , aurinkokelloja ja jopa yrittivät rakentaa koneen . Puolisoiden tulot eivät tuskin riitä vastaamaan perheen tarpeisiin. Siksi George opiskeli paikallisessa koulussa ja siirtyäkseen sosiaalista portaikkoa pitkin, hän opiskeli latinaa ja kreikkaa , kun taas kirjakauppias William Brooke auttoi häntä opiskelemaan latinaa ja opetti hänelle myös kieliopin perusteet. Vuotiaana neljätoista hän käännetty kreikan runosta Meleagros , ”Oodi Spring” julkaistiin Lincoln Herald , paikallislehti. Hänen ikänsä on määritelty artikkelissa, professori kirjoitti sanomalehdelle pitäen mahdottomana, että nuori poika pystyy tällaiseen käännökseen. Tämä ensimmäinen kiista ja sen käännöksessä esitetty kritiikki saivat hänet tehostamaan ponnistelujaan muinaisten kielten hallitsemiseksi . Jälkeen peruskoulun , ainoa toisen asteen koulutuksen että isä voi tarjota hänen vanhin poikansa on seurata, alusta alkaen.10. syyskuuta 1828, kurssit opetetaan Thomas Bainbridgen kaupallisessa akatemiassa Lincolnin kaupungissa. George edistyi huomattavasti matematiikassa siellä ja keskittyi erityisesti algebrallisten yhtälöiden tutkimiseen . Vapaa-aikanaan hän oppii ranskaa, saksaa ja italiaa yksin, kielet, joista on hyötyä hänen omien matemaattisten ideoidensa ymmärtämisessä ja kehittämisessä. Valitettavasti John Boole laiminlyö kenkäkorjausliiketoimintansa, joka päättyy konkurssiin.
16-vuotiaana George joutui luopumaan opinnoistaan kokonaan voidakseen tukea perhettään taloudellisesti. Hän löytää työpaikanHeinäkuu 1831apulaisprofessorina pienessä metodistikoulussa Doncasterissa . Tämä elämä sopii hänelle, koska hän voi omistaa iltansa opiskeluun. Hän puhuu tapahtumasta, joka tapahtui hänen oleskellessaan Doncasterissa. Kun hän kävelee niityllä iltapäivällä, hänen mielensä yhtäkkiä syttyy: Loogiset suhteet voidaan ilmaista matemaattisilla suhteilla, jotka auttavat selittämään ihmisen ajattelun logiikkaa. Siitä huolimatta Doncasterissa ollessaan hänen yhä unitaristisemmat uskonnolliset vakaumuksensa herättivät metodistien raivoa .
Hän jatkoi opettamista koulussa Liverpoolissa - missä hän oli vain kuuden kuukauden päässä siellä olevan epäjärjestyksen ja kaaoksen takia - ja yhtä lyhyesti Waddingtonissa . Vuonna 1834 hänestä tuli perheensä ainoa tulonlähde, ja läheisten tarpeiden tyydyttämiseksi hänellä ei ollut muuta vaihtoehtoa kuin palata Lincolniin, jossa hän avasi oman koulunsa. Seuraavien viidentoista vuoden aikana hän perusti peräkkäin kolme muuta. Hänen sisarensa Mary-Ann ja hänen veljensä William auttavat häntä opettajan ja ylläpitäjän tehtävissä.
Matematiikkaa opettaessaan hän olettaa, että suuri osa kurinalaisuudesta on peräisin puhtaasti käytännön ongelmien ratkaisemisesta. Siksi hän keskittää työnsä matemaattisten ideoiden käytännön käyttöön enemmän kuin niiden abstraktiin käyttöön. Niinpä oppisopimusvuosina hän kiinnitti ensisijaista huomiota laskutoimituksen opetukseen ja mittausongelmien ratkaisemiseen. Se tarjoaa muita tieteenaloja, kuten kielet, kirjallisuus ja klassikkotutkimus. Moraalikasvatuksen osalta George pitää sitä "koulutustoiminnan vaikeimpana, mutta myös tärkeimpänä" .
Palattuaan Lincolniin George käytti suurimman osan vapaa-ajastaan mekaniikan instituuttiin seuraten isänsä jalanjälkiä, joka oli ollut yhteydessä tähän laitokseen monien vuosien ajan. Hän liittyy välittömästi ohjauskomiteaan. Monien vuosien ajan hän opetti siellä palkatonta, palkatonta, matematiikkaa, luonnontieteitä ja klassista kulttuuria. Tietty paikallinen maine hyötyy osoitteesta, jolla osoitetaan Lincolnille Isaac Newtonin rintakuva . Tämä George Boolen ensimmäinen tieteellinen artikkeli , joka julkaistiin virallisessa lehdessä vuonna 1835, osoittaa sekä hänen tietonsa Isaac Newtonin teoksista että tietyn aplombin. Vuonna 1838, George Hallin, hänen entisen työnantajansa Waddingtonissa, kuoltua George Boole seurasi häntä koulun päällikkönä.
Hänen vanhempansa ja veljensä - jotka myös auttavat häntä johtamaan uutta koulua - muuttavat uuden koulun kunnalle. Heti kun laitos alkaa toimia hänen johdollaan, sen maine ja taloudelliset voitot kasvavat dramaattisesti ja Boole-perhe voi unohtaa menneet taloudelliset ongelmansa. Kasvu on sellaista, että George päättää laajentaa toimintaa ja avata koulunsa uudelleen Lincolnissa. Kesällä 1840 koko Boole-perhe palasi kotikaupunkiinsa. Noin tuolloin hänen sisarensa Mary-Ann (22) ja veli William (21) alkoivat opettaa uudessa koulussa edelleen vanhemman veljensä johdolla.
Koko tämän ajan hän jatkoi, itseoppinut, oppiminen matematiikka alkaa kello kuusitoista, lukemalla sopimuksella hammaskiven ja hammaskivi ja Lacroix . Hyödyntämällä vuonna 1834 perustetun Lincolnin mekaniikan instituutin, jonka ensimmäinen kuraattori on hänen isänsä, hän kohtaa Isaac Newtonin ( Principia ), Pierre-Simon de Laplacen ( Mécanique Céleste ) ja Joseph-Louis Lagrangen ( Analyyttinen mekaniikka ). Paljon myöhemmin hän arvioi tuhlanneensa melkein viisi vuotta edistyessään hitaasti yrittäen oppia yksin, ilman että opettaja ohjaisi häntä.
Muutaman kilometrin päässä Lincolnista, Thurlby Hallin kunnassa, asuu analyyttisten menetelmien tutkimiseen erikoistunut kuuluisa irlantilaista alkuperää oleva matemaatikko Edward Ffrench Bromhead , Charles Babbagein ja George Peacockin ystävä . Mahdollisuus Georgeille, koska hän lainaa hänelle useita matematiikkakirjoja, jotka on otettu hänen laajasta henkilökohtaisesta kirjastosta. Hän on hänelle velkaa ensimmäiset kommentit matemaattisesta työstään, jota hän pitää pätevänä ja omaperäisenä. Hänen ansiostaan hän voi oppia joistakin aikansa edistyneimmistä teoksista vuosina 1838-1849, erityisesti ranskalaisen Gaspard Mongen ja Joseph Fourierin teoksista . Hänen lukemansa "mannermaista alkuperää" sai hänet huomaamaan, että riittävä matemaattinen symboliikka voi olla suureksi avuksi ongelman ratkaisemisessa oikein. Tärkeä osa hänen varhaisesta työstään tutki tätä näkökohtaa, erityisesti algebran alalla.
Vuonna 1839 hän kirjoitti ensimmäisen matemaattisen artikkelin (ei ensimmäinen julkaistu), joka oli peräisin Lagrangen analyyttisestä mekaniikasta ; lukemisensa aikana hän tekee muistiinpanoja ja harkitsee parannuksia. Tämä ensimmäinen matemaattinen työ - ilman oppaan tai ohjaajan apua - käsittelee muunnelmien laskemista .
Sitten hän otti yhteyttä DF Gregoryyn , joka vuonna 1837 perusti Cambridge Mathematical Journalin ( CMJ ). Ensin hän lähetti hänelle toisen artikkelin, joka oli myös innoittamana hänen lukemistaan Lagrangesta: "Analyyttisten muutosten teorian tutkimukset, ja erityissovellus toisen asteen yleisen yhtälön vähentämiseen" . DF Gregory vastaa päivätyllä kirjeellä4. marraskuuta 1839, että kun joitakin korjauksia on tehty, hän julkaisee sen mielellään sekä artikkelinsa muunnelmien laskemisesta, jotka hän aiemmin mainitsi hänelle. Kun George vierailee Gregoryn Cambridgessa, skotlantilainen esittelee hänelle Lagrangen käyttämän symbolien erotusmenetelmän. Nämä kaksi ja kaksi muuta artikkelia julkaistaan CMJ: n 2. osassa . Gregoryn rohkaisemana, hyödyntämällä hänen tukeaan ja neuvojaan, George Boole julkaisee päiväkirjaansa 24 artikkelia ja ylläpitää matemaattista kirjeenvaihtoa hänen kanssaan, mikä todistaa suuresta ja vankasta ystävyydestä. Siitä lähtien hän käytti järjestelmällisesti Lagrangen panosta omassa tutkimuksessaan ja erityisesti logiikan algebransa suunnittelussa.
Yksi suurimmista löydöistä, jotka George Boole teki vuonna 1841 ensimmäisen matemaattisen työnsä kehittämisen aikana, oli algebrallisia invarianteja . Idea oli syntynyt ensimmäistä kertaa Lagrangen ja Gaussin tutkimuksen aikana, mutta hän ymmärtää sen merkityksen tutkimalla ja syventämällä analyyttisen mekaniikan työtä . SisäänMarraskuu 1841, hän julkaisee CMJ: n osassa 3 kaksi artikkelia " Lineaaristen muunnosten yleisen teorian esittely", osa I ja II, joka synnyttää kokonaan uuden matematiikan haaran, joka tunnetaan nykyisin nimellä " Teorian algebralliset invariantit" . Tämä tärkeä matemaattinen löytö on perusta kahden kuuluisan brittiläisen matemaatikon, James Sylvesterin ja Arthur Cayleyn, laajamittaiselle työlle , joista tulee invarianttiteorian todellisia perustajia. Vuonna 1842 hän aloitti kirjeenvaihdon Auguste De Morganin kanssa, joka kannusti häntä irlantilaisen matemaatikon Charles Gravesin kanssa saamaan halutun professorin viran johonkin kolmesta Irlannin kuningattaren korkeakoulusta ja joka toimisi erittäin vaikutusvaltaisena ystävänä. Arthur Cayley kirjoitti hänelle ensimmäisen kirjeen vuonna 1844 kiitokseksi hänen työstään. George Boole ja Arthur Cayley pitivät säännöllistä kirjeenvaihtoa kesällä 1844 ja tapasivat Lincolnissa. Se on pitkän ystävyyden alku. Cayley yrittää suostutella häntä jatkamaan invarianttiteoriaa koskevaa tutkimustaan, mutta Boolen kiinnostus tähän kysymykseen häviää, kun hänen huomionsa kiinnitetään muihin matemaattisiin kysymyksiin.
Neuvojen De Morgan ja Gregory (artikkeli liian pitkä CMJ), Boole esittää artikkeli on Royal Societyn vuonnaTammikuu 1844julkaistavaksi filosofisissa tapahtumissa . Philip Kellandin väliintulon ansiosta hänen artikkelinsa julkaistiin ja sai kuninkaallisen mitalin . Tämä artikkeli, joka on innoittamana erityisesti Gregoryn työstä, luo perustan hänen myöhemmälle logiikkatyölleen.
Vuonna 1847 tuli esiin logiikan matemaattinen analyysi , sitten tutkimus tutkimuksen ajatuslaeista, joihin perustuvat logiikan ja todennäköisyyksien matemaattiset teoriat vuonna 1854.
Vuosina 1847–1852 hän oli matematiikan tutkija College of Preceptors -opistossa , joka perustettiin parantamaan toisen asteen opettajien tasoa Englannissa ja Walesissa.
Vuonna 1845, melkein kolmenkymmenen vuoden ikäisenä, hän harkitsi vakavasti opintojen aloittamista Cambridgen yliopistossa , mutta hänen projektinsa keskeytettiin, koska siihen liittyisi hänen vanhempiensa taloudellinen luopuminen. Hän harkitsee mahdollisuutta saada virka yliopiston professoriksi, vaikka hän joutuu lähtemään Isosta-Britanniasta. Mahdollisuus historiaan, mahdollisuus on hänelle. Irlannin ja Englannin välisen poliittisen ja uskonnollisen konfliktin ratkaisemiseksi Ison- Britannian viranomaiset sallivat kolmen uuden - maallisen - irlantilaisen yliopiston avaamisen, Queen's College -nimisen yliopiston, joka on perustettava Belfastiin , Galwayhin ja Corkiin . Boole käyttää tätä tilannetta hyväkseen hakiessaan paikkaa jossakin näistä laitoksista. 17. elokuuta 1846, hän lähettää kirjeen William Thomsonille, CMJ: n toimittajalle , yksityiskohtaisesti hänen urastaan - etenkin matemaatikkona - ja saa myönteisen vastauksen, jossa häntä kehotetaan lähettämään kirje suoraan Dublinin linnan sihteeristölle , joka on Ison-Britannian hallituksen kotipaikka Irlanti. Hänen ansioluetteloonsa hän liittää yksityiskohtaisen yhteenvedon uransa merkittävimmistä saavutuksista, vaikuttavan kokoelman suosituskirjeitä, jotka ovat allekirjoittaneet tuon ajan tärkeimmät brittiläiset matemaatikot sekä muut merkittävien Lincolnin edustajien kirjoittamat. 8. lokakuuta 1846, hän lähettää täydellisen tiedostonsa Dubliniin sekä luettelon, jossa kuvataan hänen viisitoista matemaattista julkaisua. Monista suosituskirjeistä matemaatikko ja logiikka Auguste De Morgan ja Charles Graves, Dublinin Trinity Collegen matematiikan professori , olivat hänen parhaat voimavaransa. Vastaus on kauan myöhässä, ja sillä välin hänen isänsä kuolee12. joulukuuta 1848ja hänen on varmistettava, että hänen perheensä on vapaa puutteesta. Hän toistaa pyyntönsä ja ilmaisee sitten parempana Belfastia tai Corkia , johon pääsee helpommin meritse.Elokuu 1849Yliopiston valintalautakunta antaa hänelle ensimmäisen matematiikan professorin viran Queen's Collegessa Corkissa , joka avaa ovensa saman vuoden marraskuussa. Vuonna 1857 hänestä tehtiin kuninkaallisen seuran jäsen . Sitten hän kiinnostui differentiaaliyhtälöistä kahden tutkielman kautta, joilla olisi tietty vaikutus: Tutkimus differentiaaliyhtälöistä (1859) ja Tutkimus äärellisten erojen laskennasta (1860).
Corkin yliopistoyhteisöä levittävät toistuvat poliittiset ja uskonnolliset kiistat ahdistavat George Boolen elämää. Niukan vuosipalkan ollessa hieman yli kolmesataa puntaa hän asui eräänlaisessa maanpaossa Irlannissa. Vuonna 1850 hän tapasi Mary Everestin, joka jo varhaisesta iästä lähtien osoitti matematiikkaa. Kun Marian isä kuolee ja jättää hänet taloudelliseen häiriöön, hän menee naimisiin11. syyskuuta 1855seurakunnan kirkko Wickwar (in) .
Se oli onnellinen avioliitto, Georgeilla ja Marialla oli viisi tytärtä:
24. marraskuuta 1864, hän vie tien Queen's College -huoneistoon talostaan Ballintemple , kävely useita kilometrejä. Rankkasade sataa ja hän lähtee opettamaan oppituntejaan. Hän saapuu yliopistoon täysin kasteltuna ja tulee kotiin koulun jälkeen, märissä vaatteissaan ja kuumetta. Keuhkoputkentulehdus kehittyy keuhkoruton ja kuoli yöllä8. joulukuuta 1864. Hänet haudataan Blackrockin (Cork) Pyhän Mikaelin kirkon hautausmaalle neljä päivää myöhemmin. Georgen kuoleman jälkeen Mary Everest muutti Lontooseen, missä hän kuoli vuonna 1916 84-vuotiaana.
Vuonna 1847 George Boole lähetti Cambridge University Pressille kahdeksankymmenesivun kirjan nimeltä Mathematical Analysis of Logic, Essay for a Calculus of D deductive Reasoning . Tämän pienen kirjan keskeinen ajatus on osoittaa, että loogiseen päättelyyn sovelletaan matemaattisia lakeja, kuten algebraan, ja että ne voidaan siksi edustaa ja analysoida matemaattisten yhtälöiden avulla uuden laskelman ansiosta, joka ei toimi numerot, mutta objektiluokilla.
Boole kehittää uuden logiikan, sekä symbolisen että matemaattisen. Tavoite: kääntää ideat ja käsitteet yhtälöiksi , soveltaa niihin tiettyjä lakeja ja kääntää tulos takaisin loogisiksi termeiksi. Tätä varten hän luo binäärisen algebran, nimeltään Boolean, joka hyväksyy vain kaksi numeerista arvoa: 0 ja 1. Tämä algebra määritetään joukon E (ei tyhjä) tiedoilla, jotka on varustettu kahdella sisäisen koostumuksen lailla (AND ja OR ), joka täyttää tietyn määrän ominaisuuksia (kommutatiivisuus, jakautuvuus ...).
Vuonna 1847, on matemaattinen analyysi logiikka ,
"Logiikan tekee mahdolliseksi se, että mielessämme on yleisiä käsityksiä, kykymme suunnitella luokka ja nimetä henkilöt, jotka ovat sen jäseniä, samalla nimellä. Logiikkateoria liittyy siten läheisesti kielen teoriaan. Yritys, joka onnistuu ilmaisemaan loogisia ehdotuksia symboleilla, joiden yhdistämislait perustuvat niiden edustamien henkisten toimintojen lakeihin, olisi samalla askel kohti filosofista kieltä. Mutta tämä on näkemys, jota meidän ei tarvitse mennä tarkemmin tässä. "
- George Boole, Logiikan matemaattinen analyysi
Ensimmäisen teoksen julkaisemisen jälkeen, jossa hän onnistui erottamaan hyväksytyn logiikan ja filosofian ja muuttamaan ensimmäisen uudeksi matematiikan haaraksi, Boolella oli aikaa ja keinoja pohtia tätä ensin. työskennellä ja analysoida nykyisten matemaatikkojen reaktioita ja kommentteja. Hän sitoutuu omistamaan merkittävän osan vapaa-ajastaan matematiikkaan ja tutkimukseen, ja konkreettisemmin siihen, mikä olisi hänen tärkein panoksensa: laajentamalla logiikan algebraansa vähentämään järkeilyn loogisia toimintoja yksinkertaisten matemaattisten kaavojen yksinkertaisten manipulaatioiden kanssa. Tämä uusi työ kehittää ensimmäisessä esiteltyjä ideoita ja teorioita. Se sisältää kuitenkin uusia todennäköisyysteoriaa koskevia lukuja . Vuonna lakien Thought , George Boole pyrkii löytämään periaatteita ja yleisiä lakeja, jotka määräävät meidän pätevä perustelu. Hän pyrkii myös löytämään yleisen menetelmän minkä tahansa monimutkaisen satunnaisen tapahtuman todennäköisyyden määrittämiseksi, joka liittyy loogisesti yksinkertaisempaan satunnaisiin tapahtumiin, joiden yksittäiset todennäköisyydet tunnetaan.
Vuonna 1854, The Laws of Thought ,
"Tämän tutkielman tarkoituksena on tutkia perustavanlaatuisia mielentoiminnan lakeja; ilmaista ne laskennan symbolisella kielellä ja perustaa sitten tältä pohjalta logiikan tiede ja muodostaa sen menetelmä; tehdä tästä menetelmästä itsessään yleisen menetelmän perusta, jota voidaan soveltaa todennäköisyyden matemaattiseen teoriaan; ja lopuksi poimia niistä totuuden eri elementeistä, jotka ovat ilmestyneet näiden tutkimusten aikana todennäköisistä oletuksista, jotka koskevat ihmisen hengen luonnetta ja rakennetta. ... mielen lakien tuntemisen ei tarvitse perustua suureen havaintokokonaisuuteen. Yleinen totuus näkyy siellä tietyssä esimerkissä, eikä esimerkkien toistaminen vahvista sitä. "
- George Boole, Ajattelun lait
Vuosina 1855 ja 1856 hän työskenteli kirjan kehittämiseksi Todennäköisyyksien teorian soveltamisesta todistusten tai tuomioiden yhdistämiseen . Royal Society of Edinburgh tunnistaa omat etunsa ja palkitsee kirjailija arvostetun Keith mitali , hänen korkein tunnustus, joka vastaa toinen vuosi ajan 1855-1857. Virallinen esitys pidetään1. st maaliskuu 1858, mutta George Boole ei voi matkustaa Skotlantiin saadakseen palkintonsa.
Sen lisäksi, että Boole jatkaa ajatustensa kehittämistä logiikan, todennäköisyyksien ja operaattoreiden suhteen, palaa vähitellen ajatuksiinsa ja löytöihin, jotka juontavat juurensa matematiikan ja differentiaalilaskennan aikaisesta työstään. Näiden uusien pohdintojen perusteella hän vetää kaksi oppikirjaa: Tutkimus differentiaaliyhtälöistä , julkaistu vuonna 1859, jossa hän esittelee yleisen menetelmän erilaisten differentiaaliyhtälöiden ratkaisemiseksi ja tutkimiseksi; ja Tutkimus rajallisten erojen laskennasta , julkaistu vuonna 1860 edellisen täydennyksenä, jossa se ehdottaa yli kaksisataa ongelmaa selittävillä ratkaisuilla erotusyhtälöiden ratkaisemiseen.
Boolein työ, jos se on teoreettista, löytää kuitenkin välttämättömiä sovelluksia niin erilaisilla aloilla kuin tietojärjestelmät , todennäköisyysteoria , puhelin , hydrauliset ja pneumaattiset piirit jne. , kiitos tutkijoille, kuten Frege , Russell , Turing .
Vuonna 1867 logician Charles S. Peirce , joka oli myös professori matematiikan ja tähtitieteen klo Harvardin yliopistossa , levitetään pääajatukset Boolen algebra Yhdysvalloissa .
Vuonna 1869 ekonomisti ja logistiikka William Stanley Jevons rakensi ensimmäisen merkittävän tärkeän loogisen koneen, jonka hän esitteli Lontoon kuninkaalliselle seuralle seuraavana vuonna. Se on ensimmäinen kone, joka tekee mahdolliseksi käyttää algebran Looginen automaattisesti saada liuokseen looginen ongelma, niin että johtopäätös, joka voidaan vetää määrätylle tiloja voidaan saada myös mekaanisesti. Se on luotu kuvaamaan etuja uuden Looginen teorian syllogismi of Aristoteleen . Koska se muistutti pianoa, tämä kone tunnettiin tuolloin nimellä "looginen piano" .
Vuonna 1881 Princetonin yliopiston professori Allan Marquand (vuonna) keksi puolestaan uuden logiikkakoneen, joka parantaa Jevonsin logiikkapianoa ja näyttää Peircen ratkaisevan loogiset ongelmat ja laskutoimituksen rakentamalla järjestelmän sähköiseksi.
1930-luvulla amerikkalainen Claude Shannon tajusi, että logiikan algebraa oli mahdollista soveltaa sähköpiirien suunnitteluun ja analysointiin . Hän oli tutkinut Boolen teoriaa perusteellisesti teoksessaan " The Laws of Thought" ja teoksessa nimeltä The Differential Analyzer . Se ymmärtää samankaltaisuuden ja samankaltaisuuden, joka vallitsee elektronisten releiden suorittamien toimintojen ja Boolen logiikan välillä. Vuonna 1938 hän onnistui osoittamaan väitöskirjassaan Symbolic Analysis of Relays and Switching Circuits , kuinka tätä teoriaa voidaan soveltaa piirien suunnitteluun ja yksinkertaistamiseen.
: tämän artikkelin lähteenä käytetty asiakirja.