George Boole

George Boole, (ur. 2 listopada 1815, Lincoln, Lincolnshire, Anglia – zm. 8 grudnia 1864, Ballintemple, County Cork, Irlandia), angielski matematyk, który pomógł ustanowić nowoczesną logikę symboliczną i którego algebra logiki, obecnie nazywana algebrą Boole’a, jest podstawowa dla projektowania cyfrowych obwodów komputerowych.

Boole otrzymał swoje pierwsze lekcje matematyki przez ojca, handlowiec, który również nauczył go, aby instrumenty optyczne. Jednak poza pomocą ojca i kilkoma latami nauki w lokalnych szkołach, Boole był samoukiem matematyki. Gdy interes ojca podupadł, George musiał pracować, by utrzymać rodzinę. Od 16 roku życia uczył w wiejskich szkołach w West Riding of Yorkshire, a w wieku 20 lat otworzył własną szkołę w Lincoln. W czasie wolnym czytał czasopisma matematyczne w Lincoln’s Mechanics Institute. Tam też przeczytał Principia Isaaca Newtona, Traité de mécanique céleste Pierre’a-Simona Laplace’a i Mécanique analytique Josepha-Louisa Lagrange’a i zaczął rozwiązywać zaawansowane problemy w algebrze.

Boole złożył strumień oryginalnych prac do nowego Cambridge Mathematical Journal, zaczynając w 1841 roku od jego „Researches on the Theory of Analytical Transformations”. Prace te dotyczyły równań różniczkowych i algebraicznego problemu przekształceń liniowych, kładąc nacisk na pojęcie niezmienniczości. W 1844 roku, w ważnym artykule w Philosophical Transactions of the Royal Society, „On a General Method of Analysis”, za który otrzymał pierwszy złoty medal Towarzystwa Królewskiego w dziedzinie matematyki, dyskutował, jak można połączyć metody algebry i rachunku. Boole wkrótce zauważył, że jego algebra może być również zastosowana w logice.

Rozwijając nowatorskie idee dotyczące metody logicznej i będąc pewnym rozumowania symbolicznego, które wyprowadził ze swoich matematycznych badań, opublikował w 1847 roku broszurę The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning, w której przekonująco dowodził, że logika powinna być sprzymierzona z matematyką, a nie z filozofią. Zdobył podziw angielskiego logika Augustusa De Morgana, który w tym samym roku opublikował Formal Logic. Na podstawie swoich publikacji Boole został w 1849 roku mianowany profesorem matematyki w Queen’s College, County Cork (obecnie University College Cork), mimo że nie miał dyplomu uniwersyteckiego. W 1854 r. opublikował An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, którą uważał za dojrzałą wypowiedź swoich idei. W następnym roku poślubił Mary Everest, siostrzenicę Sir George’a Everesta, od którego nazwiska pochodzi nazwa góry. Boolesowie mieli pięć córek.

Jeden z pierwszych Anglików piszących o logice, Boole wskazał na analogię między symbolami algebraicznymi i tymi, które mogą reprezentować formy logiczne i sylogizmy, pokazując, jak symbole ilości mogą być oddzielone od symboli operacji. Od Boole’a w latach 1847 i 1854 rozpoczęła się algebra logiki, czyli to, co obecnie nazywa się algebrą Boole’a. Oryginalna i niezwykła ogólna symboliczna metoda wnioskowania logicznego Boole’a, w pełni przedstawiona w Laws of Thought (1854), pozwala, mając do dyspozycji dowolne propozycje zawierające dowolną liczbę terminów, wyciągać wnioski, które są logicznie zawarte w przesłankach. Zawiłe rozumowanie Boole’a doprowadziło do zastosowań, o których mu się nawet nie śniło – na przykład centrala telefoniczna i komputery elektroniczne używają cyfr binarnych i elementów logicznych, których konstrukcja i działanie opierają się na logice boolowskiej. Próbował także opracować ogólną metodę prawdopodobieństwa, która umożliwiłaby z danych prawdopodobieństw dowolnego systemu zdarzeń wyznaczenie prawdopodobieństwa następczego każdego innego zdarzenia logicznie związanego z danymi zdarzeniami.

W 1857 roku Boole został wybrany na członka Royal Society. W 1859 roku ukazał się wpływowy A Treatise on Differential Equations, a w następnym roku jego kontynuacja, A Treatise on the Calculus of Finite Differences. Używane jako podręczniki przez wiele lat, prace te zawierają rozwinięcie ważniejszych odkryć Boole’a.

Boole zachorował na zapalenie płuc po przejściu trzech mil z domu do Queen’s College w ulewie 24 listopada 1864 roku. Zmarł 8 grudnia.

.