Scifaro

中文

素数定理与狄利克雷定理的形式化

逻辑 2016-08-09 v1

作者: Mario Carneiro

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在 Metamath 证明系统中呈现了关于等差数列中素数无穷性的狄利克雷定理的形式化，以及素数定理的 Selberg 初等证明，该定理断言小于 $x$ 的素数数量 $\pi(x)$ 渐近于 $x/\log x$ 。

关键词

素数定理狄利克雷定理形式化 metamath selberg 证明等差数列证明系统

引用

@article{arxiv.1608.02029,
  title  = {Formalization of the prime number theorem and Dirichlet's theorem},
  author = {Mario Carneiro},
  journal= {arXiv preprint arXiv:1608.02029},
  year   = {2016}
}

备注

4 pages, 1 figure, published at CICM 2016, FMM track