Migillope

u/Migillope@lemmy.world
1 posts · 7 comments

Recent posts

Recent comments

on Proof by obviousness · c/mathmemes · 1 pts · 3y

Depends on what you mean by "really complicated."

If you know Brouwer's fixed point theorem in the plane and do not consider that to be complicated, then no. The curious can DM me and I will share a PDF of this little article (it is three pages).

If you know some basic Algebraic Topology (homology), Hatcher gives a proof in section 2.B for the theorem (actually, he proves something even stronger) in a little under a page.

So what is the point of congregating on a general purpose instance? I ask this because of the snippet from the root comment:

The problem is that users tend to go where other users are (otherwise why go there)

If everything is visible from any (federated) instance, why not switch once you encounter slow down? In my comment, I was just clarifying that I understood the premise.