News for hackers. Stuff that matters.
Re:The Dawn of Formalized Mathematics by ukj on Sunday July 04, 2021 @05:52AM (#27728464)
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.

There are no comments on this comment yet.