"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
不确定性原理不是我们知识的限制，而是自然界的基本属性。
Science progresses by constantly questioning and refining our understanding.
"Theologians talk about a prevenient grace that precedes grace itself and allows us to accept it. I think there must also be a prevenient courage that allows us to be brave - that is, to acknowledge that there is more beauty than our eyes can bear, that precious things have been put into our hands and to do nothing to honor them is to do great harm."
The most important thing is to enjoy your life—to be happy—it's all that matters.
You have to believe in your idea and be willing to persist through a lot of challenges.