Буль

Буль (Boole), Джордж, английский логик и математик, основатель математической логики, род. в 1815 г., с 1849 г. состоял профессором Queen's College в Корке. Б. написал ряд специальных мемуаров по математике, рассеянных в различных математических журналах, а его курсы "Treatise on Differential Equations" и "Treatise on the Calculus of Finite Differences" служили долгое время лучшими руководствами по теории дифференциальных уравнений и конечных разностей. В этих сочинениях Б. уделяет особое внимание так называемому "символическому методу"; метод этот заключается в том, что устанавливаются чисто формальные свойства математических операций, даже таких, как дифференцирование и интегрирование, которые дают возможность производить преобразования выражений, содержащих эти операции, независимо от внутреннего их содержания. Развитие этих идей, частью еще даже до появления названных трудов, привело Б. к его логическим воззрениям, послужившим основанием современной математической логики; они изложены в его сочинениях "Mathematical Analysis of Logic" (1847) и "An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities" (1854). Но Б. не дожил до признания его идей; он ум. в 1864 г.

В. Ф. Каган.

Источники:

1. Энциклопедический словарь Русского библиографического института Гранат. Том 7/Изд. 7.- Москва: Т-ва 'Бр. А. и И. Гранатъ и Ко' - 1911.