Math notation focuses on simplification, not optimization, unlike in computer programming where efficiency is crucial.
In math, statements are mostly immutable and remain so until proven true, contrasting with programs that are mutable to accommodate bugs and user requests.
Python initially succeeded with dynamic typing for prototyping but has gradually shifted towards typed Python, reflecting a broader trend in the language's evolution.