对验证的渴望是可以理解的,但并不总能得到满足。
当计算机科学被应用于解决现实世界的问题时,其真正的潜力才能实现。