Биография Джорджа Буля

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

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

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

Карьера

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

В течение этого времени он много времени уделял социальной работе и образованию взрослых. Он основал «Приют раскаявшихся женщин», целью которого была реабилитация проституток. С целью образования неимущих, Буль также работал в институте механики. Через четыре года Буль стал владельцем «Hall’s Academy» в Уоддингтоне, под Линкольном. В 1839 году он представил несколько работ, среди которых были «Теория математических преобразований» для «Кембриджского математического журнала».

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

В 1840 году он вернулся в Линкольн для руководства закрытой школой.

В 1841 году он открыл теорию инвариантов – новый раздел математики. Этот раздел математики впоследствии был источником вдохновения Эйнштейна.

В 1844 году он анализировал комбинированные методы алгебры и исчислений в публикации с названием «Философские труды королевского общества».

В 1847 году, совместно с Э. Р. Ларкеном, он основал жилищно-строительное общество. В том же году в памфлете «Математический анализ логики» он высказал мнение, что логика должна быть связана с математикой.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Библиотека, комплекс подземных лекционных залов и центр исследований «Boole Centre for Research in Informatics» в ирландском национальном университете в Корке названы в честь Джорджа Буля.