计算机科学离不开计算机？理论学者重新审视学科的机器根基

fortnow · x · 2026-08-31

知名理论计算机学者 Lance Fortnow 转发 Quanta Magazine 长文《计算机科学需要计算机吗？》并评论：「计算机科学就是关于计算机的——只是你需要一个非常宽泛的『计算机』定义。」文章从 Dijkstra 的名言「计算机科学之于计算机，正如天文学之于望远镜」切入，探讨复杂性理论的核心问题——为什么有些问题似乎不存在快速算法——初看并不深奥，但只有借助计算机探索时，其深度才显现；理论计算机科学的许多问题，正是不借助计算机会被提出的问题。