Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Analysis_of_Richard_Damon=E2=80=99s_Responses_to_Fl?=
 =?UTF-8?Q?ibble?=
Date: Sun, 18 May 2025 15:49:33 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <3772fd1815ff6ca4eae63e1ed8e9f0e6910c6901@i2pn2.org>
References: <stoWP.617520$lZjd.379219@fx05.ams4>
 <c54ccda944d953918123fa0244be84b714d088ca@i2pn2.org>
 <8NqWP.1267256$4AM6.1131124@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 May 2025 19:51:25 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="925887"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <8NqWP.1267256$4AM6.1131124@fx17.ams4>
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 5/18/25 3:45 PM, Mr Flibble wrote:
> On Sun, 18 May 2025 15:19:38 -0400, Richard Damon wrote:
> 
>> On 5/18/25 1:07 PM, Mr Flibble wrote:
> 
>>> 4. Stack Overflow as a Semantic Signal
>>> --------------------------------------
>>> Damon argues that stack overflow represents a failed computation:
>>>> "...it just got the wrong answer."
>>>
>>> Flibble’s view is different:
>>> - A stack overflow (or crash) isn’t failure.
>>
>> Sure it is. A program that fails to complete and give the correct answer
>> has just failed to give an answer.
>>
>> If you want to define "stack overflow" as an "I don't know" result,
>> fine, but first you have to define that this is a "valid" result.
> 
> No it isn't. Why? Because the stack overflow a property of the simulation
> environment (the fact that the SHD has finite resources) and NOT a
> property of the program, P, being analysed per se.  P is NOT halting, it
> is the SHD that is halting due to the detection of infinite recursion on
> the part of P.  It is perfectly valid for the SHD to treat this as NON-
> HALTING as far as P is concerned.
> 
> /Flibble

No, it is a property of the decider. If your "environment" is 
inadiquite, it just shows you aren't using a proper environment.

Soemtimes, we will talk about a stack over-flow as not being a failure, 
but also not a success, just an indication that the environment is 
insufficent to run this case.

You are just showing you lack of understanding of the system you are 
talking about.