philosophy of mathematical practice diverges from mainstream philosophy of mathematics