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