This is following in the line of this question asking what the difference between free-will and randomness/indeterminism is:
Now, I can describe both determinism and randomness in a mathematically precise manner. Yet, free-will is supposedly neither deterministic nor random.
Past is a past state. Curr is the current state. Futr is the future state. Determinism: P(Curr|Past) = 1 Randomness: P(Curr|Past) = f(Curr, Past) < 1, for all Curr, Past, for some f Free-will?: P(Curr|Past) < P(Curr|Future)
So, for instance, the digits of pi are not random, because each new digit calculated is fully determined by the prior steps of the calculation.
What is a mathematically precise description of free-will that distinguishes it from determinism and randomness? Is my definition adequate?
And if you say there is no such description possible, you must also prove that in a mathematically precise way :)