Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Wed, 7 May 2025 15:22:03 +0100
Organization: Fix this later
Lines: 66
Message-ID: <vvfqab$129b9$1@dont-email.me>
References: <GE4SP.47558$VBab.42930@fx08.ams4>
 <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>
 <vvb4ok$o4v0$9@dont-email.me> <vvb52g$15u5b$6@dont-email.me>
 <vvb5ca$o4v0$10@dont-email.me> <vvb5vp$15u5b$7@dont-email.me>
 <vvb675$o4v0$11@dont-email.me> <vvb9d7$1av94$3@dont-email.me>
 <vvbani$1b6l1$1@dont-email.me> <vvbb6s$1av94$4@dont-email.me>
 <vvbcb3$1b6l1$2@dont-email.me> <vvbe0j$1av94$8@dont-email.me>
 <vvbecc$1b6l1$6@dont-email.me> <vvbhk0$1ijna$1@dont-email.me>
 <vvc7t9$29pp8$1@dont-email.me> <vvc86c$2a4cs$1@dont-email.me>
 <vvcufi$2sk4a$3@dont-email.me> <vvdlff$3i09b$2@dont-email.me>
 <vvdo96$3lapa$1@dont-email.me> <vvdr87$3n3t4$1@dont-email.me>
 <vve3mf$3vva3$1@dont-email.me> <vve4ut$f5c$1@dont-email.me>
 <vveu05$odan$3@dont-email.me> <vvfmrf$11mbc$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 07 May 2025 16:22:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1de3d45e2783553e22f3c2216cb20b34";
	logging-data="1123689"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19CqdSK2Qs9p4vcot3KoC9rr0ukGGUIigtLsd/GjO2UCw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5wUg+VQQ/e+d79cyuHUAnhT+thw=
Content-Language: en-GB
In-Reply-To: <vvfmrf$11mbc$1@dont-email.me>
Bytes: 3993

On 07/05/2025 14:22, olcott wrote:
> On 5/7/2025 1:18 AM, Richard Heathfield wrote:

<snip>

>> There's also an important difference between claiming that 
>> Mike's claim is counter-factual and /proving/ that his claim is 
>> counter-factual. 
> 
> int DD()
> {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }

Yeah, you keep posting that, as if it had some kind of persuasive 
power.

It doesn't.

> The reason that I get angry is that everyone here
> has denied that verified fact for three years.

I'm sure you have verified it entirely to your own satisfaction, 
but until you can find a way of verifying it to /other people's/ 
satisfaction, you're stuck.

Constant repetition won't do it.

In mathematics, there's generally more than one way to express 
the truth. (There are at least 350 proofs for Pythagoras's 
Theorem, for example.) Find a different way to explain your 
claim, because the way you've chosen doesn't persuade anyone.

> Can it really be true that most people here don't
> hardly have any clue about actual programming?

No, I don't think so. I think it's far more likely that you have 
committed yourself to supporting a false claim, and that everyone 
else can see something that your blinkers won't let you see.

>> Mike says he's posted evidence in support of his claim. I 
>> haven't seen it, but of the two of you I will unhesitatingly 
>> take his word for it rather than yours. Have you posted a 
>> rebuttal? If not, why not?
>>
> 
> The rebuttal is that
> Even the simple code shown above proves that DD
> correctly simulated by HHH cannot possibly reach its
> own halt state.

I'm not persuaded.

> I never take anyone's word, not even my doctor's word.

That must make life very tedious for you.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within