The newest _Math Intelligencer_ has a nice review of Ian Hacking's _Why is There Philosophy of Mathematics at All?_ It goes to questions about understanding vs proof-checking and even relates to some of the recent discussion on proofs. The book goes more into foundations than the review might suggest. -Walt