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 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: <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.