Anyone who is baffled by mathematics beyond the multiplication tables can imagine with awe the Brobdingnagian mental efforts involved in inventing a clerkproof, 5,500-part machine that adds, subtracts ...