Obsah:
Definícia - Čo znamená George Boole?
George Boole (1815 - 1864) bol anglický logik, matematik a vychovávateľ. Začínal ako učiteľ v Anglicku a stal sa profesorom matematiky na Queen's University v Cork v Írsku. Vytvoril dve logické diela, a to „Matematická analýza logiky“ (1847) a „Zákony myslenia“ (1854).
Vymyslel booleovskú algebru, ktorá rozšírila vzťah medzi logikou a matematikou. Neskôr sa stal základom pre overenie platnosti logických výrokov, ktorý sa urobil pomocou dvojhodnotového binárneho charakteru - pravdivého alebo nepravdivého. Boole sa považuje za otca informačného veku za jeho obrovské príspevky do počítačovej vedy, najmä v oblasti digitálnej počítačovej logiky.
Techopedia vysvetľuje George Boole
Boole nikdy nebol navštevovaný univerzitou. Bol nútený opustiť školu v 16 rokoch potom, čo sa zrútil obchod s obuvou jeho otca. V tom istom roku sa stal asistentom učiteľa a neskôr, keď mal 20 rokov, otvoril svoju vlastnú školu. Čoskoro sa začal zaujímať o matematiku a začal objavovať nové odvetvie matematiky známe ako invariantná teória. V roku 1844 Boole získal za článok o diferenciálnych rovniciach prvú zlatú medailu Kráľovskej spoločnosti v Londýne. Aj keď Boole nemal vysokoškolské vzdelanie, v roku 1849 bol menovaný profesorom matematiky na Queen's University iba na základe jeho publikácií.
Boole bol jedným z prvých Angličanov, ktorý písal logicky. Vyvinul nový typ lingvistickej algebry, teraz známej ako logická algebra, ako metódy manipulácie a matematického riešenia logických argumentov. Boole navrhol, aby sa logické výroky mohli zredukovať na algebraické rovnice a matematické operandy možno nahradiť logickými slovami ako AND, OR a NOT. Poskytol všeobecné algoritmy v algebraickom jazyku, ktorý sa dal použiť na rôzne typy zložitých argumentov. Vo svojej práci „Zákony myslenia“ sa tiež pokúsil nájsť spoločnú metódu pravdepodobností.
