Like Molière’s M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The...

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,...