Silvain Rideau silvain.rideau@ens.

fr
Bureau T7 www.eleves.ens.fr/home/srideau

TD de Logique 10
3 décembre 2012

Les exercices précédés d’une ✠ sont là pour vous aider à comprendre le cours et devront être fait avant le TD pour
être corrigé au début du TD. Les exercices qui ne sont pas abordés en cours, seront (certainement) corrigés sur ma
page personelle (voir ci-dessus).

(✠) Exercice 1 (Ensembles primitif récursifs, récursifs, récursivement énumérables) :

Pour chacun des ensembles suivants, dire s’il est primitif récursif, récursif, récursivement énumérable.
(Rappelez-vous du théorème de Rice, et du fait qu’un ensemble est récursif si et seulement si lui et son complémen-
taire sont récursivement énumérables.)
On considère uniquement des machines de Turing à une entrée.
• {n2 ∶ n ∈ N} ;
• {p ∶ p premier} ;
• {(i, n, t) ∶ la machine de Turing d’indice i s’arrête à partir de l’entrée n en temps ≤ t} ;
• {(i, n) ∶ la machine de Turing d’indice i s’arrête à partir de l’entrée n et renvoie n2 } ;
• {(i, n) ∶ la machine de Turing d’indice i ne s’arrête pas à partir de l’entrée n} ;
• {i ∶ il n’existe pas de n tel que ϕ1i (n) est défini et est différent de n2 }.

Exercice 2 :
Montrer que tout ensemble récursivement énumérable infini contient un ensemble récursif infini.

Exercice 3 (Inverse) :
Montrer qu’il existe une fonctions primitive récursive α ∈ F 1 telle que pour tout i, si ϕi est une bijection, alors
ϕα(i) est son inverse.

Exercice 4 (Fonction récursives partielles et extension) :

1. Soit A une partie récursivement énumérable de Nk , soit f une fonction récursive dont A est le domaine et
i l’indice d’une telle machine qui calcule f. Montrer que si λx T (i, x) (qui a x associe le temps de calcul de la
machine i sur l’entrée x si le calcul termine) peut être étendue à tout Nk de manière récursive, alors A est
récursif.
2. En déduire qu’il existe des fonctions récursives partielles dans F k qui ne peuvent pas être étendues à tout
Nk .

Exercice 5 (Séparabilité) :
Soit X ⊆ P(N), on dit que X est récursivement séparable si pour tout A, B ∈ X, il existe D un ensemble récursif tel
que A ⊆ D et B ∩ D = ∅.
1. Montrer que les ensembles récursivement énumérables ne sont pas récursivement séparables. [Indication :
Considérer A = {i ∶ ϕi (i) est défini et vaut 0} et B = {i ∶ ϕi (i) est défini et vaut 1}.]
2. Montrer que, par contre, les ensembles de complémentaire récursivement énumérable sont récursivement
séparables.

Exercice 6 :
1. Soit f ∈ F 1 une fonction totale récursive dont l’image est infinie. Montrer qu’il existe g totale récursive
injective telle que Im(f) = Im(g).
2. En déduire qu’il existe des fonctions récursives injectives donc l’image n’est pas récursive.

1
 3. Soit f totale récursive injective, A = Im(f) et B = {x ∣ ∃y > x f(y) < f(x)}.
Montrer que B est récursivment énumérable de complémentaire infini.
4. On suppose qu’il existe C récursivement énumérable infini disjoint de B, montrer que A est récursif.
5. En déduire qu’il existe un ensemble B récursivement énumérable qui :
a) Pour tout A récursivement énumérable infini, A ∩ B ≠ ∅,
b) Le complémentaire de B est infini.

Exercice 7 (Rappel de la feuille précente : Ensembles des fonctions récursivement énumérables) :

Soit F ⊆ F 1 , on dit que F est récursivement énumérable si il existe ψ ∈ F 2 récursive telle que

{ψi ∣ i ∈ N} = F.

On a montré dans l’exercice 4 de la feuille 9, que l’ensemble des fonctions primitives récursives à une variable est
récursivement énuméré.
1. Montrer que l’ensemble des fonctions récursives totales à une variable n’est pas récursivement énuméré.
2. Montrer que l’ensemble des fonctions récursives primitives strictement croissantes (en une variable) est ré-
cursivement énuméré.
3. Montrer que l’ensemble des fonctions récursives primitives injectives (en une variable) est récursivement énu-
méré.
4. Montrer que l’ensemble des fonctions récursives totales injectives (respectivement strictement croissantes)
en une variable n’est pas récursivement énuméré.
5. (Bonus) Montrer que si un ensemble de fonctions F est récursivement énuméré, il existe une fonction primi-
tive récursive f ∈ F 1 telle que F = {ϕf(x) ∣ x ∈ N}.