Jak logika George'a Boole'a trafiła do komputerów

Czy drzwi powinny się otworzyć? Być może trzeba spełnić dwa warunki: podać właściwy kod i mieć uprawnienie do wejścia. Taka prosta decyzja pokazuje rodzaj logiki stosowany w całym świecie komputerów.

George Boole nie projektował elektronicznego zamka ani komputera. Chciał zrozumieć, jak wyrazić rozumowanie językiem matematyki. Dopiero późniejsi inżynierowie znaleźli praktyczne zastosowanie dla idei rozwiniętych na podstawie jego prac.

Matematyka opisująca rozumowanie

Boole urodził się w Lincoln w 1815 roku. W dużej mierze sam zdobywał wykształcenie matematyczne, a później został profesorem Queen's College w Cork. W 1847 roku opublikował The Mathematical Analysis of Logic, a w 1854 roku An Investigation of the Laws of Thought.

Opisywał zależności między zdaniami i klasami za pomocą algebry. Kolejni badacze rozwijali i upraszczali ten system do postaci znanych dziś jako algebra Boole'a. Współczesna wersja nie jest dokładnym powtórzeniem wszystkich jego pierwotnych propozycji.

I, LUB oraz NIE

Podstawowe działania najłatwiej wyjaśnić na przykładzie. I wymaga spełnienia obu warunków: kod jest poprawny I osoba ma uprawnienie. LUB wymaga przynajmniej jednego: wejście jest możliwe z przepustką LUB z zatwierdzonym kodem. NIE odwraca warunek: drzwi pozostają zamknięte, jeśli uprawnienia NIE ma.

W układach cyfrowych dwa stany często oznaczamy jedynką i zerem. To sposób przedstawienia informacji, a nie małe cyfry zapisane wewnątrz przewodu. Fizycznie rozróżnienie przenoszą stany elektryczne.

Shannon łączy matematykę z przełącznikami

W pracy magisterskiej z 1937 roku na MIT Claude Shannon pokazał, jak algebra Boole'a pomaga analizować i projektować układy przekaźnikowe i przełączające. Przekaźnik to przełącznik sterowany elektrycznie. Sieci takich elementów można opisać zależnościami logicznymi, co ułatwia rozumienie złożonych obwodów.

Podobne idee badali niezależnie inni naukowcy, w tym Wiktor Szestakow. Praca Shannona miała szczególnie duży wpływ na inżynierię. Matematyka pozwalała nie tylko opisać gotowy obwód, lecz także ustalić, jak go zbudować.

Co się zmieniło, a co pozostało

Komputery przeszły od przekaźników i lamp elektronowych do tranzystorów oraz układów scalonych. Operacje logiczne nadal służyły porównywaniu wartości, obliczeniom i sterowaniu przepływem informacji.

Współczesna AI korzysta z tego sprzętu, ale sama logika Boole'a nie wyjaśnia uczenia modelu. Potrzebne są też statystyka, algebra liniowa i inne metody. Układ wykonujący obliczenia to coś innego niż metoda, którą za pomocą tych obliczeń realizujemy.

Boole zmarł w 1864 roku, długo przed komputerami elektronicznymi. Nie musiał przewidzieć wszystkich zastosowań, by jego praca miała znaczenie. Matematyczny sposób myślenia stał się narzędziem projektowania, gdy inżynierowie rozpoznali problem, do którego pasował.