TD de Logique 9 (Fonctions récursives)

Solution de l'exercice 2. 1. Si un ensemble est récursif alors son complémentaire l'est aussi. La question 2 montre que si on désigne.