News for hackers. Stuff that matters.
Re:A number that can't be calculated by morelisp on Tuesday October 25, 2022 @04:13PM (#33335540)
> But imagine that we could compute BB(n) for any n, even if we need to use a different algorithm for each n.

This is itself uncomputable; therefore

> Then, we could build the mapping n -> BB(n).

This mapping is not computable.

Edit as I'm rate-limited:

What I mean is, informally, the incomputability of the algorithm to select the correct algorithm to compute BB(n) is sufficient to make that mapping uncomputable.

However, that does not mean that an algorithm to compute BB(n) for a specific n does not exist. (Trivially, it does; "output BB(n)".)

Re:A number that can't be calculated by alexmolas on Tuesday October 25, 2022 @04:33PM (#33335760)
yes, this is why I said

> the existence of this mapping is forbidden

:)