Professional Documents
Culture Documents
Bruno MARCHAL
I.R.I.D.I.A. Université Libre de Bruxelles
50 av. F. Roosevelt. CP194/6. B-1050 Brussels, Belgium
exemple : if the universal environment is Such a e defines what we shall call a self-
LISP then I = (lambda (x) x) : referential net.
does not belong to EX, (see ) but the IIM α witness that S 1 belongs to EX=1 = EX,
α (see above) witness that it belongs to and α witness also that S belongs to EX.
So both S1 and S belongs to EX, but the
EX 1.
union S1∪S = S 0v1 = does not belong to
The "may be" is ineluctable : let us prove EX.(preceding theorem). That proves the
that such an enlargement cannot be done non-union theorem of Blum & Blum.:
union of members of EX does not
constructively (algorithmicaly) (Chen)1 : necessarily belongs to EX. The "v" in
0v1 is a necessarily not constructive "v".
Proof. Suppose that there is a computable QED. We have a typical situation where
function φ j such that for any inductive
inference machine M : 1) φφ (M) is total (p v q) does'nt imply p or q
j
computable and 2) φφj(M) does not belong
to EX(M). In that case the following IIM If we want take advantage of such non
constructive enlargements We must allow
branchings in the net, by adding, for
m = λx (k j) exemple, in (3) above the line :