Буль Джордж

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

В. К.