Re:Obsolete trig functions and why we don't use them anymore...
by eru on Friday December 04, 2020 @04:23AM
(#25300505)
Yes, I know about the unit circle.
But that's just a way to embed some of group theory. It doesn't actually help you much.
(It's similar to how you can use eg set theory to construct the integers. It's possible, but doesn't actually help you prove anything about interesting about integers that you wouldn't have been able to prove without embedding them like this.)
> I mean, deriving it all is hard because group theory is hard. I'm not sure if its because the tools "aren't there". Some super-AI or super-human probably can derive it all from those given facts.
Yes, but that task wouldn't be made easier by this approach compared to starting from just the group theory axioms instead.
But that's just a way to embed some of group theory. It doesn't actually help you much.
(It's similar to how you can use eg set theory to construct the integers. It's possible, but doesn't actually help you prove anything about interesting about integers that you wouldn't have been able to prove without embedding them like this.)
> I mean, deriving it all is hard because group theory is hard. I'm not sure if its because the tools "aren't there". Some super-AI or super-human probably can derive it all from those given facts.
Yes, but that task wouldn't be made easier by this approach compared to starting from just the group theory axioms instead.