关于 Heyking 算术中质数猜想可实现性的研究
逻辑
2026-01-09 v2 计算机科学中的逻辑
摘要
我们证明，没有任何全总函数可以均匀地将 质数性质转化为显式的 证据，而不会违反 中的正规化。该论证通过三个互补的翻译来进行：几何解释中，合成性和质数性对应于局部和全局包装配置；证明论分析显示在均匀提取 证据的不可能性；递归论表述将这些约束与 中不存在全量子函数的性质相联系。随后在构造逻辑中的形式分析之后，给出解释这些结果的直觉性见解。
引用
@article{arxiv.2511.07774,
title = {On the Realizability of Prime Conjectures in Heyting Arithmetic},
author = {Milan Rosko},
journal= {arXiv preprint arXiv:2511.07774},
year = {2026}
}
备注
28 pages, 6 figures. Integrates constructive arithmetic, realizability semantics, and geometric logic to analyze the logical boundary of primality in context of the arithmetical hierarchy