关于异常存在性,实数情况

摘要:独立公设(IP)是一个有限的Church-Turing论文,它指出数学序列与物理序列是独立的。将观测建模为无限的实数序列,IP暗示着异常的存在。

作者:Samuel Epstein

论文ID:2303.05614

分类:Computational Complexity

分类简称:cs.CC

提交时间:2023-03-13

PDF 下载: 英文版 中文版pdf翻译中