The future of computing lies in the development of systems that can verify their own correctness.
Don't be afraid of failure, because every failure is practice for success.
数学家的工作大多是孤独的追求,但它建立在许多其他人的工作之上。
蠢人做蠢事,也可理解为傻人有傻福。
预测未来的最好方法就是发明它。
The truth is not always the best basis for happiness.