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