Clear, introductory survey of the history of, and current, philosophy of mathematics by Jeremy Avigad
