计算受物理定律约束：基于事实的丘奇-图灵论题
本文探讨了丘奇-图灵论题与物理现实之间的关系，指出计算能力本质上受到物理定律的约束。通过分析热力学、量子力学等基本物理规律对信息处理的限制，文章论证了任何实际可行的计算模型都必须遵循物理法则，从而提出了一个基于物理事实修正后的丘奇-图灵论题框架。
背景速读
- 邱奇-图灵论题（Church-Turing thesis）是计算机科学的基础假设之一，核心思想是：任何"可计算的"函数都能被一台图灵机（Turing machine）计算。传统版本讨论的是逻辑极限，而非物理极限。
- 本文提出了一个更强的"基于事实的"版本：将计算视为物理过程，认为实际可计算的范围受制于宇宙的基本物理定律（如光速、热力学定律、量子力学限制）。
- 这篇讨论出现在AI和量子计算快速发展的时期——人们开始追问：是否存在物理上不可行的计算，哪怕它在逻辑上是"可计算的"？
- 相关人物：Alan Turing（图灵，计算机科学之父）、Alonzo Church（邱奇，λ演算提出者）；相关概念：图灵机、不可判定性（undecidability）、量子计算、Landauer原理（擦除信息必然耗能）。