黎曼假设的可判定性
数论
2024-12-04 v3
摘要
运用递归函数理论的一项结果以及Takeuti的复分析结果（该复分析基于类型理论及Kreisel的工作，并在假设Riemann zeta函数的所有临界零点皆为单零点的情况下，给出了一阶Peano算术（PA）的保守扩张），我们证明了RH在PA中是可判定的。
引用
@article{arxiv.2312.11565,
title = {The Decidability of the Riemann Hypothesis},
author = {Kevin Broughan},
journal= {arXiv preprint arXiv:2312.11565},
year = {2024}
}
备注
Comment: have added information in the introduction on what is meant by "decidability", indicating that it is comparable to that used in the famous DPRM negative solution to Hilbert's 10th problem. References for that theorem have been added