Джордж Буль відомий як автор символічної логіки. Він вважається одним із засновників інформатики.
Дитинство і юність
Батько Буля, Джордж Буль, був торговцем в Лондоні і саме він давав перші уроки математики своєму синові. Він також навчав свого сина виготовлення оптичних вимірювальних приладів. Буль був швидше математиком-самоучкою, хоч і батько, і школа дали йому певні знання математики. Йому довелося працювати, щоб допомагати своїй сім’ї після того, як справа його батька прийшло в занепад.
Кар’єра
Буль працював помічником вчителя в Донкастері, а також недовгий час викладав у Ліверпулі. Деякий час він був пов’язаний з нововиявленими в 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» в ірландському національному університеті в Корку названі на честь Джорджа Буля.
Коротко
Математик, Точні науки
2 Листопада 1815
Скорпіон
8 Грудня 1864
Англія, Лінкольн
Джордж Буль
George Boole