Church–Turing–Deutsch-Wolfram 原理:通用计算机可模拟一切物理过程
burny_tech · x · 2026-11-10
博主科普了计算机科学与量子物理中的 Church–Turing–Deutsch-Wolfram 原理(CTDW)——丘奇-图灵论题的一种更强的物理化表述,核心主张是:一台通用计算设备可以模拟一切物理过程。
- 该原理由 Stephen Wolfram 与 David Deutsch 于 1985 年分别独立提出。Wolfram 在《Undecidability and Intractability in Theoretical Physics》中写道:通用计算机的计算能力不弱于任何物理可实现系统,因此能模拟任何物理系统;前提是物理系统信息密度有限、信息传输速率有限。
- Deutsch 则指出经典物理依赖实数概念,而图灵机只能表示可计算实数,故无法模拟;他提出量子计算机可能在量子力学完整描述物理过程的前提下满足该原理。
- 更早版本可追溯至图灵的学生 Robin Gandy(1980),后来还有面向拓扑量子计算的 Freedman–Church–Turing 论题,关注的是计算复杂性而非可计算性。
「研究」频道最新
- VIALS-AA 基准：Claude Fable 5.2 以 67% 居首，工具调用远超对手 — ArtificialAnlys · 2026-11-10
- 西弗吉尼亚大学学者分享十年脑白质束成像研究成果 — PTenigma · 2026-11-10
- 作者晒 pSTAT1 与 importin alpha 5 结合的冷冻电镜结构(11GJ) — chaitjo · 2026-11-10
- ARLoop 发布:1.2B 循环 Transformer 全基准超越 Huginn-3.5B — hhsun1 · 2026-11-10
- RAGCap-Bench:细粒度评测 Agentic RAG 中间能力的新基准 — kalyan_kpl · 2026-11-10
- RBA 让 LLaVA-OneVision-2 训练无损提速 3 倍，已合入主仓库 — liuziwei7 · 2026-11-10