An Automated Approach to the Collatz Conjecture

Emre Yolcu, Scott Aaronson, Marijn J. H. Heule

We explore the Collatz conjecture and its variants through the lens of termination of string rewriting. We construct a rewriting system that simulates the iterated application of t…