History and the Philosophy of Mathematical Practice: Pitzer 2015