Comment by noosphr
13 hours ago
I've spend a good chunk of time formalising mathematics.
Doing formalized mathematics is as intelligent as multiplying numbers together.
The only reason why it's so hard now is that the standard notation is the equivalent of Roman numerals.
When you start using a sane metalanguage, and not just augmrnted English, to do proofs you gain the same increase in capabilities as going from word equations to algebra.
>the standard notation is the equivalent of Roman numerals.
But the Roman numerals are easy. I was able to use them before 1st grade and I can't touch any "standard notation" to this day.