每一个设计都是对连续过程中一个具体时刻的严格尝试。
I hope it will not be long before we have a machine that will be able to solve all mathematical problems.