当你拒绝你一无所知的东西时,这是最高形式的无知。
如果你不能保持灵活的思路,就会抓狂,忽视解决问题的其他可能性。
我被那些处于十字路口的角色所吸引。
一个想法的价值在于它的使用。
科学是一个微分方程。宗教是一个边界条件。
Understanding the limits of computation is as important as expanding its capabilities.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The soul is the living bridge between the spirit and the body.