Сегодня, 2 ноября, поисковик Google выпустил новый дудл (doodle), который приурочил к 200-летию со дня рождения английского математика, одного из основоположников математической логики Джорджа Буля.
Дудл выполнен в виде исполнения логических операций: конъюнкции (логической "и"), дизъюнкции ("или") и отрицания ("нет"). Этими операциями оперирует наука, которая получила название булева алгебра.
Предполагается, что Буль был первым после Джона Валлиса математиком, обратившимся к логической проблематике. Идеи применения символического метода к логике были впервые описаны им в статье "Математический анализ логики". Программистам деятельность Буля известна по типу логической переменной, принимающей два значения: истина или ложь (0 или 1).
Ранее сообщалось о том, что Google сменил логотип. Теперь буквы выглядят плоскими, что соответствует современным тенденциям упрощения интерфейса.