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.
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.