Institut galil´
ee
Math´
ematiques pour l’Informatique 2016 Janvier 2016
Sylviane R. Schwer
Feuille de TD1
1 Entiers naturels et r´ecurrence
Exercice 1 Etudier la d´emonstration suivante, qui prouve que deux nombres quelconques
sont ´egaux :
Soient trois nombres a,bet cstrictement positifs tels que a=b+c.
a=b+c⇔a(a−b)=(b+c)(a−b),
d’o`u a2−ab =ab+ac−b2−bc ⇔a2−ab−ac =ab+ac−b2−bc−ac ⇔a(a−b−c) = b(a−b−c),
En simplifiant par a−b−c, on obtient a=b.
Exercice 2 On d´efinit la fonction d’Ackermann1A:N2→Npar r´ecursion de la mani`ere
suivante:
(i)A(0, y) := y+ 1
(ii)A(x, 0) := A(x−1,1) pour x > 0
(iii)A(x, y) := A(x−1, A(x, y −1)) pour x > 0, y > 0.
1. Montrer que ∀y∈N,A(1, y) = y+ 2
2. Montrer que ∀y∈N,A(2, y)=2y+ 3
3. Montrer que ∀y∈N,A(3, y)=2y+3 −3
4. Montrer que ∀y∈N,A(4, y)=2∧∧(y+ 3) −3.
a∧∧best la notation de Donald Knuth pour repr´esenter aa
.
.
.
a
, avec boccurrences de
a.a∧∧1 = a;a∧∧ 2 = aa;a∧∧(n+ 1) = aa∧∧ n
Calculer A(4,1) et A(4,2).
5. Montrer que la fonction d’Ackerman est bien calculable sur N×N, c’est-`a-dire que
pour tout couple d’entiers (x,y), le calcul de A(x, y) est effectif.
Exercice 3 Le paradoxe du chauve2. On arrache un cheveu `a la tˆete d’un homme chevelu.
Celui-ci est-il devenu chauve ? Evidemment non. Puis on lui arrache un second cheveu,
est-il devenu chauve ? et trois ? . . . , et n ?
1La fonction d’Ackermann est un exemple simple de fonction r´ecursive non primitive r´ecursive.
L’ensemble des fonctions primitives r´ecursives contient les fonctions constantes, les projections, la fonc-
tion successeur et est clos par composition et par r´ecursion primitive : f(x1,· · · , xp,0) = g(x1,· · · , xp)et
f(x1,· · · , xp, n + 1) = h(x1,· · · , xp, n, f (x1,· · · , xp, n)), avec get hprimitives r´ecursives. les fonctions
arithm´etiques ´el´ementaires, les fonctions puissances, factorielles sont primitives r´ecursives. Les fonctions
r´ecursives sont toutes les fonctions calculables par un ordinateur.
2Paradoxe produit par le M´egarite Eubulide de Milet, au IV◦si`ecle avant l’EC. Ce type de paradoxe
est appel´e sorite.
1