Буль Джордж

Буль Джордж
Born
1815-11-02
Died
1864-12-08

Английский математик. Родился в Линкольне. Самоучка; самостоятельно изучил греческий, латинский, немецкий, французский и итальянский языки, затем математику. С 16 лет работал помощником учителя в школе. В 1849—1864 — профессор математики в Куинс-колледже в Корке (Ирландия).

Научные интересы Буля достаточно широки: философия, логика, математический анализ, теория вероятностей. В 1847 он опубликовал «Математический анализ логики», являющийся очерком анализа дедуктивного рассуждения, в 1848— «Логическое исчисление». Развил свою систему и изложил ее в труде «Исследование законов мышления» (1854), в котором свел логику к алгебраической форме, установив систему аксиом символической логики, т. е. операции исследования и решения «логических» уравнений. Установил, что исчисление определяется теми законами, которым подчиняются операции логического исчисления. Логическое исчисление Буля получило название булевой алгебры.

Идеи Буля развивали О. де Морган и Ч. Пирс. Б. А. У. Рассел отождествил (1901) символическую логику Буля с чистой математикой. Модернизацию идей Буля выполнил Дж. фон Нейман. В 40—50-х гг. XX в. булева алгебра получила особенное значение в связи с развитием вычислительной техники.