4 ms·
Let 0 correspond to zero, and 1 corresponded to Rayo's number. Crisis averted!
by lowq 3y ago
Let 0 correspond to zero, and 1 corresponded to Rayo's number. Crisis averted!
- danbruc 3y agoLet all values encode Rayo's number. 64 bits saved!
- tromp 3y agoI 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-BRL8NR8THgjx_DW9c92VHTtjZEY&index=4 https://www.youtube.com/watch?v=q6Etl4oGL4U&list=PL-R4p-BRL8...