形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The worst thing you can do is to pretend to be something you're not.
The deeper you go into mathematics, the more you realize how much remains unknown.
一个奇怪的事实是,根据从生物学或地球物理学的角度出发,对地球史前条件会得出完全相反的结论,这反映了我们目前知识的不完整状态。
【释义】凯根打破童年决定论:快乐童年未必护航成年,而经历过黑暗的孩子反而可能锻造韧性。
The only way to get through pain is to go through it.