Буль, Джордж
Буль, Джордж (1815, Лінкольн - 1864) - англ. математик і логік. Діапазон наукових інтересів Б. охоплював, окрім математики і логіки, етику, філософію, давньоримську літературу. Він був добре обізнаний із творами Спінози, Аристотеля, Цицерона. Основні відкриття Б. пов'язані із питаннями застосування математики до вирішення логічних проблем. Б. отримав золоту медаль за роботу з математичного аналізу (1844), і хоч Б. не мав ні університетської освіти, ні наукового ступеня, став проф. математики в Квінз Коледжі м. Корка (Ірландія). Одним із найвагоміших наукових здобутків Б. є створення особливого розділу математичної логіки, яка, на честь її засновника, отримала назву "Булева алгебра" О. сновна ідея його системи полягала в застосуванні алгебраїчних методів для вирішення логічних задач. Б. вважав, що можуть існувати такі розділи математичного знання, предметом дослідження яких уже будуть не числа та величини, а певні абстрактні об'єкти, природа яких не має значення. На підтвердження своєї точки зору Б. побудував логічну теорію, де логіка була представлена як розділ математики, своєрідна алгебра класів (див. алгебра логіки). Булева алгебра і зараз широко застосовується в математиці, логіці, техніці.

Основні твори: "Математичний аналіз логіки" (1847); "Логічне числення" (1848); "Дослідження законів мислення, на яких засновані математичні теорії логіки і ймовірностей" (1854).