Agreed, though enumeration of triples means you can enumerate sums of cubes of t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jjtheblunt on Sept 6, 2019 \| parent \| context \| favorite \| on: 42 is found to be the sum of three cubes Agreed, though enumeration of triples means you can enumerate sums of cubes of the triples...it just would take literally forever to enumerate them.

tshaddox on Sept 6, 2019 [–]

You can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.

jjtheblunt on Sept 6, 2019 | [–]

Yep, and how tedious that would be!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact