4 ms·
All integer sets of any length would be enumerable, but that doesn't necessarily mean that one of them can be cubed and added/subtracted to make a given integer
by travisoneill1 7y ago
All integer sets of any length would be enumerable, but that doesn't necessarily mean that one of them can be cubed and added/subtracted to make a given integer.
- jjtheblunt 7y agoAgreed, though enumeration of triples means you can enumerate sums of cubes of the triples...it just would take literally forever to enumerate them.
- baddox 7y agoYou can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.
- jjtheblunt 7y agoYep, and how tedious that would be!