2000 character limit reached
Formalization of the prime number theorem and Dirichlet's theorem
Published 5 Aug 2016 in math.LO | (1608.02029v1)
Abstract: We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which asserts that the number $\pi(x)$ of primes less than $x$ is asymptotic to $x/\log x$, within the proof system Metamath.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.