However, in this moment, this is just my own personal view as a result of thinking too much. 🙂 ]]>

“The one reason is that the calculational proofs are almost always more effective than all informal alternatives, the other reason is that the design of calculational proofs seems much more teachable than the elusive art of discovering an informal proof.”

How Computing Science created a new mathematical style, https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1073.html ]]>

BTW, thanks for the really useful and understandable information.

Regards,

MV

]]>Isaac Hall ]]>