News for hackers. Stuff that matters.
Re:A number that can't be calculated by morelisp on Tuesday October 25, 2022 @03:30PM (#33335072)
> How do we know that BB(n) exists for all n?

It's trivial to construct a candidate for each n, which gives a lower bound.

There are no comments on this comment yet.