zlacker

[parent] [thread] 3 comments
1. tromp+(OP)[view] [source] 2023-11-27 20:58:12
I don't consider infinity to be a number though. Especially not in a largest number contest.
replies(1): >>lowq+jf
◧
2. lowq+jf[view] [source] 2023-11-27 22:09:20
>>tromp+(OP)
Let 0 correspond to zero, and 1 corresponded to Rayo's number. Crisis averted!
replies(2): >>danbru+3h >>tromp+qh
◧◩
3. danbru+3h[view] [source] [discussion] 2023-11-27 22:18:17
>>lowq+jf
Let all values encode Rayo's number. 64 bits saved!
◧◩
4. tromp+qh[view] [source] [discussion] 2023-11-27 22:20:29
>>lowq+jf
I find Loader's number [1] more interesting, as it is actually computable, yet far far larger than other famous computable numbers, like Friedman's TREE(3) or SCG(3). I'm looking forward to one day programming it in the lambda calculus, and seeing how much smaller than the existing ~500 bytes of C-code it can be.

[1] https://www.youtube.com/watch?v=q6Etl4oGL4U&list=PL-R4p-BRL8...

[go to top]