我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
I'm not interested in playing the villain. I'm interested in playing the human.
数学的快乐来自创造的行为,而不仅仅是结果。