4 ms·
There's no sign of Collatz-like behaviour in any of the 37 known values of BBλ [1], so it appears specific to Turing Machines, which cannot compute exponentials
by tromp 2y ago
There's no sign of Collatz-like behaviour in any of the 37 known values of BBλ [1], so it appears specific to Turing Machines, which cannot compute exponentials so easily.
[1] https://oeis.org/A333479 https://oeis.org/A333479
- tocs3 2y agoThank 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 2y agoNo, 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.