最大的风险是不冒任何风险。
"In computer science, we are always trying to find the balance between expressiveness and tractability."
The best way to predict the future is to create it.
The development of formal systems has revolutionized our understanding of mathematics.
Don't let anyone tell you that you can't do something