I agree that we haven’t found one (extremely confident!). I am not sure how metaphysically objective you are looking for: I expect that part of what humans look for is a ‘metaphysically singled concept’ (besides practicality), something like good math abstractions to handle the space of proofs, though it may only work if you add on a ‘terminal’/‘prior’ weighting for interestingness.
Are there really whole swaths of completely uninteresting ZFC string manipulation theories? I just don’t know. Alternatively: would aliens also have group theory? I think: probably!
Oh, I plan to post on the topic of alien math. But in short—aliens are going to be guided by beauty/interestingness/utility for the same reason evolution pushed humans to value them, so a lot of our math could intersect (but you still need aliens or humans to pluck out those valuable math bits, you can’t force math look at itself hard enough and present those parts to you).
And they would have group theory because our universe is just full of symmetries.
Even if our universe was not, I expect groups to be discovered by aliens regardless.
I’m not saying that something with no info to point it at the sorts of things humans would care about would get close (e.g. the aliens get data about the same universe we got data from), only that a core part of what math humans find interesting will end up being something simple and ‘singled out’.
Tangentially I don’t think of group theory as fundamentally being about symmetry, though I see symmetry as being about groups. that is, that symmetry is well modeled by groups, but groups are not fundamentally about them.
Instead I think of it simply as a generalization of grade school algebra, asking when you can do things like xy = z → x=z/y. Thus, rings and fields, which are also not about symmetry, and instead are about generalized grade school algebra.
In a universe where symmetries weren’t so fundamental to physics but you still had arithmetic being useful for world modelling, I would expect life there to invent polynomials, symbolic algebra, and abstract algebra.
I agree that we haven’t found one (extremely confident!). I am not sure how metaphysically objective you are looking for: I expect that part of what humans look for is a ‘metaphysically singled concept’ (besides practicality), something like good math abstractions to handle the space of proofs, though it may only work if you add on a ‘terminal’/‘prior’ weighting for interestingness.
Are there really whole swaths of completely uninteresting ZFC string manipulation theories? I just don’t know. Alternatively: would aliens also have group theory? I think: probably!
Oh, I plan to post on the topic of alien math. But in short—aliens are going to be guided by beauty/interestingness/utility for the same reason evolution pushed humans to value them, so a lot of our math could intersect (but you still need aliens or humans to pluck out those valuable math bits, you can’t force math look at itself hard enough and present those parts to you).
And they would have group theory because our universe is just full of symmetries.
Even if our universe was not, I expect groups to be discovered by aliens regardless.
I’m not saying that something with no info to point it at the sorts of things humans would care about would get close (e.g. the aliens get data about the same universe we got data from), only that a core part of what math humans find interesting will end up being something simple and ‘singled out’.
Tangentially I don’t think of group theory as fundamentally being about symmetry, though I see symmetry as being about groups. that is, that symmetry is well modeled by groups, but groups are not fundamentally about them.
Instead I think of it simply as a generalization of grade school algebra, asking when you can do things like xy = z → x=z/y. Thus, rings and fields, which are also not about symmetry, and instead are about generalized grade school algebra.
In a universe where symmetries weren’t so fundamental to physics but you still had arithmetic being useful for world modelling, I would expect life there to invent polynomials, symbolic algebra, and abstract algebra.