TY - RPRT TI - Simulation of the Collatz 3x+1 function by Turing machines AU - Pascal Michel PY - 2014 UR - https://arxiv.org/abs/1409.7322 ID - 1409.7322 ER -