Cognitive load when learning mathematics

This page lists some math-specific stuff relating to cognitive load.

Some things that increase strain on working memory:

• If a proof has steps $P_1,P_2,P_3,\dots ,P_n$ the proof is much easier to follow when the justifications for a step $P_j$ are close to $P_j$. When much earlier stages of the proof are required to understand the current step, the reader has to go back to remember what was done early on.
• Level of nesting: nested sums, nested products, nested quantifiers, nested loops, combinations of nesting.