For almost a century, we’ve known that any single formal system powerful enough to handle basic arithmetic will always leave some simple number problems unsolved. This paper proposes a different approach: instead of relying on one system, we use a family of systems, each strong in its own range, that together can decide all the “simple” arithmetic questions like Goldbach’s conjecture or the twin prime conjecture. The paper calls these simple problems SSDP, outlines why this idea doesn’t break Gödel’s theorems, and lays out a long‑term research programme to make the idea precise.
Brian Shen (Sun,) studied this question.