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