"In science, the credit goes to the man who convinces the world, not to the man to whom the idea first occurs."
Language is the house of being.
计算理论为理解什么可以计算、什么不能计算提供了基础。