БУЛЬ, ДЖОРДЖ (Boole, George) (1815?1864), английский математик. Родился 2 ноября 1815 в Линкольне. В возрасте 16 лет стал помощником учителя частной школы в Донкастере, в 1835 открыл собственную школу в Линкольне. В свободное время читал математические журналы, работы И.Ньютона , П.Лапласа и Ж.-Л.Лагранжа , начал вести самостоятельные алгебраические исследования. В 1839 написал первую научную работу Исследования по теории аналитических преобразований ( Researches on the Theory of Analytical Transformations ), которая была опубликована ≪Кембриджским математическим журналом≫ (≪Cambridge Mathematical Journal≫). В 1844 появилась его первая работа, где высказывалась идея объединения алгебры и логики, а в 1847 вышла в свет статья Математический анализ логики ( The Mathematical Analysis of Logic ), которая положила начало созданию ≪алгебры высказываний≫, получившей впоследствии название булевой алгебры. Благодаря этой публикации Буль в 1849 был назначен профессором математики Куинз-колледжа (Корк, Ирландия), где преподавал до конца жизни. В 1857 был избран членом Лондонского королевского общества.

Также по теме:

МАТЕМАТИКА

Основные идеи Буля суммированы в его работе Исследование законов мышления, на которых основаны математические теории логики и вероятностей ( An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities , 1854). Здесь впервые определено в явном виде исчисление классов (или множеств), введено обозначение для их пересечения, объединения и т.д., показано, что исчисление классов можно интерпретировать как исчисление высказываний. Булевы алгебры ? особые алгебраические системы, для которых определены две операции, ? нашли широкое применение в различных разделах математики: в теории вероятностей, топологии, функциональном анализе, а также в создании вычислительных машин. Умер Буль в Баллинтемпле (графство Корк, Ирландия) 8 декабря 1864.