He is truly a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science.
他是理论计算机科学领域里真正的英雄；他在解决某些悬而未决的科学问题上的勇气和创造力是人们学习的楷模。
A computer can be made to do all the problems that its human operator could do if he had unlimited time to make his computations.
计算机能解出的题目，操作人员如不受时间限制进行计算，也都能解出。
A computer can be made to do all the problems that its human operator could do if he had unlimited time to make his computations.
计算机能解出的题目，操作人员如不受时间限制进行计算，也都能解出。
应用推荐