I might be mistaken, but it seems to me that the predictor should also be able to solve the halting problem. Additionally, if the entity to which the source-cod

I might be mistaken, but it seems to me that the predictor should also be able to solve the halting problem. Additionally, if the entity to which the source-code is a descriptor for is so simple that they can be predicted without full simulation, can we really say they had free will?