Développement : Fonctions récursives et Turing calculabilité

Détails/Enoncé :

Une fonction est Turing calculable si et seulement si elle est récursive.

Recasages pour l'année 2019 :

Versions :