我们需要思考如何让计算机以更直观和自然的方式为我们工作。
在计算机科学领域,数学严谨性是构建可靠高效算法的基石。
对于那些有为而生的人来说,没有什么是无足轻重的。
We must be guardians of the ocean, not plunderers.
Start by doing what's necessary; then do what's possible; and suddenly you are doing the impossible.
从做必要的事情开始;然后做可能的事情;突然间你就在做不可能的事情了。