Erdős problem 1113 · problems.science

Erdős Problem 1113. Do there exist Sierpiński numbers that possess no finite covering set of primes?

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1113.lean

Retained formal statement1 of 3

Erdős Problem 1113. Do there exist Sierpiński numbers that possess no finite covering set of primes?

Erdős and Graham [ErGr80] conjectured that the answer is yes. A negative answer would imply that there are infinitely many Fermat primes.

FormalConjectures/ErdosProblems/1113.leanErdos1113.erdos_11131 lineExact file

1sorry ↔ ∃ k, k.IsSierpinskiNumber ∧ ¬Erdos1113.HasFinitePrimeCoveringSet k

OpenStatement only, no proof