My point is the process of maths is (to a degree) invented or discovered, and under the invented hypothesis, where one would adhere to strict physicalist-style nominalism, the very act of predicting that the solutions to very real problems are dependent on abstract insight is literally incompatible with that position, to the point where seeing it done, even once, forces you to make some drastic ramifications to your own ontological model of the world.
One account is that the particular grouping of features into a definition is "invented", i... (read more)
One account is that the particular grouping of features into a definition is "invented", i... (read more)