• Kogasa
    link
    fedilink
    21 year ago

    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.

    • @beefcat@lemmy.world
      link
      fedilink
      11 year ago

      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.

      • Kogasa
        link
        fedilink
        11 year ago

        I assure you the cognitive load would not be reduced. It would just be less readable.