Re: Flibble's Law

Richard Damon <richard@damon-family.org> writes:
[...]

Actual Busy Beavers, since they do halt, never actually require
infinite tape.
>
Perspective Busy Beavers, which might not halt, are allowed to use
infinite tape, and the decider will need to figure out that they
aren't going to halt to know they are not a Busy Beaver.

I think you mean "Prospective", not "Perspective".  (For a moment I
thought there might be some concept of a "Perspective Busy Beaver",
perhaps one that operates in the Total Perspective Vortex.)

Note, I never said that the Busy Beaver NEEDED the infinite tape, but
there is no finite bound on the tape they are allowed to use, but if
they are a Busy Beaver, it will be finite.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */