4 ms·
It would be rejected, the OEIS is for sequences with a well-defined mathematical meaning.
by CJefferson 4y ago
It would be rejected, the OEIS is for sequences with a well-defined mathematical meaning.
- kimburgess 4y ago{ a∈ℤ | ∀S∈O a∉S } where O is defined to be set of all OIES listings.
- CJefferson 4y agoYou'd have to clarify to "OIES as of March 8th, 2023, at midnight GMT" (or something similar). Then you need to import a full copy of that OIES (as definitions should be self-contained as much as possible). That importing is what would stop you -- the definition of the problem would end up far too huge.