02.11.2011

Джордж Буль

Джордж Буль (1815-1864) — английский профессор математики, чьи работы способствовали созданию современной символической логике.

Джордж Буль родился 2 ноября 1815 года в г. Линкольни. Джордж Буль закончил лишь начальную школу. Он попытался учиться в коммерческом училище, но вскоре бросил из-за полного отсутствия интереса к коммерции и дальнейшие знания приобретал самоучкой. В 12 лет знал латынь, далее овладел греческим, французским, немецким и итальянским языками. В 16 лет уже преподавал в деревенской школе, а в 20 открыл собственную школу в Линкольне. В редкие часы досуга зачитывался математическими журналами Механического института, интересовался работами математиков прошлого – Ньютона, Лапласа, Лагранжа, проблемами современной алгебры.

Начиная с 1839 года Буль стал отсылать свои работы в свежеиспеченный Кембриджский математический журнал. Его первая служба «Исследования по теории аналитических преобразований» касалась дифференциальных уравнений, алгебраических проблем линейной трансформации и концепции инвариантности. В своем исследовании 1844 года, опубликованном в «Философских трудах Королевского общества», он коснулся проблемы взаимодействия алгебры и исчисления. В том же году младой ученый был награжден медалью Королевского общества за вклад в математический разбор.

Вскоре вслед за тем того как Буль убедился, что его алгебра совершенно применима к логике, в 1847 году он опубликовал памфлет «Математический разбор логики», в котором выложил идею, что логика больше близка к математике, чем к философии. Эта служба была жутко приподнято оценена английским математиком Огастесом (Августустом) Де Морганом. Благодаря этой работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в графстве Корк, несмотря на то, что он более того не имел университетского образования. В 1855 г. он женился на дочери профессора греческого языка Мери Эверест, которая помогала Булю в работе и оставила после его смерти интересные воспоминания о своем муже. Из их пяти дочерей, три были незаурядными личностями. Старшая, Люси, стала профессором химии, средняя, Алиса, получила ряд интересных результатов в геометрии. Но самой известной стала младшая дочь - Этель Лилиан, в замужестве Войнич, написавшая ряд романов, в том числе "Овод".

В 1854 году опубликовал работу «Исследование законов мышления, базирующихся на математической логике и теории вероятностей». Работы 1847 и 1854 годов положили начало алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают только два варианта ответов – правда или дезинформация, ноль или единица. Он придумал систему обозначений и правил, пользуясь которыми позволительно было закодировать любые высказывания, а следом манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями – И, ИЛИ, НЕ, которые позволяли изготовлять сложение, вычитание, умножение, деление и соотнесение символов и чисел. Таким образом, Булю удалось досконально обрисовать двоичную систему счисления. В своей работе «Законы мышления» (1854 г.) Буль совершенно сформулировал основы математической логики. Он кроме того попытался сформулировать групповой способ вероятностей, с помощью которого из заданной системы вероятных событий позволительно было бы обусловить вероятность последующего события, логически связанного с ними.

В 1857 году Буль был избран членом Лондонского Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859 г.) и «Трактат о вычислении предельных разностей» (1860 г.) оказали колоссальное воздействие на формирование математики. В них нашли близкое отображение наиболее важные открытия Буля.

Джордж Буль умер в 1864 г. от воспаления легких.

Логические исчисления, построенные в соответствии с идеями Буля, находят сейчас широкое применение в приложениях математической логики к технике, в частности к теории релейно-контактных схем. В современной алгебре есть булевы кольца, булевы алгебры - алгебраические системы, законы композиции которых берут свое начало от исчисления Буля.

Сегодня идеи Буля используются во всех современных цифровых устройствах.

Источники:

1. artint.com.ua
2. peoples.ru
3. lineyka.inf.ua