For a Philosophy of Mathematical Practice