[ukj]

Mathematics in isolation is a social anti-pattern.

Individuals keep arriving at the same conclusions, but they invent different notations/languages to express those results. Communication stalls. Tribes form around languages/styles of expression.

It's much much worse than wheel re-inventing too. It takes a very long time to figure out that two Mathematical constructions/notations are equivalent.

It took decades for somebody to notice that proofs are programs.