物理邱奇论题与对初始条件的敏感性
计算机科学中的逻辑
2023-04-27 v1
摘要
物理邱奇论题是关于自然的一个论题，它表达说所有能被物理系统——一台机器——所计算的东西，在计算性理论的意义下都是可计算的。初看起来，这一论题似乎与自然中存在的混沌动力系统相矛盾，即那些由于其对于初始条件的敏感性而演化无法被“计算”的系统。本札记的目标是表明存在既可计算又混沌的动力系统，从而自然中混沌动力系统的存在本身并不是对物理邱奇论题的反驳。因此，混沌似乎与可计算性相容，正如它与确定性相容一样。
引用
@article{arxiv.2304.13318,
title = {The physical Church thesis and the sensitivity to initial conditions},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2304.13318},
year = {2023}
}