Comment by cpill

doesn't this imply it would solve the halting problem?