3 ms·
I am also wondering about that. I guess it is just one way to prove termination, it might be the case that this approach does not work for the Collatz conjectur
by auggierose 6y ago
I am also wondering about that. I guess it is just one way to prove termination, it might be the case that this approach does not work for the Collatz conjecture.
- praptak 6y agoThere definitely exist rewriting systems where no size of a matrix works. String rewriting is in general undecidable, so matrices, being enumerable, can't prove every system.