Буль (Boole) Джордж (1815-1864), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Б. почти в равной мере интересовали логика, математический анализ, теория вероятностей, этика Б. Спинозы, философские работы Аристотеля и Цицерона. В работах «Математический анализ логики» (1847), «Логическое исчисление» (1848), «Исследование законов мышления» (1854) Б. заложил основы математической логики.
Занимаясь исследованием законов мышления, он применил в логике систему формальных обозначений и правил, близкую к математической (алгебра логики, булева алгебра). Результатом формального расчета логического выражения является одно из двух логических значений: истина или ложь.
Значение логической алгебры долгое время игнорировалось, поскольку она не находила применение в науке и технике того времени. С появлением электронной техники операции, введенные Булем, оказались весьма полезны. Они изначально ориентированы на работу только с двумя сущностями: истина и ложь, что хорошо согласуется с двоичным кодом, который в современных компьютерах тоже представляется всего двумя сигналами: ноль и единица.
Основные булевы операции, их использование в устройствах автоматики, трехмерном моделировании, программировании.
