A Hold egyik kráterét nevezték el George Boole-ról, a logikai algebra atyjáról
2021. november 2. 09:35 MTI
206 éve, 1815. november 2-án született George Boole angol matematikus, a róla elnevezett logikai algebra megalapozója.
Korábban
Az északkelet-angliai Lincolnban született egy szerény körülmények között élő cipész fiaként. Gyermekkorában előbb a klasszikus nyelvek tanulásában, később matematikai fogékonyságával tűnt ki. Első matematikaleckéit a tudomány dolgai iránt érdeklődő édesapjától kapta, aki az optikai eszközök készítésére is megtanította. Apja vállalkozása tönkrement, így tizenhat évesen munkába kellett állnia. A yorkshire-i Doncaster iskolájában kezdett tanítani, három év múlva saját iskolát nyitott Lincolnban, 1840-től a helyi internátust vezette.
A matematikát autodidaktaként sajátította el. A szaklapok mellett neves tudósok munkáit olvasta, köztük Newton latin nyelvű, a klasszikus mechanikát megalapozó monumentális Principia Mathematica című művét, és kiterjedt levelezést folytatott elismert matematikus kortársaival.
Elsősorban a bonyolult algebrai problémák megoldása foglalkoztatta, tudományos téziseit közel félszáz értekezésben tette közzé. Az analitikus transzformációk elméletét taglaló első tanulmánya 1840-ben jelent meg a Cambridge Mathematical Journal című szaklapban. 1844-ben fontos cikket írt az algebrai és az analitikai módszerek kombinálhatóságáról, az analízis terén végzett munkásságáért még ebben az évben elnyerte a Royal Society érmét.
Hamar felismerte, hogy algebrája a logikában is alkalmazható. A ma már Boole-algebraként ismert rendszer alapszabályait 1847-ben The Mathematical Analysis of Logic (A logika matematikai analízise) című munkájában ismertette, amellett érvelve, hogy a logikát nem a filozófiához, hanem a matematikához kell sorolni. Tudományos munkásságának elismeréseként 1849-ben - egyetemi végzettség nélkül - Írországban kinevezték a Cork megyei Queen's College professzorává.
1850-ben itt találkozott későbbi feleségével, Mary Everesttel, Sir George Everest, a Mount Everest névadójának unokahúgával, akiben igazi társra lelt. Mary Everest nem csupán öt gyermeküket nevelte, de maga is megismerkedett a matematikával, és gyermekeknek szánt népszerű könyvekben ismertette férje munkáit.
Boole a logikai következtetésre kidolgozott általános, szimbolikus módszerét 1854-ben The Laws of Thought (A gondolkodás törvényei) című művében fejtette ki. Rámutatott az algebrában és a logikában használt szimbólumok közti analógiára, elhatárolta egymástól a mennyiségeket és műveleteket jelölő szimbólumokat. Matematikai logikájában nem számokat, hanem ítéleteket (igaz vagy hamis állításokat) jelölt betűkkel.
Bebizonyította, hogy az algebrai egyenletekre emlékeztető logikai egyenletekkel összetett ítéletek igaz vagy hamis voltára lehet következtetni, s a logikai következtetések teljesen mechanikus levezetésének lehetővé tételére törekedett.
Algebrája mérföldkő a logika történetében, létfontosságú a bináris aritmetika áramkörökkel való megvalósításában. Korát messze megelőző, nehezen követhető okfejtéseinek gyakorlati használhatóságára az 1930-as években figyelt fel Claude Shannon, az információelméletet egyik megteremtőjének tekintett amerikai matematikus, aki bebizonyította, hogy a Boole-algebra alkalmazásával leegyszerűsíthető a logikai áramkörök tervezése.
A telefonközpontok és a számítógépek is bináris számokat használnak, ami lehetővé teszi kétértékű matematikai szekvenciákkal való vezérlésüket. Shannon közreműködésével a Boole-algebra a digitális korszak elméleti alapjává vált, jelentős szerepe van a valószínűségszámításban, a halmazgeometriában és az információelméletben is.
Boole-t 1857-ben a Royal Society tagjává választották. A differenciálegyenletekről szóló, 1859-ben megjelent értekezését és a véges differenciák kalkulusáról a következő évben kiadott munkáját hosszú ideig tankönyvként használták. Érdeklődött az irodalom, a gyermekcipőben járó fényképészet és a zene iránt is, kiválóan zongorázott, verseket is írt. 1864. december 8-án, 49 éves korában egy megfázás miatt kialakult mellhártyagyulladásban halt meg Ballintemple-ben. A Boole-algebrán kívül nevét viseli a Hold egyik krátere is, a Boolean pedig adattípust jelöl a Pascal és Java programozási nyelvekben.
Születésének bicentenáriuma alkalmából 2015-ben a University College Cork a Boole200 projekt keretében szakmai és ismeretterjesztő rendezvénysorozatokon népszerűsíti szellemi hagyatékát. Az évfordulóra megjelent Desmond MacHale 1985-ben írott híres monográfiájának javított kiadása, és bemutatták az életéről és munkásságáról készült dokumentumfilmet, amelynek narrátora az Oscar-díjas Jeremy Irons.
Támogasd a szerkesztőségét!
történelmi magazin
legújabb számát?
kedvezményes előfizetés 1 évre (5 szám)
bankkártyás fizetés esetén 20% kedvezménnyel.
Az éves előfizetés már tartalmazza az őszi különszámot.
Az első 500 előfizetőnek.
Római Birodalom
- Róma hanyatlásával Ostia jelentősége is csökkent
- Dánia egy ritkaságnak számító Septimius Severus szoborfejet adott vissza Törökországnak
- Rejtély, miért fordult vissza Hannibál Róma kapuja előtt
- Egész életében a Római Birodalom feltámasztásáért küzdött I. Justinianus
- Brutális leszámolással ért véget Róma és Karthágó konfliktusa
- Egyszerre látja bűnözőnek és önfeláldozó hősnek az utókor Spartacust
- Pompeji titkait a modern technológia fejtheti meg
- Végül bizánci provinciává süllyedt a vandálok rettegett afrikai királysága
- A római nép rajongott érte, a filozófusok megvetették a véres gladiátorjátékokat
- Napjainkig megoldatlan egy skót világítótorony hátborzongató rejtélye 14:20
- Az Eiffel-tornyot kétszer is megpróbálták eladni ócskavasnak 09:51
- A hét legismertebb Mária-jelenés szerte a világban 09:05
- A nemzet költője sem tudott segíteni a kiállhatatlan nyelvzsenin tegnap
- 10 tény a Mona Lisáról tegnap
- Ókori eredetű a karácsonyfa-állítás szokása tegnap
- Rejtély, miért tűnt el a krétai civilizáció tegnap
- Amikor karácsony napja tűzszünetet hozott tegnap