zlacker

[parent] [thread] 0 comments
1. tromp+(OP)[view] [source] 2026-02-02 22:11:09
BLC can output any literal 60 bit string x as the 64-bit (delimited) program 0010 x, so in that sense it would be some 61 bit number. But if ask about just lambda calculus terms without the binary input, then I think it would be some small number of at most 10 bits. BBλ looks at the normal form size so it cannot even reach numbers 0,1,2,3, and 5.
[go to top]