“Mathematics had never had more than a secondary interest for him [her husband, George Boole]; and even logic he cared for chiefly as a means of clearing the ground of doctrines imagined to be proved, by showing that the evidence on which they were supposed to give rest had no tendency to prove them.”