TREE(3) is unimaginably small, compared to ω
TREE(3) is also unimaginably tiny compared to the normal form size of (λa.aaa(λbλcλdλe.ebbbcde)aaaa)(λfλx.f(fx)) [1].
[1] https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions
Well, any natural number is unimaginably small, compared to ω …
TREE(3) is also unimaginably tiny compared to the normal form size of (λa.aaa(λbλcλdλe.ebbbcde)aaaa)(λfλx.f(fx)) [1].
[1] https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions
Well, any natural number is unimaginably small, compared to ω …