I remember looking at How to Solve It, since it was recommended at the end of The Little Schemer, isn't it just a collection of heuristics? Does that mean that mathematicians just randomly throw ideas at a problem to see what sticks? Or do they actually know why a proof works?