I think The Halting State problem is not the same as (in)determinism because it is the inputs to the program which cannot be predicted, not the behaviour of the program. So if always given the same inputs the program would behave in the same way. @leo @pluralistic #ai #intelligentmachines