Сьогодні, 2 листопада, пошукова система Google обзавелася новим дудлом, який присвячений 200-річчю з дня народження англійського математика, одного із засновників математичної логіки Джорджа Буля.
Анімований дудл виконаний у вигляді виконання логічних операцій: кон'юнкції (логічного "і" (and)), диз'юнкції (логічного "або" (or)) і заперечення "ні" (not)). Даними операціями, власне, і оперує наука, яку називають булева алгебра.
Фото: Новий дудл від Google
Джордж Буль народився 2 листопада 1815 року в місті Лінкольн на сході Англії. Вважається, що він був першим після Джона Уолліса (одного з попередників творців математичного аналізу) математиком, звернулися до логічної проблематики.
Програмістам його діяльність відома за типом логічної змінної, що приймає два значення: true (істина) або false (0 або 1) і названої булевской (Boolean).
Буль не вважав логіку розділом математики, але знаходив глибоку аналогію між символічним методом алгебри і символічним методом представлення логічних форм і силлогизмов. Одиницею Буль позначав універсум мислимих об'єктів, буквеними символами - вибірки з нього, пов'язані зі звичайними прикметниками та іменниками (так, якщо x="рогаті", а y="вівці", послідовний вибір x і y з одиниці дасть клас рогатих овець). Буль показав, що символіка такого роду підпорядковується тим же законам, що і алгебраїчна, з чого випливало, що їх можна складати, віднімати, множити і навіть ділити.
Фото: Джордж Буль
Фото: twitter.com/georgeboole200
Відзначимо, що в 1964 році на честь Джорджа Буля був названий кратер на Місяці. Крім того, одна з дочок математика - Етель Ліліан - написала всесвітньо знаменитий роман "Овод". Вона також займалася перекладом віршів українського поета Тараса Шевченка на англійську мову.
До речі, 1 вересня компанія Google оновила свій логотип.