@Jean De Songy

Dialogue de sourds puisque je m’en tiens à la définition proposée du libre arbitre :
l’impossibilité de définir une fonction à l’instant t dépendant de l’état préalable de l’univers avant t et produisant l’état mesuré à t.

Le théorème de Conway et Kochen nous dit libre arbitre ==> pas de variables cachées. La contraposée variables cachées ===> pas de libre arbitre au sens défini. C’est un pas, ne vous en déplaise, si la condition suffisante est prouvable.

Enfin :

« Le libre-arbitre matérialiste se fout de la physique quantique, de l’état antérieur, de la causalité scientifique (qu’il admet), des variables cachées, des lois de la physique objective du quark au cerveau, puisqu’il est « en dehors », dans la contingence de la matière « en elle-même », voir dernier commentaire. »

Affirmation inconsistante car il faudrait prouver ce « en dehors ».
Vous partez d’un postulat et prenez votre postulat pour une réalité.