Spisu treści:
Definicja - Co oznacza George Boole?
George Boole (1815–1864) był angielskim logikiem, matematykiem i pedagogiem. Zaczynając jako nauczyciel w Anglii, został profesorem matematyki na Queen's University w Cork w Irlandii. Wyprodukował dwa główne dzieła logiczne, mianowicie „Matematyczną analizę logiki” (1847) i „Prawa myśli” (1854).
Wynalazł algebrę logiczną, która rozszerzyła związek między logiką a matematyką. Później stał się on podstawą do sprawdzania poprawności zdań logicznych, dokonywanej za pomocą dwuwartościowego znaku binarnego - prawda lub fałsz. Ze względu na swój ogromny wkład w informatykę, zwłaszcza w cyfrowej logice komputerowej, Boole jest uważany za „ojca ery informacji”.
Techopedia wyjaśnia George Boole
W dużej mierze samouk, cudowne dziecko, Boole nigdy nie studiował na uniwersytecie. Został zmuszony do opuszczenia szkoły w wieku 16 lat po upadku firmy obuwniczej ojca. W tym samym roku został asystentem nauczyciela, a później otworzył własną szkołę, gdy miał 20 lat. Wkrótce George zainteresował się matematyką i zaczął odkrywać nową gałąź matematyki znaną jako teoria niezmienna. W 1844 roku za pracę na temat równań różniczkowych Boole otrzymał pierwszy Złoty Medal Royal Society of London. Mimo że Boole nie miał dyplomu uniwersyteckiego, w 1849 roku został mianowany profesorem matematyki na Queen's University wyłącznie na podstawie swoich publikacji.
Boole był jednym z pierwszych Anglików, który napisał logikę. Opracował nowy typ algebry językowej, znany obecnie jako algebra boolowska, jako metodę manipulowania i matematycznego rozwiązywania logicznych argumentów. Boole zaproponował, że zdania logiczne można sprowadzić do równań algebraicznych, a operandy matematyczne można zastąpić słowami logicznymi, takimi jak AND, OR i NOT. Podał ogólne algorytmy w języku algebraicznym, które można zastosować do różnych typów złożonych argumentów. W swojej pracy „Laws of Thought” próbował również znaleźć wspólną metodę prawdopodobieństwa.
