在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
“在科学中,重要的不是获得新的事实,而是发现思考它们的新方法。”
我不需要王冠来证明我是国王。
Real freedom does not mean that you can do anything you want, rather you can reject what you do not want to do.
我认为音乐最棒的地方是它能让你感受到你甚至不知道自己能感受到的东西。