《在广州石围塘检阅滇均的演说》(1924年4月4日)
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
The Langlands program is a challenge to the boundaries of human knowledge.