Comment by zaebal 6 hours ago TREE(3) is unimaginably small, compared to ω 2 comments zaebal Reply tromp 5 hours ago 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 zygentoma 5 hours ago Well, any natural number is unimaginably small, compared to ω …
tromp 5 hours ago 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
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 ω …