БУЛЬ

(Boole, George) (1815-1864), английский математик, создатель символической логики. Родился 2 ноября 1815 в Линкольне. Специального математического образования не получил. В возрасте 16 лет стал помощником учителя частной школы в Донкастере, в 1835 открыл собственную школу в Линкольне. В свободное время читал математические журналы, работы И.Ньютона, П.Лапласа и Ж.-Л.Лагранжа, начал вести самостоятельные алгебраические исследования. В 1839 написал первую научную работу Исследования по теории аналитических преобразований (Researches on the Theory of Analitical 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.