Scifaro

中文

论异常的存在性：实数情形

计算复杂性 2024-05-14 v2

作者: Samuel Epstein

在 arXiv 上查看 ↗ PDF ↗

摘要

独立公设(IP)是一种有限化的 Church-Turing 论题，称数学序列独立于物理序列。将观测建模为实数的无穷序列，IP 蕴含异常的存在性。

关键词

独立公设 Church-Turing 论题异常无穷序列实数有限化

引用

@article{arxiv.2303.05614,
  title  = {On the Existence of Anomalies, The Reals Case},
  author = {Samuel Epstein},
  journal= {arXiv preprint arXiv:2303.05614},
  year   = {2024}
}