Буль (Boole) Джордж
Буль (Boole) Джордж (2
ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль,
Ирландия), английский математик и логик, один из основоположников
математической логики. Разработал алгебру логики (булеву алгебру)
("Исследование законов мышления", 1854), основу функционирования
цифровых компьютеров.
Джордж Буль родился в
бедной рабочей семье. Первые уроки математики получил у отца и, хотя посещал
местную школу, в общем его можно считать самоучкой. В 12 лет он уже знал
латынь, затем овладел греческим, французским, немецким и итальянским языками. В
16 лет уже преподавал в деревенской школе, а в 20 открыл собственную школу в
Линкольне. В редкие часы досуга зачитывался математическими журналами
Механического института, интересовался работами математиков прошлого - Ньютона,
Лапласа, Лагранжа, проблемами современной алгебры.
Начиная с 1839 года, Буль
стал посылать свои работы в новый Кембриджский математический журнал. Его
первая работа "Исследования по теории аналитических преобразований"
касалась дифференциальных уравнений, алгебраических проблем линейной
трансформации и концепции инвариантности. В своем исследовании 1844 года,
опубликованном в "Философских трудах Королевского общества", он
коснулся проблемы взаимодействия алгебры и исчисления. В том же году молодой
ученый был награжден медалью Королевского общества за вклад в математический
анализ.
Вскоре после того, как Буль
убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал
памфлет "Математический анализ логики", в котором высказал идею, что
логика более близка к математике, чем к философии. Эта работа была чрезвычайно
высоко оценена английским математиком Августом Де Морганом. Благодаря этой
работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в
графстве Корк, несмотря на то что он даже не имел университетского образования.
В 1854 году он опубликовал
работу "Исследование законов мышления, базирующихся на математической логике
и теории вероятностей". Работы 1847 и 1854 годов дали рождение алгебре
логики, или булевой алгебре. Буль первым показал, что существует аналогия между
алгебраическими и логическими действиями, так как и те, и другие предполагают
лишь два варианта ответов - истина или ложь, нуль или единица. Он придумал
систему обозначений и правил, пользуясь которыми можно было закодировать любые
высказывания, а затем манипулировать ими как обычными числами. Булева алгебра
располагала тремя основными операциями - И, ИЛИ, НЕ, которые позволяли
производить сложение, вычитание, умножение, деление и сравнение символов и
чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления.
В своей работе "Законы мышления" (1854) Буль окончательно сформулировал
основы математической логики. Он также попытался сформулировать общий метод
вероятностей, с помощью которого из заданной системы вероятных событий можно
было бы определить вероятность последующего события, логически связанного с
ними.
В 1857 году Буль был избран
членом Королевского общества. Его работы "Трактат о дифференциальных
уравнениях" (1859) и "Трактат о вычислении предельных разностей"
(1860) оказали колоссальное влияние на развитие математики. В них нашли свое
отражение наиболее важные открытия Буля.
Идеи Буля нашли применение
в таких областях, о которых он не мог и мечтать - в использующих двоичный код
цифровых компьютерах и в телефонной связи.
Список литературы
Для подготовки данной
работы были использованы материалы с сайта http://www.infhist.h1.ru/