我们不是朋克乐队,我们不是流行乐队,我们是U2。
计算理论为理解什么可以计算、什么不能计算提供了基础。