News for hackers. Stuff that matters.

A comment on 42 is found to be the sum of three cubes. Parent comment

Re:42 is found to be the sum of three cubes by baddox on Friday September 06, 2019 @04:47PM (#20899749)
You can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.
[ Parent | on HN ]
Re:42 is found to be the sum of three cubes by jjtheblunt on Friday September 06, 2019 @05:13PM (#20899955)
Yep, and how tedious that would be!
[ Parent | on HN ]