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.

他是理论计算机科学领域里真正的英雄；他在解决某些悬而未决的科学问题上的勇气和创造力是人们学习的楷模。

youdao

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.

计算机能解出的题目，操作人员如不受时间限制进行计算，也都能解出。

youdao

But I was able to find him in rural Vermont, where, at age 76, he lives with his wife, Joan, and continues to work on complicated math problems and write computer code.

CNN: When sports stats ruin the fun