3 ms·
This problem isn't trivial, but neither are the ones we could already reduce BB(3, 3) to (via Conway's construction).
by FartyMcFarter 3y ago
This 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.