English

A Conjecture Equivalent to the Collatz Conjecture

Logic in Computer Science 2021-08-17 v1

Abstract

We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.

Keywords

Cite

@article{arxiv.2108.06922,
  title  = {A Conjecture Equivalent to the Collatz Conjecture},
  author = {Ashish Tiwari},
  journal= {arXiv preprint arXiv:2108.06922},
  year   = {2021}
}
R2 v1 2026-06-24T05:08:26.763Z