Théorème de Rice

concept

théorème fondamental de la calculabilité

Propriétés