计算理论为理解什么可以计算、什么不能计算提供了基础。
I think the best way to predict the future is to create it.
A esperança é a última que morre, mas é a primeira a renascer.