Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Title: A Structural Analysis of the Standard Halting Problem
 Proof
Date: Wed, 23 Jul 2025 10:29:23 -0500
Organization: A noiseless patient Spider
Lines: 85
Message-ID: <105qv4j$10rne$1@dont-email.me>
References: <105ht1n$36s20$1@dont-email.me>
 <eed26ffea811a639a76d0184321c57eafba746cd@i2pn2.org>
 <pI4fQ.147044$gKRf.71824@fx12.ams4> <105kvub$2q17h$1@dont-email.me>
 <105lg9k$3v8t8$6@dont-email.me> <105npl8$37i2t$1@dont-email.me>
 <105o4uu$g4mg$4@dont-email.me> <105q7nc$8slg$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 23 Jul 2025 17:29:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="450fe45807e1810ec95dacc886a9e60b";
	logging-data="1076974"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/PP8dbHWLzaKc4kdh11+NG"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:b+A4lT4BuSQrsGENSjBUDtowLGQ=
X-Antivirus-Status: Clean
In-Reply-To: <105q7nc$8slg$5@dont-email.me>
Content-Language: en-US
X-Antivirus: Norton (VPS 250723-2, 7/23/2025), Outbound message

On 7/23/2025 3:49 AM, Fred. Zwarts wrote:
> Op 22.jul.2025 om 15:50 schreef olcott:
>> On 7/22/2025 5:37 AM, Mikko wrote:
>>> On 2025-07-21 13:45:24 +0000, olcott said:
>>>
>>>> On 7/21/2025 4:06 AM, Mikko wrote:
>>>>> On 2025-07-20 11:48:37 +0000, Mr Flibble said:
>>>>>
>>>>>> On Sun, 20 Jul 2025 07:13:43 -0400, Richard Damon wrote:
>>>>>>
>>>>>>> On 7/20/25 12:58 AM, olcott wrote:
>>>>>>>> Title: A Structural Analysis of the Standard Halting Problem Proof
>>>>>>>>
>>>>>>>> Author: PL Olcott
>>>>>>>>
>>>>>>>> Abstract:
>>>>>>>> This paper presents a formal critique of the standard proof of the
>>>>>>>> undecidability of the Halting Problem. While we do not dispute the
>>>>>>>> conclusion that the Halting Problem is undecidable, we argue 
>>>>>>>> that the
>>>>>>>> conventional proof fails to establish this conclusion due to a
>>>>>>>> fundamental misapplication of Turing machine semantics. 
>>>>>>>> Specifically,
>>>>>>>> we show that the contradiction used in the proof arises from 
>>>>>>>> conflating
>>>>>>>> the behavior of encoded simulations with direct execution, and from
>>>>>>>> making assumptions about a decider's domain that do not hold 
>>>>>>>> under a
>>>>>>>> rigorous model of computation.
>>>>>>>>
>>>>>>> Your problem is you don't understand the meaning of the words you 
>>>>>>> are
>>>>>>> using.
>>>>>>
>>>>>> This is an ad hominem attack, not argumentation.
>>>>>
>>>>> It is also honest and truthful, which is not as common as it should.
>>>>
>>>> It is also honest and truthful that people
>>>> that deny verified facts are either liars
>>>> or lack sufficient technical competence.
>>>
>>> Where I live it is a crime to call anyone a liar or lacinkg sufficient
>>> technical compoetence unless a judge accepts your proof of your claims.
>>>
>>
>> I have proven that my claims are self-evidently
>> true on the basis of the meaning of their words
>> and the meaning of the code samples that I have
>> provided.
> 
> As usual incorrect claims without evidence.
> 
>>
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
>>
>> When anyone says that DDD correctly simulated by
>> HHH reaches its own "return" statement final halt
>> state if we just wait long enough this is either
>> a lie or a lack of sufficient technical competence.
> 
> Nobody said such a thing. Suggesting that somebody did, without any 
> evidence, may be considered as a lie.
> We all know that HHH fails to reach the final halt state,

Counter-factual.
The directly executed HHH does reach its final halt state.
DDD correctly simulated by HHH cannot possibly reach its
final halt state no matter what HHH does because it remains
stuck in recursive simulation.

> where world 
> class simulators have no problem to reach the final halt state of 
> exactly the same input.
> 
> 


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