1
Les évaluateurs optimaux sont-ils réellement optimaux?
Le terme suivant (en utilisant les index bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Lorsqu'il est appliqué à un numéro d'église, il prend Nrapidement sa forme normale dans plusieurs évaluateurs existants, …