由狭义相对论与不可判定性导出的相对 Church-Turing-Deutsch 论题
计算复杂性
2022-06-15 v1 人工智能
量子物理
摘要
从图灵 1950 年的开创性工作开始，人工智能提出意识可由图灵机模拟。这暗示了一种潜在万有理论，其中宇宙是计算机上的模拟，这就引出了我们能否证明自己存在于模拟中的问题。本工作中，我们构造了一个相对计算模型，其中可计算的局部机器由全局经典图灵机模拟。我们表明，局部机器计算其全局模拟器的模拟性质的问题，在与停机问题相同的意义下是不可判定的。进而，我们证明计算全局模拟器累积的时间、空间或误差均为模拟性质，因此不可判定。这些模拟性质在相对模型中产生了狭义相对论效应，我们利用其构造了一个相对 Church-Turing-Deutsch 论题：全局经典图灵机为局部机器计算量子力学，且具有与我们宇宙中体验到的相同常数时间局部计算复杂度。
引用
@article{arxiv.2206.06419,
title = {A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability},
author = {Blake Wilson and Ethan Dickey and Vaishnavi Iyer and Sabre Kais},
journal= {arXiv preprint arXiv:2206.06419},
year = {2022}
}
备注
All feedback and comments will be greatly appreciated