2-tag system conjugate to De Mol (2008) computing the accelerated Collatz map T. Halting of B^n is open (≡ 3n+1). Proofs, cycle catalog to length 30, binary analogues. MEPhI Hod Mysli 2026.
python rust mathematics discrete-mathematics formal-methods dynamical-systems combinatorics theoretical-computer-science formal-verification number-theory collatz collatz-conjecture cycle-detection computability tag-systems lean4 rewriting-systems 3n-plus-1 post-tag-system cyclic-tag-system
-
Updated
Oct 2, 2026 - Python