Сегодня исполняется 200 лет со дня рождения Джорджа Буля!
Гугловский дудл по этому замечательному поводу:

Топик про Джорджа Буля в сообществе:

Буль, Джордж
(англ. George Boole; 2 ноября 1815 — 8 декабря 1864)