[Magdalen] Happy birthday, George!

[Roger Stokes]

On 02/11/2015 15:38, Charles Wohlers wrote:
> Today we celebrate the 200th birthday of George Boole. I’m very surprised that google.com has Day of the Dead, and not George Boole on their home page.
>
> So – raise a glass to George Boole, on whom your computer depends for its very being. Or don’t.

This side of the pond Google does offer us Boole.

Roger