This Element introduces a young field, the 'philosophy of mathematical practice'. We first offer a general characterisation of the approach …
