3 ms·
Agreed, though enumeration of triples means you can enumerate sums of cubes of the triples...it just would take literally forever to enumerate them.
by jjtheblunt 7y ago
Agreed, 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!