Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: Flibble's Law
Date: Tue, 22 Apr 2025 16:25:06 -0700
Organization: None to speak of
Lines: 20
Message-ID: <87bjsnye25.fsf@nosuchdomain.example.com>
References: <HjxMP.837300$7Fq7.451049@fx13.ams4>
	<19955e68400bc2ad935f413f012fe04011f7cf75@i2pn2.org>
	<V4zMP.1406251$NN2a.623234@fx15.ams4>
	<7c47bbe68c1cf317ddb2a0418564127c1471e11b@i2pn2.org>
	<X0MNP.1451996$cgs7.1194221@fx14.ams4>
	<f7ce672021c67a5e6ee05febe8b88093ea526764@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Wed, 23 Apr 2025 01:25:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="559a91cae6b172c7f978eee8629ad54d";
	logging-data="1603755"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18AJ0fIfH/OcJMaG0CyMgwK"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:HPer6Ipcew46CCFphd4pdzh2cxI=
	sha1:pmzG99LEHlsFYEySxEQ+pgwlYlc=
Bytes: 2019

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 */