3 ms·
It's kinda sad that formalism here is far less clearer than natural language. I often wonder if instead of formalisms, mathematicians should just have used atte
by The_rationalist 7y ago
It's kinda sad that formalism here is far less clearer than natural language.
I often wonder if instead of formalisms, mathematicians should just have used attempto controlled English.
- lonelappde 7y agoThey tried that before the nineteenth century and it stymied progress. Imagine multiplying just two-digit numbers without any notation.
- The_rationalist 7y agoThey didn't tried attempto controlled English in the nineteenth century as it only exists since end of twenty century. Imagine multiplying just two-digit numbers without any notation I agree, notation can be useful for concision. Far less for clarity. Instead of a black or white thinking, I'm wishing that mathematicians use more well defined English in their proof, but still use notation where it is clear and more concise.