Euclid's theorem on the infinitude of primes: a historical survey of its proofs (300 B.C.--2017) and another new proof

In this article, we provide a comprehensive historical survey of 183 different proofs of famous Euclid's theorem on the infinitude of prime numbers. The author is trying to collect almost all the known proofs on infinitude of primes, including some proofs that can be easily obtained as consequences of some known problems or divisibility properties. Furthermore, here are listed numerous elementary proofs of the infinitude of primes in different arithmetic progressions. All the references concerning the proofs of Euclid's theorem that use similar methods and ideas are exposed subsequently. Namely, presented proofs are divided into 8 subsections of Section 2 in dependence of the methods that are used in them. {\bf Related new 14 proofs (2012-2017) are given in the last subsection of Section 2.} In the next section, we survey mainly elementary proofs of the infinitude of primes in different arithmetic progressions. Presented proofs are special cases of Dirichlet's theorem. In Section 4, we give a new simple "Euclidean's proof" of the infinitude of primes.Comment: 70 pages. In this extended third version of the article, 14 new proofs of the infnitude of primes are added (2012-2017

A variant of the Euclid-Mullin sequence containing every prime

We consider a generalization of Euclid's proof of the infinitude of primes and show that it leads to variants of the Euclid-Mullin sequence that provably contain every prime number.Comment: 5 pages, submitte