Boole, George

Boole nevéhez kötődik a logikai algebra (vagy algebrai logika), amelyet Boole algebrának is nevezünk.

Boole életéről:

Boole angol matematikus és filozófus volt. Viszonylag későn, 16 éves kora után kezdett érdeklődni a matematika iránt. Tanár lett, élete végéig különböző helyszíneken tanított.

Boole munkásságáról:

Munkássága jelentős az algebra, a matematikai logika és a valószínűségszámítás területén. Két fő művében, a „The Mathematical Analysis of Logic” (A logika matematikai analízise, 1847) és az „An investigation of the laws of thought” (A gondolkodás törvényeinek vizsgálata, 1854) kimutatta, hogy a formális logika törvényei a matematikában is hasznosíthatók. Az általa megalapozott algebra célja az, hogy egyesítse a matematikát a logikával. A matematikai logika megteremtésének útján Arisztotelész, Descartes, és Leibniz munkásságát követően Boole munkája jelentette az igazi áttörést. Boole-nak sikerült az általa bevezetett szimbólumokkal, algebrai módszerekkel, azonosságokkal leírnia a logika legalapvetőbb törvényeit. A nevéhez kötődő logikai algebra (vagy algebrai logika) nagy segítséget jelentett a matematika számos más területének formalizálásához. A matematikai logika megteremtésével a számítástechnika fejlődéséhez is jelentősen hozzájárult.

Lásd még: https://hu.wikipedia.org/wiki/George_Boole