Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tromp
on April 20, 2024
|
parent
|
context
|
favorite
| on:
Church's λ-Calculus (2023) [pdf]
Then you'll be more interested in the 114 bit representation (λ (λ 2 1 (λ 1 (λ λ 1 2 (λ 1)) (λ λ 5 (2 1)) 3) 1) (λ λ 2 (3 2 1))) (λ λ 2 (2 (2 1))) of Graham's number [1].
[1]
https://github.com/tromp/AIT/blob/master/fast_growing_and_co...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
[1] https://github.com/tromp/AIT/blob/master/fast_growing_and_co...