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 2025 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Introduction à la calculabilité, Wolper (utilisée dans 3 versions au total)