Skip to content

Erdős problem 1113

Start work

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

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

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
sorry ↔ ∃ k, k.IsSierpinskiNumber ∧ ¬Erdos1113.HasFinitePrimeCoveringSet k
OpenStatement only, no proof