logoalt Hacker News

zaebal • today at 12:07 PM • 2 replies • view on HN

TREE(3) is unimaginably small, compared to ω

Replies

tromp • today at 1:20 PM

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 • today at 1:01 PM

Well, any natural number is unimaginably small, compared to ω …