Hacker News new | ask | show | jobs
by hackinthebochs 26 days ago
If it were merely a creation, there would be no reason for two independent mathematicians to land on the same creation given some directed effort. But of course we do see that. There is an objectivity to mathematics that must be accounted for.

"Where" mathematics exists is in the abstract combinatorical space of an infinite repeating application of logical rules. This space doesn't exist in a substantive sense, but it is accessible/navigable by studying the consequences of logical rules. It is the space of possible structure.

1 comments

If this space of possible structure is real, but seemingly immaterial, how does our matter brain access it?

I think we create mathematics as thought structure in our mind. We can agree on things when we create the same structures. But this structure did not exist prior to creation.

I don't know what real means; I might call it real depending on one's definition. I definitely wouldn't call it immaterial (though it's not material either). We access it by construction: apply relevant rules and discover their consequences. Two people probing this structure are equally constrained by the requirements of consistency. There is no Benacerraf-style access problem.