计算复杂性的五十年：王浩与计算理论
综合文献
2022-06-14 v1
摘要
如果说图灵1936年的开创性论文奠定了计算理论（ToC）的基础，那么毫不夸张地说，Cook于1971年发表的论文“定理证明过程的复杂性”[4]开创了计算复杂性的研究。因此，若从Cook的文章算起，计算复杂性作为一个独立的研究领域，如今（2021年）已有50年历史。这一年恰逢Cook的导师、最重要的逻辑学家之一王浩的百年诞辰。本文追溯计算复杂性的起源，同时试图梳理王浩在这一过程中所起的关键作用。
引用
@article{arxiv.2206.05274,
title = {50 Years of Computational Complexity: Hao Wang and the Theory of Computation},
author = {Nick Zhang},
journal= {arXiv preprint arXiv:2206.05274},
year = {2022}
}