Skip to content

Erdős problem 477

Does there exist an integer polynomial ff of degree at least two and a set A⊆ZA \subseteq \mathbb{Z} such that every integer has a unique representation n=a+f(k)n = a + f(k)? A manuscript claims the thirteenth powers admit a tiling complement.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/477.lean

Formal Conjectures

FormalConjectures/ErdosProblems/477.leanErdos477.erdos_4772 linesExact file
True ↔  ∃ f, 2 ≤ f.degree ∧ ∃ A, ∀ (z : ℤ), ∃! ab, ab ∈ A ×ˢ ((fun x => Polynomial.eval x f) '' {n | 0 < n}) ∧ z = ab.1 + ab.2
OpenStatement only, no proof

Reported activity

Reported by these sources. Not reviewed here.

Continue