George Boole

George Boole, (narozen 2. listopadu 1815, Lincoln, Lincolnshire, Anglie – zemřel 8. prosince 1864, Ballintemple, hrabství Cork, Irsko), anglický matematik, který pomohl vytvořit moderní symbolickou logiku a jehož algebra logiky, nyní nazývaná Booleova algebra, je základem pro návrh digitálních počítačových obvodů.

Boole dostal první lekce matematiky od svého otce, obchodníka, který ho také naučil vyrábět optické přístroje. Kromě otcovy pomoci a několika let na místních školách byl však Boole v matematice samouk. Když otcův obchod upadal, musel George pracovat, aby uživil rodinu. Od svých 16 let učil na vesnických školách v hrabství West Riding of Yorkshire a ve 20 letech si otevřel vlastní školu v Lincolnu. Ve skrovném volném čase četl matematické časopisy v lincolnském mechanickém institutu. Tam také četl Principia Isaaca Newtona, Traité de mécanique céleste Pierra-Simona Laplace a Mécanique analytique Josepha-Louise Lagrange a začal řešit pokročilé problémy v algebře.

Boole zasílal do nového cambridgeského matematického časopisu proud původních článků, počínaje v roce 1841 svým „Researches on the Theory of Analytical Transformations“. Tyto články se týkaly diferenciálních rovnic a algebraické problematiky lineárních transformací s důrazem na pojem invariance. V roce 1844 ve významném článku v časopise Philosophical Transactions of the Royal Society „On a General Method of Analysis“, za který získal první zlatou medaili Královské společnosti za matematiku, pojednal o tom, jak lze kombinovat metody algebry a kalkulu. Boole si brzy všiml, že jeho algebru lze použít i v logice.

Rozvíjel nové myšlenky o logické metodě a byl si jistý symbolickým uvažováním, které získal na základě svých matematických výzkumů, a v roce 1847 vydal brožuru The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning, v níž přesvědčivě argumentoval, že logika by měla být spojena s matematikou, nikoli s filozofií. Získal si obdiv anglického logika Augusta De Morgana, který v témže roce vydal knihu Formal Logic. Na základě svých publikací byl Boole v roce 1849 jmenován profesorem matematiky na Queen’s College v hrabství Cork (nyní University College Cork), přestože neměl žádný univerzitní titul. V roce 1854 vydal knihu An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, kterou považoval za zralé vyjádření svých myšlenek. V následujícím roce se oženil s Mary Everestovou, neteří sira George Everesta, po němž je hora pojmenována. Manželé Booleovi měli pět dcer.

Jeden z prvních Angličanů, kteří psali o logice, Boole poukázal na analogii mezi algebraickými symboly a symboly, které mohou reprezentovat logické formy a sylogismy, a ukázal, jak lze oddělit symboly množství od symbolů operací. S Boolem v letech 1847 a 1854 začala algebra logiky, neboli to, čemu se dnes říká Booleova algebra. Booleova originální a pozoruhodná obecná symbolická metoda logického odvozování, plně vyjádřená v knize Zákony myšlení (1854), umožňuje při zadání libovolných propozic zahrnujících libovolný počet termínů vyvozovat závěry, které jsou logicky obsaženy v premisách. Booleova abstraktní úvaha vedla k aplikacím, o nichž se mu ani nesnilo – například telefonní ústředna a elektronické počítače používají binární číslice a logické prvky, které se při své konstrukci a fungování opírají o Booleovu logiku. Pokusil se také o obecnou metodu v pravděpodobnostech, která by umožnila z daných pravděpodobností libovolné soustavy událostí určit následnou pravděpodobnost libovolné jiné události logicky spojené s danými událostmi.

V roce 1857 byl Boole zvolen členem Královské společnosti. V roce 1859 vyšlo vlivné pojednání A Treatise on Differential Equations a následující rok následovalo jeho pokračování A Treatise on the Calculus of Finite Differences. Tyto práce, používané po mnoho let jako učebnice, obsahují rozpracování Booleových významnějších objevů.

Boole onemocněl zápalem plic poté, co 24. listopadu 1864 v dešti urazil tři míle pěšky ze svého domova do Queen’s College. Zemřel 8. prosince.