The process of verification is as important as the process of creation in computer science.
在计算机科学中,验证过程与创造过程同样重要。
最优秀的科学家是那些在自然的复杂性面前保持谦逊的人。
我们今天的每一个决定都将在未来几十年影响海洋生态系统。
伽罗瓦表示的研究是进入数学隐藏对称性的旅程。
我从不考虑可能出错的事情,只专注于需要做对的事情。