Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 22 Jul 2024 16:06:25 +0000
Date: Mon, 22 Jul 2024 11:06:25 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Hypothetical possibilities --- Alan Mackenzie tries to get away
 with mere rhetoric as a rebuttal
Newsgroups: comp.theory
References: <v7gl30$3j9fi$1@dont-email.me> <v7h1fl$3lcvq$3@dont-email.me>
 <v7h224$3li66$3@dont-email.me> <v7h3je$3lcvq$6@dont-email.me>
 <v7h55o$2a60$1@news.muc.de> <v7h5fi$3m6kq$3@dont-email.me>
 <v7h9k6$27pf$1@news.muc.de>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v7h9k6$27pf$1@news.muc.de>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <VCednWTrJeAcHgP7nZ2dnZfqlJ-dnZ2d@giganews.com>
Lines: 47
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-HbhJTo7jJPQP2JoBaU1YOkcwz41SK8zSZbtooekx+MjTeT2fJi4gIHDY2ed0oSCz12MIUKP6WWT5HF/!hRyoO+/7TpRpb5Umeo3y07JYTH8X9lwU/M71PWKZOrdq6X3L7MZMbbxyoYSdp24Mo5v3/D422Hg=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 2536

On 7/20/2024 4:19 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
> 
> [ .... ]
> 
>> May God have mercy on your soul (if you have a soul).
> 
> Oh, I have a soul, all right.  I don't have a god, though.  ;-)
> 
>> -- 
>> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
> 

Rebuttals like yours are entirely baseless by failing to point out any 
mistake.
My proof shown below is a truism thus is necessarily correct.

void DDD()
{
   HHH(DDD);
   return;
}

int main()
{
   HHH(DDD);
}

Of the two hypothetical possible ways that HHH can be encoded:
(a) HHH(DDD) is encoded to abort its simulation.
(b) HHH(DDD) is encoded to never abort its simulation.

We can know that (b) is wrong because this fails to meet the design 
requirement that HHH must itself halt.

We also know that any simulation that must be aborted to prevent the 
infinite execution of the simulator is necessarily a non-halting input.


-- 
Copyright 2024 Olcott

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