Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I like to think of complex numbers as “just” the even subset of the two dimensional geometric algebra.

Almost every other intuition, application, and quirk of them just pops right out of that statement. The extensions to the quarternions, etc… all end up described by a single consistent algebra.

It’s as if computer graphics was the first and only application of vector and matrix algebra and people kept writing articles about “what makes vectors of three real numbers so special?” while being blithely unaware of the vast space that they’re a tiny subspace of.





Clifford algebras are harder to philosophically motivate than complex numbers, so you've reduced a hard problem to a harder problem.

They're not objectively harder to motivate, just preferentially harder for people who aren't interested in them. But they're extremely interesting. They offer a surface for modelling all kinds of geometrical relationships very succinctly, semantically anyway.

This is also super interesting and I don't know why anyone would be uninterested in it philosophically: https://en.wikipedia.org/wiki/Classification_of_Clifford_alg...


There is such a thing of using overly simple abstractions, which can be especially tempting when there's special cases at "low `n`". This is common in the 1D, 2D and 3D cases and then falls apart as soon as something like 4D Special Relativity comes along.

This phenomenon is not precisely named, but "low-dimensional accidents", "exceptional isomorphisms", or "dimensional exceptionalism" are close.

Something that drives me up the wall -- as someone who has studied both computer science and physics -- is that the latter has endless violations of strong typing. I.e.: rotations or vibrations are invariably "swept under the rug" of complex numbers, losing clarity and generality in the process.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: