What do you mean, we don't have a correct reductionist account of mathematics?
I could define mathematics as the study of systems with a complete reductionist account.
Well, my idea would be along the lines of thinking of mathematics as a combination of certain types of cognition combined with some sort of social feedback loop. We are phenomena and so are our actions. We do mathematics, therefore we should be able to make an empirical study of it.
I suppose that I would like an empirical dissection of mathematics as it is practiced by humans, something that would allow us to measure the statistical usefulness of various areas of mathematical thought. Do you think that this can't be done? Do you think that it has already ...
It looks like, this month, I get to be the one to start the quotes thread.