Джордж Буль известен как автор символической логики. Он считается одним из основателей информатики.
В 1849 году он стал первым профессором математики в Королевском колледже в Корке, Ирландия.
В 1854 году он занимался алгеброй и логикой, и его труды в этой области более известны как булева алгебра (алгебра логики). В том же году он ввёл понятие символический метод логического вывода в публикации «Законы мысли».
Булева алгебра служит в качестве основ анализа обоснованности логических суждений, так как она носит бинарный характер утверждений, которые могут оказаться либо положительными, либо ложными.
Метод бинарности и логические элементы булевой логики используются в телефонной коммутации и в электронных компьютерах во время их создания и работы.
Во второй части «Закона мысли» Буль пытался открыть общий метод в вычислении вероятностей.
В 1857 году Буль представил публикацию «О сравнении трансцендентных функций» с определёнными наложениями на теорию определённых интегралов. В публикации он изучает сумму остатков рациональной функции. А частью изучения стало доказательство булева тождества.
В 1859 году Буль публикует «Трактат по дифференциальным уравнениям», в котором он сообщает об общем символическом методе; в 1860 году он публикует продолжение с названием «Трактат об исчислении конечных разностей».
Буль внёс вклад в такие науки как: электроника, математика, теория информации, логика, кибернетика и информатика.
Награды и достижения
Первая золотая медаль Королевского сообщества, 1844 год.
Член Королевского сообщества в Лондоне, 1857 год.
Почётная должность доктора права в Дублинском и Оксфордском университетах, 1857 год.
Личная жизнь и наследие
Джордж Буль женился на Мэри Эверест в 1854 году. У пары родилось пять дочерей. Буль умер в 1864 году из-за воспаления лёгких.
Булева алгебра и кратер Буль на Луне названы в честь Джорджа Буля.
Во многих языках программирования «boolean type» – логический тип данных (где значение может быть либо верным, либо не верным).
Библиотека, комплекс подземных лекционных залов и центр исследований «Boole Centre for Research in Informatics» в ирландском национальном университете в Корке названы в честь Джорджа Буля.
Предыдущая
