Dear Peter,
Thank you for the interest you show to our discussion, and for showing me that there are points that I have not clarified enough. I am sorry that I say sometimes that "I don't know" or "I don't claim"; I am not trying to be esoteric, nor to intrigue, but only to maintain at minimum the number of hypotheses.
Perhaps Wigner is right when he said that the success of the modern Physics is due to the "irrational effectiveness of mathematics". Maybe the entire Universe is just a mathematical structure, or maybe just some levels of it, as I also said in the introduction of my World theory eprint. In my opinion, we cannot say yet whether the Universe is mathematical in totality, or only partial. Maybe we will know the answer when we will have a Theory of Everything.
If we will have this ToE, and we will see that what we know about the Universe can be described by a mathematical structure, perhaps it will be a special case of the mathematical structure I named World. In this type of ToE, the mind should also be completely described mathematically (this is why it is a ToE). If that World structure is deterministic, with given initial conditions, then the mind processes are forced by the laws and initial conditions, and there is no freedom. If the World structure is indeterministic, then it allows random inputs from time to time, but nor the randomness is freedom. Randomness means only unpredictable choices, but not free choices. This means that both determinism and indeterminism are incompatible with the free-will, if the initial conditions (in order to simplify, I will also name the indeterministic inputs initial conditions, although they start to apply at the moment when the input occurs) are totally random. Assuming that the evolution laws are already given, the only freedom can be in the initial conditions/random inputs. I claim that, if the Universe is mathematical, then the only freedom we may have is to choose the initial conditions. But how can we choose them, since they already are established?
The answer is in the delayed choice experiments: the choice of what observable to measure applies for past events as well as for future ones. In the Smooth version of Quantum Mechanics, I apply a similar idea to propose an approach to explain what seems to be wavefunction collapse, without using discontinuities. The Smooth QM is deterministic, but the initial conditions are chosen with a delay. I think that in both smooth and discontinuous versions of QM, it is present a mechanism that permeates to postpone the choice of initial conditions. The convergence experiment for the free-will is intended to verify if we use this freedom when we make choices.
This is why I said that the randomness is not better than the determinism for the free-will. The determinism and the free-will are independent hypotheses.
Moreover, the Smooth QM is independent of the free-will hypothesis: 1. Smooth QM does not use the observer to explain the collapse. 2. The free-will hypothesis can work as well with the indeterministic QM. The reason why I related them is because in the Smooth QM is contained a mechanism of delayed initial conditions, which helps understanding the idea of the free-will hypothesis, and supports it.
I don't know whether the free-will exists, but the question is important for many of us, because of the feeling of free-will we have. I don't exclude the possibility that science may show someday that there is no free-will, and that it will explain the feeling of free-will as an illusion. This is why I said that the feeling is independent of the free-will.
Let's suppose that the ToE described above will be eventually discovered, and that the free-will experiment will be performed, and the result will be positive. This will mean that there is a "player" outside the part of the Universe described by our mathematical structure. I already mentioned an important shortcoming of this "player" hypothesis, since it seems to imply a circular reasoning, but I consider important to verify its existence. To continue the analogy, if a computer program realizes that its world is a game, and that there is a player "outside", this does not mean that that player is immaterial, or that he is God. Perhaps the part we haven't contained in our mathematical structure is made of a different type of matter, perhaps is describable by a larger mathematical structure, who knows. It is even less justified to infer, from the existence of the "player", that this "player" is the "Intelligent Designer", because the player is concerned with decisions localized in the brain of the person which is tested, and not to the global fate of the Universe. Nevertheless, such a positive result may increase the chances, or at least the hopes, for a "bigger Player" to exist, but I think that its existence does not follow with necessity.
Sorry for the length of this post, I hope that at least I clarified some questions.
Best wishes,
Cristi