Deutsch   English   Français   Italiano  
<vvfsah$130t3$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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 --- TOTALLY
 CLUELESS
Date: Wed, 7 May 2025 09:56:17 -0500
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <vvfsah$130t3$1@dont-email.me>
References: <GE4SP.47558$VBab.42930@fx08.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>
 <vvfqab$129b9$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:56:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ee5137430f56269cd3e6381ddf24cf46";
	logging-data="1147811"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+gvUMq17PWlXcRxQJeqOkU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:iN7oqAuehTCJc1W4ZuairoaiET0=
X-Antivirus: Norton (VPS 250507-2, 5/7/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vvfqab$129b9$1@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 3046

On 5/7/2025 9:22 AM, Richard Heathfield wrote:
> 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.
> 

Every sufficiently competent C program has agreed.
The DD correctly simulated by HHH cannot possibly
reach its own "return" instruction.

If you are totally clueless about programming you
won't get this.

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