發送短信: The philosophy of mathematical practice