Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Flibble's Law
Date: Tue, 22 Apr 2025 18:29:24 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f7ce672021c67a5e6ee05febe8b88093ea526764@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 22 Apr 2025 22:58:29 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1465116"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <X0MNP.1451996$cgs7.1194221@fx14.ams4>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2082
Lines: 28

On 4/22/25 8:33 AM, Mr Flibble wrote:
> On Fri, 18 Apr 2025 17:13:23 -0400, Richard Damon wrote:
> 
>> On 4/18/25 5:01 PM, Mr Flibble wrote:
>>
>>> If Busy Beavers are allowed an INFINITE tape in the context of the
>>> Halting Problem then Simulating Halt Deciders are allowed INFINITE
>>> resources.
>>>
>>> /Flibble
>>
>> Sure, they can use as much tape as they want, they just can't use
>> infinite time.
> 
> If they REQUIRE infinite tape then by implication they REQUIRE infinite
> time.
> 
> /Flibble

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.

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.