@ughaibu,
Bringing this up to date; Tomr posted his proof at the above three fora. On each he was told why he is wrong, by varying numbers of posters and with varying degrees of patience. In
one case, after it was pointed out that he was wrong, and why he was wrong, nobody thought fit to indulge him further. As Tomr's proof doesn't demonstrate his conclusion and as that conclusion is obviously false, there was always a danger that his thread would just be ignored, certainly I think it would have been a waste of time posting it at a site like
PlanetMath for that reason. However, I'm surprised at how little indulgence he received at the sites chosen, as I've often thought that I'm rather short of patience when dealing with deniers, but the opposite seems to be the case.
Anyway,
here the other posters were more patient. But eventually, in the face of Tomr's obstinance, they began speculating that he's a troll and the thread was closed. He faired even worse
here. After he ignored the correction of his views, by three or four posters, for the second time, his posts were deleted and his account closed. In short, he was banned.
It should now be absolutely clear that Tomr's objection, to my demonstration that willed actions are possible in a non-determined world, cuts no ice. His argument fails, it fails obviously and trivially, as was pointed out in several posts, and not just by me, on this very thread, before opinion was sought elsewhere. I consider this matter to be closed.