News for hackers. Stuff that matters.
Re:Terry Tao on some desirable properties of mathematical no... by quantdev on Tuesday July 21, 2020 @08:57PM (#23912780)
I'm both a programmer and a mathematician. Mathematics is written in English (or another human language) plus added symbols. The symbols are what we refer to as the notation. It's not comparable to programming language. Here the words are equal to the symbols.

Also, no better notation could help you understand most modern mathematics. There's no better choice of symbols or names that will help you understand Galois theory. You simply need to understand high-school algebra, then group theory, then Galois theory.

Re:Terry Tao on some desirable properties of mathematical no... by JadeNB on Tuesday July 21, 2020 @09:37PM (#23913058)
> There's no better choice of symbols or names that will help you understand Galois theory. You simply need to understand high-school algebra, then group theory, then Galois theory.

This probably isn't completely true—as will be clear to anyone, even a subject expert, who tries to go back and read the original papers. At least part of this is due to fads in notation—in my field, I can easily read the papers of people who do similar work to mine, and struggle with the papers of those who don't, even when they're talking about exactly the same thing—but some of it must be due to genuine improvement.

Re:Terry Tao on some desirable properties of mathematical no... by quantdev on Wednesday July 22, 2020 @10:44AM (#23917550)
Yes, you're right. I should have said, there's no better choice of symbols that will remove the huge set of prerequisites you need to first understand. There isn't as large of a tower of abstractions to understand most codebases.
Re:Terry Tao on some desirable properties of mathematical no... by mmhsieh on Wednesday July 22, 2020 @12:24AM (#23913907)
but put it the other way: can you contrive some extremely bad notation to make it harder to understand Galois theory?