20151102 tech.tech-news: Google 'doodles' mathematician George Boole