3 ms·
TREE(3) is unimaginably small, compared to ω
by zaebal 2mo ago
TREE(3) is unimaginably small, compared to ω
- zygentoma 2mo agoWell, any natural number is unimaginably small, compared to ω …
- tromp 2mo agoTREE(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 https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions