БУЛЬ ДЖОРДЖ (Boole George) (1815 – 1864). Английский математик. Основные идеи Буля суммированы в его работе «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» ("An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities", 1854). В ней впервые определено исчисление классов (или множеств), введено обозначение для их пересечения, объединения и т. д., показано, что исчисление классов можно интерпретировать как исчисление высказываний. Булевы алгебры – особые алгебраические системы, для которых определены две операции, – нашли широкое применение в различных разделах математики: в теории вероятностей, топологии, функциональном анализе, а также при создании вычислительных машин.
Буль Джордж
Родился 2 ноября 1815 года в Линкольне. В возрасте 16 лет начал работать помощником учителя частной школы в Донкастере, в 1835-м открыл собственную школу в Линкольне. В свободное время читал математические журналы, работы И. Ньютона, П. Лапласа и Ж.-Л. Лагранжа. Постепенно начал вести самостоятельные алгебраические исследования. В 1839 году написал первую научную работу «Исследования по теории аналитических преобразований» ("Researches on the Theory of Analytical Transformations"), которая была опубликована «Кембриджским математическим журналом» ("Cambridge Mathematical Journal"). В 1844 году появилась его работа, где впервые высказывалась идея объединения алгебры и логики, а в 1847-м вышла в свет статья «Математический анализ логики» ("The Mathematical Analysis of Logic"), которая положила начало созданию алгебры высказываний, получившей впоследствии название булевой алгебры. Благодаря этой публикации Буль в 1849 году был назначен профессором математики Куинз-колледжа (Корк, Ирландия), где преподавал до конца жизни. В 1857 году был избран членом Лондонского королевского общества. Умер в Баллинтемпле (графство Корк, Ирландия) 8 декабря 1864 года.
БЭКОН РОДЖЕР (Bacon Roger) (ок. 1214 – 1294). Английский философ, известный своей пропагандой экспериментального метода в науке. Резко критически относился к академической науке своего времени, изобрел план и метод реформы наук и по просьбе папы Климента IV изложил свои идеи в известном трактате «Главный труд» ("Opus maius"). Остальные сочинения по большей части представляют собой разрозненные энциклопедические трактаты, которые отражают уровень познаний эпохи Средневековья. Главное учение носит чисто средневековый характер: всякая мудрость – от Бога и имеет три источника откровения: Писание, наблюдение природы и внутренний свет души, достигаемый восхождением по семи ступеням «внутреннего опыта». Необходимыми инструментами распознавания этих трех видов откровения являются соответственно знание языков, знание математики и моральные и духовные дисциплины. Однако знание по Бэкону достигается и проверяется только с помощью «экспериментальной науки», которую Бэкон считает применением теории к практической работе – открытиям и изобретениям, полезным для материального благополучия, а также к моральной и духовной работе, приводящей к вечному блаженству.