@JoshuaZed1 @michael_nielsen @DRMacIver There is some evidence that it is a possibility: work of Kurtz and Simon, building on ideas of Conway, shows that a natural generalisation of Collatz is undecidable: https://t.co/szCfXoAHEZ
Theory and Applications of Models of Computation
Springer Science & Business Media