Thank you for the link. I have been wondering whether the Lambda Calculus has a ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

tocs3 4 months ago | parent | context | favorite | on: One Collatz Coincidence

Thank you for the link. I have been wondering whether the Lambda Calculus has a BB like values. I do not know much about the Lambda Calculus and this might be a good reason for me to learn more.

The values shown in the OEIS link look different than the values for the TM BBs. Am I just reading it wrong?

tromp 4 months ago [–]

No, you're reading it right. It's a different function based on a different model of computation so the values are going to be quite different.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact