Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Tue, 6 May 2025 13:55:03 -0500
Organization: A noiseless patient Spider
Lines: 76
Message-ID: <vvdlu8$3j2mn$1@dont-email.me>
References: <GE4SP.47558$VBab.42930@fx08.ams4> <vvamqc$o6v5$4@dont-email.me>
 <vvan7q$o4v0$1@dont-email.me> <ts5SP.113145$_Npd.41800@fx01.ams4>
 <vvat0g$vtiu$1@dont-email.me> <vvatf3$o4v0$3@dont-email.me>
 <vvaut0$vtiu$4@dont-email.me> <vvav6o$o4v0$4@dont-email.me>
 <vvb329$15u5b$1@dont-email.me> <vvb37g$1451r$1@dont-email.me>
 <vvb43f$15u5b$4@dont-email.me> <vvb8fm$1a9jr$1@dont-email.me>
 <vvc4ok$26dgq$1@dont-email.me> <vvcubb$2sk4a$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 06 May 2025 20:55:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4d3877b25e07ae675aebb853b858fd37";
	logging-data="3771095"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/dwjvttVh9RmCFnt3dbodu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:r6EY0SBJ61XpMpnQCz0FaSnGKrM=
In-Reply-To: <vvcubb$2sk4a$2@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250506-4, 5/6/2025), Outbound message
Content-Language: en-US
Bytes: 4293

On 5/6/2025 7:12 AM, dbush wrote:
> On 5/6/2025 12:55 AM, olcott wrote:
>> On 5/5/2025 3:53 PM, Richard Heathfield wrote:
>>> On 05/05/2025 20:38, olcott wrote:
>>>> On 5/5/2025 2:23 PM, Richard Heathfield wrote:
>>>>> On 05/05/2025 20:20, olcott wrote:
>>>>>> Is "halts" the correct answer for H to return?  NO
>>>>>> Is "does not halt" the correct answer for H to return?  NO
>>>>>> Both Boolean return values are the wrong answer
>>>>>
>>>>> Or to put it another way, the answer is undecidable, QED.
>>>>>
>>>>> See? You got there in the end.
>>>>>
>>>>
>>>> Is this sentence true or false: "What time is it?"
>>>
>>> 20:45GMT, give or take.
>>>
>>>> is also "undecidable" because it is not a proposition
>>>> having a truth value.
>>>
>>> No, it's computable and therefore decidable. Your computer is 
>>> perfectly capable of displaying its interpretation of the time.
>>>
>>>> Is this sentence true or false: "This sentence is untrue."
>>>> is also "undecidable" because it is not a semantically sound
>>>> proposition having a truth value.
>>>
>>> But we know that it halts at the full stop.
>>>
>>>> Can Carol correctly answer “no” to this (yes/no) question?
>>>
>>> You have, I see, learned that not all yes/no questions are decidable. 
>>> Well done! You're coming along nicely.
>>>
>>>> Both Yes and No are the wrong answer proving that
>>>> the question is incorrect when the context of who
>>>> is asked is understood to be a linguistically required
>>>> aspect of the full meaning of the question.
>>>
>>> The question is grammatically and syntactically unremarkable. I see 
>>> no grounds for claiming that it's 'incorrect'. It's just undecidable.
>>>
>>> You appear to be trying to overturn the Halting Problem by claiming 
>>> that Turing somehow cheated. You're entitled to hold that opinion, 
>>> but it's not one that will gain any traction with peer reviewers when 
>>> you try to publish.
>>>
>>
>> *EVERYONE IGNORES THIS*
>> It is very simple the mapping from inputs to outputs
>> must have a well defined sequence of steps.
>>
> 
> FALSE!!!
> 
> There is no requirement that mappings have steps to compute them.
> 

The requirement is that OUTPUTS must correspond
to INPUTS. This requires that outputs must be
derived from INPUTS.

When DD is correctly emulated by HHH it is only
allowed to apply the specific sequence specified
by the x86 language to derive the behavior specified
by this input.

Everyone here seems to think that HHH is allowed
to ignore the "call" instruction in DD and jump
directly to the "ret" instruction in DD.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer