Yeah, this is definitely at least a semi-decidable problem. By following the process of the video in the beginning you can generate all values that converge towards 1, and you will reach each value at some point. Now, all that is missing is the other direction. How would you test if a number doesn't converge towards 0 in an algorithmic way that always finishes?