4 ms·
'trivial' isn't a mathematical concept. If no one has shown why this problem is trivial, it isn't trivial.
by neilkk 3y ago
'trivial' isn't a mathematical concept. If no one has shown why this problem is trivial, it isn't trivial.
- FartyMcFarter 3y agoThis problem isn't trivial, but neither are the ones we could already reduce BB(3, 3) to (via Conway's construction).
- neilkk 3y agoSome 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.
- deleted 3y ago[deleted]