Sujet : Re: Flibble's Law
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 23. Apr 2025, 03:33:58
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <60479757e3622763023ad2b87df2b29fe30188a9@i2pn2.org>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 4/22/25 7:25 PM, Keith Thompson wrote:
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.)
Yes, spelling is not one of my strong points.
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.
Re: Flibble's Law
Re: Flibble's Law