FRACTRAN is an algorithm applied to a given list , , ..., of positive rational numbers.
Given a starting positive integer, the FRACTRAN algorithm proceeds by repeatedly multiplying
the integer at a given stage by the first element that yields an integerproduct. The algorithm terminates when there is no such
.
The list
with starting integer generates a sequence 2, 15,
825, 725, 1925, 2275, 425, 390, 330, 290, 770, ... (OEIS A007542).
Conway (1987, pp. 4 and 9-10) showed that this sequence
has an amazing connection with prime numbers, and
in fact is a generator for the primes. In particular,
the only powers of two (other than 2 itself) that occur in this sequence
are those with prime exponent: , ,
, , ....
Conway, J. H. "Unpredictable Iterations." In Proceedings of the 1972 Number Theory Conference Held at the University of
Colorado, Boulder, Colo., Aug. 14-18, 1972. Boulder, CO: University of Colorado,
pp. 49-52, 1972.Conway, J. H. "Fractran: A Simple Universal
Programming Language for Arithmetic." Ch. 2 in Open
Problems in Communication and Computation (Ed. T. M. Cover and
B. Gopinath). New York: Springer-Verlag, pp. 4-26, 1987.Veritasium.
"The Simplest Math Problem No One Can Solve-Collatz Conjecture." Jul. 30,
2021. https://www.youtube.com/watch?v=094y1Z2wpJg.Sloane,
N. J. A. Sequence A007542/M2084
in "The On-Line Encyclopedia of Integer Sequences."