George Boole : ob stotridesetletnici smrti