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

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

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

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

Карьера

Буль работал помощником учителя

в Донкастере, а также недолгое время преподавал в Ливерпуле. Некоторое время он был связан с открывшимся в 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” в ирландском национальном университете в Корке названы в честь Джорджа Буля.



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