Значение БУЛЬ ДЖОРДЖ в Большой советской энциклопедии, БСЭ

БУЛЬ ДЖОРДЖ

(Boole) Джордж (2.11.1815, Линкольн, - 8.12.1864, Баллинтемпл близ Корка), английский математик и логик. Не имея специального математического образования, в 1849 стал профессором математики в Куинс-колледже в Корке (Ирландия), где преподавал до конца жизни. Б. почти в равной мере интересовали логика, математический анализ, теория вероятностей, этика Б. Спинозы, философские работы Аристотеля и Цицерона. В работах 'Математический анализ логики' (1847), 'Логическое исчисление' (1848), 'Исследование законов мышления' (1854) Б. заложил основы математической логики. Именем Б. названы так называемые булевы алгебры - особые алгебраические системы, для элементов которых определены две операции (см. Структура ).

Лит.: Льар Л., Английские реформаторы логики а XIX в., пер. с франц., СПБ, 1897; Venn J., Boole's logical system, 'Mind', 1876, v. 1, | 4.

Большая советская энциклопедия, БСЭ.