物理邱奇-图灵论题与实数上的非确定性计算
计算机科学中的逻辑
2023-05-03 v1
摘要
在实数上，半可判定关系与可有效枚举关系的概念有所不同。后者似乎才足以以算法方式表达非确定性物理理论，其中量值由实数表示。
引用
@article{arxiv.2305.01432,
title = {The physical Church-Turing thesis and non deterministic computation over the real numbers},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2305.01432},
year = {2023}
}