Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.

In a world with ASI, having that capacity is vital.

Ha, are you invoking something he said prior to discovering Russell's paradox? Which came about because he wanted to show that all of mathematics can be derived from logic about sets, but instead he showed that it couldn't be.

As someone with a math background, I don't see Russell's paradox as some interesting mathematics beyond set theory. It's just an example showing that one should be careful about defining sets.

As someone with a math background, and a logic background, I think Russell's paradox is most interesting, beyond just set theory. It shows us that one should be careful about what exactly a definition is.

Russell's paradox was 1901. Likely afterwards.

I suspect the amount of complexity in mathematics is infinite, so any intelligent being of finite intelligence would be unable to do all of it.

I mean just looking at all the numbers to see which have interesting properties could take a while.

Nb. This isn't about Lie theory.

Say what you will about Peter Thiel, he does have a sense of humor.

By analogy with stacks, my intuition is that Spec(N) still has a one-dimensional geometry, but with a (-1)-dimensional tier from quotienting out the prime points by a semiring action.

Yep, you need category theory to express something as trivial as the definition of a monad.

That’s what category theory does well: broad collections of trivialities in a unified definition.

To be fair, if we're living in a simulation, Jesus does feel a bit like a Chekhov's gun.

Imagine chess played on a board with opposite sides identified, like in the video game Asteroids. Does white have a winning strategy?

In the right dynamical framework, I bet I'm a strange autoregressor.

Lieven Le Bruyn is just in the habit of cataloguing how algebraic geometry culture shows up in unexpected places, eg. http://www.neverendingbooks.org/what-about-simone-weil/ . Surprising to see on Hacker News.