this post was submitted on 18 Jul 2023
266 points (91.8% liked)
math
804 readers
1 users here now
General community for all things mathematics on @lemmy.world
Submit link and text posts about anything at all related to mathematics.
Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Complicated math generally contains a lot more explicit definitions of the variables involved, either in English or with previously established notation. Writing proofs is more about communicating the result than it is proving it. In that sense it is similar to programming with an emphasis on maintainability.
Sure, the variables have explicit definitions somewhere, but it still requires you to go back and reference them every time you forget what y stood for.
With more verbose identifiers like in code, you don't need these reminders. The cognitive load is reduced, because you no longer need to hold a table in your head that correlates these random letters with their definitions.
I assure you the cognitive load would not be reduced. It would just be less readable.