1
Sind optimale Bewerter tatsächlich optimal?
Der folgende Begriff (unter Verwendung von Bruijn-Indizes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Wenn es auf eine Kirchennummer angewendet wird, wird es Nin mehreren vorhandenen Bewertern, einschließlich naiver, schnell in normaler …