Вопросы к Поиску с Алисой
Джордж Буль считается основоположником булевой алгебры, потому что он предложил систему, которая могла описывать логические операции с помощью всего двух чисел — 0 и 1 — и трёх базовых операций: «и» (конъюнкция), «или» (дизъюнкция) и «не» (отрицание). dzen.ru
Буль ввёл понятие символического метода для построения логических умозаключений в работе «Исследование законов мышления». znanierussia.ru Он пришёл к выводу, что логические рассуждения, выраженные в определённых символах, подчиняются законам, подобным алгебраическим. znanierussia.ru
Таким образом, Буль фактически создал язык, на котором можно было «разговаривать» с математической логикой, и доказал, что человеческое мышление можно описать точными математическими правилами. dzen.ru