Yeah, I'm not sure what the exactly correct formulation is. Your formulation may retain the spirit, but be more technically correct. I guess the important poi

Yeah, I'm not sure what the exactly correct formulation is. Your formulation may retain the spirit, but be more technically correct. I guess the important point is that I like to define free will as "the ability to make a decision faster than any available entity can predict the result of the decision." A computer running a some program doesn't have free will, because I can beat it to its own decision with more or faster computers. Also, I can force it to solve problems to which I already know the answer. Interestingly, I may have free will today, but "lose" it tomorrow, when a sufficiently advanced simulation of my mind is released.