计算机只是一种工具,它的音乐是思想。
A mathematician's intuition is as important as rigorous proof.