聪明的人谈现在,愚蠢的人谈过去,傻子才谈未来。
一本书应该像一场冒险,即使它只是关于在家的一天。
消化管代表了一条穿过整个生物体的管道。
我已经不再年轻,不再无所不知。
善行本身就是一种幸福的行为。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
A mathematician's work is to find patterns where others see chaos.