George Boole, génie des maths (2015)