论文部分内容阅读
1993年度ACM图灵奖由二位作者分享。本刊1995年№2发表了Juris Hartmanis的讲演稿。他的不平凡经历和精辟而独到的见解,引起了广泛兴趣,今应读者要求,又将R.E.Stearns的讲演稿全文译出,以飨读者。这又是一个从数学家演变成计算机科学家的经历。讲到了(数学)对策论讨论竞争的本质与计算机科学讨论计算的本质的内在联系。文中对计算中的难度概念作了透彻分析,把确定性时间与难度证据之间的联系作了重要概括。这对深刻理解计算的本质很有参考价值。