Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,comp.ai.philosophy
Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating
 itself emulating DDD --- anyone that says otherwise is a liar
Date: Tue, 19 Nov 2024 21:25:35 -0600
Organization: A noiseless patient Spider
Lines: 84
Message-ID: <vhjkrf$28t3s$3@dont-email.me>
References: <vhdd32$oq0l$1@dont-email.me>
 <c8e35b5f542012b2d798e7fe2afc3004298a2aa5@i2pn2.org>
 <vhdn96$r2jp$1@dont-email.me>
 <907b6e45c74720036b5f42c503d76ac426a71c92@i2pn2.org>
 <vhe69i$tuln$2@dont-email.me>
 <622e5aa555a9941d4cdb292d1e3e54e687e7b547@i2pn2.org>
 <vhe9rl$ue1m$2@dont-email.me>
 <254d3e7be0462ba8225ec0eb4804941ea635770d@i2pn2.org>
 <vheecn$12v3p$1@dont-email.me>
 <031e34cbeacc2a7b5145fd1f25ccee588e8cfb43@i2pn2.org>
 <vhg1oe$1cfbe$2@dont-email.me>
 <aa621f0677187fad3eb5b7f20715247c3ffbd61e@i2pn2.org>
 <vhg39s$1csnf$1@dont-email.me>
 <b4aade7ae93d862bd313e00abe20deab78124e18@i2pn2.org>
 <vhg7jg$1dmht$1@dont-email.me>
 <d8a9608b7ae74fde0e364d794faeeed25dd2e227@i2pn2.org>
 <vhi881$1sm67$1@dont-email.me>
 <7ace14839b35578d29b6653387e60d44be846359@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 20 Nov 2024 04:25:36 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c2d32c6d3d5248295febefc74b2e427a";
	logging-data="2389116"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+hUa/r1uuJQLJ37Pc83cNU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:uFEz1lFpbOtpsviUcmGYgyklFEw=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 241119-4, 11/19/2024), Outbound message
Content-Language: en-US
In-Reply-To: <7ace14839b35578d29b6653387e60d44be846359@i2pn2.org>
Bytes: 5792

On 11/19/2024 5:36 PM, Richard Damon wrote:
> On 11/19/24 9:44 AM, olcott wrote:
>> On 11/19/2024 5:56 AM, joes wrote:
>>> Am Mon, 18 Nov 2024 14:21:04 -0600 schrieb olcott:
>>>> On 11/18/2024 1:23 PM, Richard Damon wrote:
>>>>> On 11/18/24 2:07 PM, olcott wrote:
>>>>>> On 11/18/2024 1:02 PM, Richard Damon wrote:
>>>>>>> On 11/18/24 1:41 PM, olcott wrote:
>>>>>>>> On 11/18/2024 10:16 AM, Richard Damon wrote:
>>>>>>>>> On 11/17/24 11:04 PM, olcott wrote:
>>>>>>>>>> On 11/17/2024 9:19 PM, Richard Damon wrote:
>>>>>>>>>>> On 11/17/24 9:47 PM, olcott wrote:
>>>>>>>>>>>> On 11/17/2024 8:26 PM, Richard Damon wrote:
>>>>>>>>>>>>> On 11/17/24 8:46 PM, olcott wrote:
>>>>>>>>>>>>>> On 11/17/2024 4:04 PM, Richard Damon wrote:
>>>>>>>>>>>>>>> On 11/17/24 4:30 PM, olcott wrote:
>>>>>>>>>>>>>>>> On 11/17/2024 2:51 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>> On 11/17/24 1:36 PM, olcott wrote:
>>>
>>>>>>>>>>>>>>> Which is just what YOU are doing, as "Halting" and what a
>>>>>>>>>>>>>>> "Program" is are DEFINED, and you can't change it.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>> YET ANOTHER STUPID LIE.
>>>>>>>>>>>>>> A SMART LIAR WOULD NEVER SAY THAT I MEANT PROGRAM WHEN I
>>>>>>>>>>>>>> ALWAYS SPECIFIED A C FUNCTION.
>>>>>>>>>>>>>>
>>>>>>>>>>>>> But then you can talk about "emulation" or x86 semantics, as
>>>>>>>>>>>>> both of those are operations done on PROGRAMS.
>>>>>>>>>>>>>
>>>>>>>>>>>> No stupid I provided a published paper that includes the
>>>>>>>>>>>> termination analysis of C functions.
>>>>>>>>>>>
>>>>>>>>>>> Look again at what they process. C functions that include all 
>>>>>>>>>>> the
>>>>>>>>>>> functions they call.
>>>>>>>>>>>
>>>>>>>>>> You stupidly claimed termination analysis is only done on
>>>>>>>>>> programs. I proved that you were stupidly wrong on pages 24-27 of
>>>>>>>>>> the PDF of this paper.
>>>>>>>>>> Automated Termination Analysis of C Programs
>>>>>>>>>> https://publications.rwth-aachen.de/record/972440/ 
>>>>>>>>>> files/972440.pdf
>>>>>>>>>>
>>>>>>>>> The problem here is you are mixing language between domains.
>>>>>>>>
>>>>>>>> I said the termination analysis applies to C functions you said 
>>>>>>>> that
>>>>>>>> it does not. No weasel words around it YOU WERE WRONG!
>>>>>>>>
>>>>>>> Termination analysis applies to FUNCTIONS, FULL FUNCTIONS, ones that
>>>>>>> include everything that is part of them. Those things, in 
>>>>>>> computation
>>>>>>> theory, are called PROGRAMS.
>>>>>>
>>>>>> The top of PDF page 24 are not programs defection for brains.
>>>>>> https://publications.rwth-aachen.de/record/972440/files/972440.pdf
>>>>>>
>>>>> Those *ARE* "Computation Theory" Programs.
>>>>> They are also  LEAF functions, unlike your DDD.
>>>>> NOTHING in that paper (form what I can see) talks about handling non-
>>>>> leaf-functions with including all the code in the routines it calls.
>>>>>
>>>> Since the halting problem is defined to have the input call its own
>>>> termination analyzer and the termination analyzer is itself required to
>>>> halt then any sequence of this input that would prevent it from halting
>>>> IS A NON-HALTING SEQUENCE THAT MUST BE ABORTED AND CANNOT BE ALLOWED TO
>>>> CONTINUE.
>>> What happens when we run HHH(HHH)?
>>>
>>
>> The ONLY thing that it relevant is that DDD emulated by
>> HHH according to the semantics of the x86 language specifies
>> that HHH must emulate itself emulating DDD and
> 
> No, that is IRRELEVENT as it isn't a proper question to ask a decider.
> 

It has been the correct question to ask a simulating halt decider
for more than two years now. My treatment for cancer will be every
day for a year beginning next week.

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