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