01 · 计算人生
成果背后的人
理查德·斯特恩斯在通用电气与尤里斯·哈特马尼斯共同奠定计算复杂性理论基础。他们把时间与空间明确作为分类计算问题的数学资源。斯特恩斯还研究自动机、算法和博弈论。他后来在纽约州立大学奥尔巴尼分校任教，推动计算机科学研究与教育，并担任系主任。
理解这项贡献
尤里斯·哈特马尼斯和理查德·斯特恩斯奠定了计算复杂性理论的基础。他们不只问问题能否计算，还研究输入增大时需要多少资源。他们的工作帮助揭示，给予更多计算时间，确实可能增加机器能够解决的问题。
为什么重要
基于资源的分类，为比较问题和理解计算边界提供了语言。