Джордж Буль известен как автор символической логики. Его считают одним из основоположников информатики.

Детство и юность

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

Карьера

Буль работал помощником учителя в Донкастере, а также некоторое время преподавал в Ливерпуле. Некоторое время он был связан с Линкольнским институтом механики, открывшимся в 1833 году. А в 1834 году он открыл в Линкольне собственную школу.

В 1849 году он стал первым профессором математики в Королевском колледже в Корке, Ирландия.

В 1854 году он изучал алгебру и логику, и его работы в этой области более известны как Булева алгебра (алгебра логики). В том же году он представил понятие символического метода логического рассуждения в издании «Законы мышления».

Булева алгебра служит основой анализа обоснованности логических суждений, поскольку имеет бинарную природу высказываний, которые могут быть как положительными, так и ложными.

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

Во второй части «Закона мышления» Буль попытался открыть общий метод вычисления вероятностей.

В 1857 году Буль представил публикацию «О сравнении трансцендентных функций» с некоторыми дополнениями к теории определенных интегралов. В публикации он изучает сумму остатков рациональной функции. И частью исследования было доказательство булевой идентичности.

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

Буль внес вклад в такие науки, как: электроника, математика, теория информации, логика, кибернетика и информатика.

Награды и достижения

Первая золотая медаль Королевского общества, 1844 год.
Член Лондонского королевского общества, 1857 г.
почетный доктор права Дублинского и Оксфордского университетов, 1857 г.

Личная жизнь и наследие

Джордж Буль женился на Мэри Эверест в 1854 году. У пары было пять дочерей. Буль умер в 1864 году от пневмонии.

Булева алгебра и кратер Буля на Луне названы в честь Джорджа Буля.

Во многих языках программирования «логический тип» — это логический тип данных (где значение может быть либо истинным, либо ложным).

Библиотека, комплекс подземных лекционных залов и Центр исследований в области информатики Буля в Национальном университете Ирландии в Корке названы в честь Джорджа Буля.