La stratégie n'est pas calculable (= algorithmiquement décidable = décidable dans le sens de Turing), donc elle ne peut pas être exécutée en pratique, donc .