Music and letters are the two wings of the same spirit.
Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.
数学的本质在于它的自由。