Hacker News new | ask | show | jobs
by neilkk 981 days ago
'trivial' isn't a mathematical concept. If no one has shown why this problem is trivial, it isn't trivial.
1 comments

This problem isn't trivial, but neither are the ones we could already reduce BB(3, 3) to (via Conway's construction).
Some reductions via Conway's method give non-trivial Collatz problems even though other simple techniques show the halting question for those machines to be trivial; the Conway reduction sometimes reduces trivial Turing machines to non-trivial Collatz problems.