4 ms·
How long until there’s an automated daily submission to OEIS of the first 180 integers not covered by an OEIS sequence.
by kimburgess 4y ago
How long until there’s an automated daily submission to OEIS of the first 180 integers not covered by an OEIS sequence.
- CJefferson 4y agoIt 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.