In mathematics, the art of proposing a question must be held of higher value than solving it.
在数学中,提出问题的艺术必须比解决问题更有价值。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
Education begins the gentleman, but reading, good company and reflection must finish him.
"Writing is a way of thinking, a way of understanding the world."