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: DDD simulated by HHH cannot possibly halt (Halting Problem)
Date: Fri, 11 Apr 2025 10:56:32 -0500
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <vtbe3g$1vs00$1@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <vso4a5$302lq$1@dont-email.me>
 <vsqhuu$1hl94$2@dont-email.me> <vsqknb$1ldpa$1@dont-email.me>
 <vsrmn8$2o2f2$1@dont-email.me> <vstku7$p4u7$1@dont-email.me>
 <vsu95l$1c5kt$1@dont-email.me> <vt01l0$39kn7$1@dont-email.me>
 <vt28vk$1fe7a$1@dont-email.me> <vt2k6t$1onvt$1@dont-email.me>
 <vt3ef4$2flgf$1@dont-email.me> <vt3fgd$2gu7u$1@dont-email.me>
 <vt6apu$12sjs$2@dont-email.me> <vt6g1f$180qf$1@dont-email.me>
 <vt6lmk$1djk6$1@dont-email.me> <vt7tj4$2iso2$1@dont-email.me>
 <vt9j0j$1snb$2@dont-email.me> <vtai1c$11kqr$1@dont-email.me>
 <vtajkf$10asg$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 Apr 2025 17:56:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="43ac5a70d065fc240de6cbbe61c86fd3";
	logging-data="2093056"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/sMvHAiiT2ntkcuk9Zd+V1"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dHBcrb79LzvVcfhgvGQo6pA0CXQ=
Content-Language: en-US
In-Reply-To: <vtajkf$10asg$2@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250411-2, 4/11/2025), Outbound message
Bytes: 2986

On 4/11/2025 3:24 AM, Richard Heathfield wrote:
> On 11/04/2025 08:57, Mikko wrote:
>> No proof of this principle has been shown so its use is not valid.
> 
> Wweellll...
> 
> No proof of Peano's axioms or Euclid's fifth postulate has been shown. 
> That doesn't mean we can't use them.
> 
> Mr Olcott can have his principle if he likes, but only by EITHER proving 
> it (which, as you say, he has not yet done) OR by taking it as 
> axiomatic, leaving the world of mainstream computer science behind him, 
> constructing his own computational 'geometry' so to speak, and 
> abandoning any claim to having overturned the Halting Problem. Navel 
> contemplation beckons.
> 
> Axioms are all very well, and he's free to invent as many as he wishes, 
> but nobody else is obliged to accept them.
> 

*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.

The only rebuttal to this is to stupidly reject the notion
that all deciders must always halt.

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