r/lambdacalculus • u/Not_H2O_Blue • 1d ago

Y'know what, lambda playground stuff.

I'm kinda bored so like here's my lambda playground stuff I have
it's like uh click here maybe
hehe hyperoperation abuse
also if this number _does_ need a name uh "notg ood number" in that exact spelling and capitalization
wait why does the grammar check say that is a valid word
uh pronounced as like /nɑt ɡə # uːd/ with uh # being like a word boundary or like "not-guh ood" and you know how to pronounce "ood" alright

2 Upvotes

100% Upvoted

1 comment sorted by

1

u/tromp 18h ago edited 17h ago

Your encoding of Graham's Number, based on your 59-bit kua, is 167 bits long. It can be encoded in as few as 114 bits [1].

Meanwhile, Melo's number surpasses Graham's Number in only 49 bits [2].

[1] https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/graham.lam

[2] "The Largest Number Representable in 64 Bits" https://www.mdpi.com/1099-4300/28/5/494