Obsah:
Definice - Co znamená George Boole?
George Boole (1815–1864) byl anglický logik, matematik a pedagog. Začínal jako učitel v Anglii a stal se profesorem matematiky na Queen's University v Cork v Irsku. On produkoval dvě hlavní práce v logice, jmenovitě “matematická analýza logiky” (1847) a “zákony myšlení” (1854).
Vynalezl booleovskou algebru, která rozšířila vztah mezi logikou a matematikou. Později se stal základem pro ověření platnosti logických propozic, provedeného pomocí dvoustranného binárního znaku - true nebo false. Boole je považován za „otce informačního věku“ za jeho obrovské příspěvky do informatiky, zejména v oblasti digitální počítačové logiky.
Techopedia vysvětluje George Boole
Boole nikdy nechodil na univerzitu, protože byl velmi vyučován zázrakem dítěte. Byl nucen opustit školu ve věku 16 let poté, co se jeho otcovský obchod s obuví rozpadl. Ve stejném roce se stal asistentem učitele a poté, když mu bylo 20 let, otevřel svou vlastní školu. Brzy se George začal zajímat o matematiku a objevil nové odvětví matematiky známé jako invariantní teorie. V roce 1844 byl za článek o diferenciálních rovnicích Boole vyznamenán první Zlatou medailí Královské společnosti v Londýně. Přestože Boole neměl vysokoškolské vzdělání, byl v roce 1849 jmenován profesorem matematiky na Queen's University pouze na základě jeho publikací.
Boole byl jedním z prvních Angličanů, který psal logicky. Vyvinul nový typ lingvistické algebry, nyní známé jako logická algebra, jako metoda manipulace a matematického řešení logických argumentů. Boole navrhl, že logické výroky by mohly být redukovány na algebraické rovnice a matematické operandy mohou být nahrazeny logickými slovy jako AND, OR a NOT. Poskytl obecné algoritmy v algebraickém jazyce, který lze použít na různé typy složitých argumentů. Ve své práci „Zákony myšlení“ se také pokusil najít v pravděpodobnostech běžnou metodu.
