Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v2grhg$1kiah$2@i2pn2.org>
Deutsch   English   Français   Italiano  
<v2grhg$1kiah$2@i2pn2.org>

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

Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Every D(D) simulated by H presents non-halting behavior to H ###
Date: Mon, 20 May 2024 20:57:20 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v2grhg$1kiah$2@i2pn2.org>
References: <v18e32$1vbql$1@dont-email.me> <v1d2mi$9f72$11@i2pn2.org>
 <v1di1h$3b2m5$1@dont-email.me> <v1dtdv$3dqg4$1@dont-email.me>
 <v1du2i$3dt7u$1@dont-email.me> <v1fetd$3s7jo$1@dont-email.me>
 <v1ft42$3vdau$2@dont-email.me>
 <-5Gdnf-nQvstC6b7nZ2dnZfqnPadnZ2d@brightview.co.uk>
 <v1gid8$4ilc$1@dont-email.me> <v1h9eu$9faf$1@dont-email.me>
 <v1iqli$nsva$1@dont-email.me> <v1ln3c$vfh$1@news.muc.de>
 <v1s6e6$397iq$2@dont-email.me> <v1slmi$3cjtp$1@dont-email.me>
 <v1t8tt$3gu9t$3@dont-email.me> <v1vc8j$3jmr$1@dont-email.me>
 <v1vsru$7eqc$1@dont-email.me> <v21r4i$otc2$2@dont-email.me>
 <v22k4b$umr4$1@dont-email.me> <v24oah$1h4u3$1@dont-email.me>
 <v256fc$1kais$1@dont-email.me> <v27d05$25ga0$1@dont-email.me>
 <v2838r$29rd7$1@dont-email.me> <v2a8th$2ps09$1@dont-email.me>
 <v2ahqc$2qvr9$1@dont-email.me> <v2cb5s$39fvg$1@dont-email.me>
 <v2crk0$3cifp$1@dont-email.me> <v2cvuo$3dfkm$1@dont-email.me>
 <v2d0qm$3ddo5$3@dont-email.me> <v2f15t$3t14c$1@dont-email.me>
 <v2g2t6$3ugq$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 21 May 2024 00:57:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1722705"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v2g2t6$3ugq$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 7913
Lines: 154

On 5/20/24 1:56 PM, olcott wrote:
> On 5/20/2024 3:21 AM, Mikko wrote:
>> On 2024-05-19 14:03:01 +0000, olcott said:
>>
>>> On 5/19/2024 8:48 AM, Mikko wrote:
>>>> On 2024-05-19 12:34:08 +0000, olcott said:
>>>>
>>>>> On 5/19/2024 2:53 AM, Mikko wrote:
>>>>>> On 2024-05-18 15:34:36 +0000, James Kuyper said:
>>>>>>
>>>>>>> On 5/18/24 09:02, Mikko wrote:
>>>>>>>> On 2024-05-17 17:14:01 +0000, olcott said:
>>>>>>>
>>>>>>> I recommend ignoring olcott - nothing good ever comes from paying
>>>>>>> attention to him.
>>>>>>>
>>>>>>>>> On 5/17/2024 5:53 AM, Mikko wrote:
>>>>>>>>>> On 2024-05-16 14:50:19 +0000, olcott said:
>>>>>>>>>>
>>>>>>>>>>> On 5/16/2024 5:48 AM, Mikko wrote:
>>>>>>>>>>>> On 2024-05-15 15:24:57 +0000, olcott said:
>>>>>>> ...
>>>>>>>>>>>>> typedef int (*ptr)();  // ptr is pointer to int function
>>>>>>>>>>>>> 00 int H(ptr x, ptr x);
>>>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>>>> 02 {
>>>>>>>>>>>>> 03   int Halt_Status = H(x, x);
>>>>>>>>>>>>> 04   if (Halt_Status)
>>>>>>>>>>>>> 05     HERE: goto HERE;
>>>>>>>>>>>>> 06   return Halt_Status;
>>>>>>>>>>>>> 07 }
>>>>>>>>>>>>> 08
>>>>>>>>>>>>> 09 int main()
>>>>>>>>>>>>> 10 {
>>>>>>>>>>>>> 11   H(D,D);
>>>>>>>>>>>>> 12   return 0;
>>>>>>>>>>>>> 13 }
>>>>>>>>>>>>
>>>>>>>>>>>> Can you find any compiler that is liberal enough to accept 
>>>>>>>>>>>> that?
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> It has been fully operational code under Windows and
>>>>>>>>>>> Linux for two years.
>>>>>>>>>>
>>>>>>>>>> If your compiler does not reject that program it is not a 
>>>>>>>>>> conforming
>>>>>>>>>> C compiler. The semantics according to C standard is that a 
>>>>>>>>>> diagnostic
>>>>>>>>>> message must be given. The standard does not specify what 
>>>>>>>>>> happens if
>>>>>>>>>> you execute that program anyway.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> It is not nit picky syntax that is the issue here.
>>>>>>>>> The SEMANTICS OF THE C PROGRAMMING LANGUAGE SPECIFIES
>>>>>>>>>
>>>>>>>>> No D simulated correctly by any H of every H/D pair specified
>>>>>>>>> by the above template ever reaches its own line 06 and halts.
>>>>>>>>
>>>>>>>> The standard allows that an program is executed but does not
>>>>>>>> specify what happens when an invalid program is executed.
>>>>>>>
>>>>>>> You've cross-posted this to comp.lang.c after a long-running 
>>>>>>> discussion
>>>>>>> solely on comp.theory. Presumably you're doing that because you want
>>>>>>> some discussion about what the standard says about this code. For 
>>>>>>> the
>>>>>>> sake of those of us who have not been following that discussion on
>>>>>>> comp.theory, could you please identify what it is that you think 
>>>>>>> renders
>>>>>>> this code invalid? Offhand, I don't see anything wrong with it, 
>>>>>>> but I'm
>>>>>>> far more reliable when I say "I see an error" than when I say "I 
>>>>>>> don't
>>>>>>> see an error".
>>>>>>>
>>>>>>>
>>>>>>>>> Fully operational software that runs under Widows and Linux
>>>>>>>>> proves that the above is true EMPIRICALLY.
>>>>>>>>
>>>>>>>> No, it does not. As the program is not strictly comforming
>>>>>>>> and uses a non-standard extension some implementation may
>>>>>>>> execute it differently or refuse to execute.
>>>>>>>
>>>>>>> Which non-standard extension does it use?
>>>>>>
>>>>>> The main question is whether both arguments of H on the line 00 
>>>>>> can have
>>>>>> the same name.
>>>>>
>>>>> That was a typo that I did not believe when told because so may people
>>>>> continue to lie about the behavior of D correctly simulated by H.
>>>>
>>>> How does the D that is correctly simulated by H different from any
>>>> D that is incorrectly simulated by H nor not simulated by H?
>>
>> Oops, I made a typo on the last line. Pro "nor" lege "or".
>> Fortunately most of the typos are harmless but this one
>> might be a problem.
>>
>>> typedef int (*ptr)();  // ptr is pointer to int function
>>> 00 int H(ptr p, ptr i);
>>> 01 int D(ptr p)
>>> 02 {
>>> 03   int Halt_Status = H(p, p);
>>> 04   if (Halt_Status)
>>> 05     HERE: goto HERE;
>>> 06   return Halt_Status;
>>> 07 }
>>> 08
>>> 09 int main()
>>> 10 {
>>> 11   H(D,D);
>>> 12   return 0;
>>> 13 }
>>>
>>> In the above case a simulator is an x86 emulator that correctly
>>> emulates at least one of the x86 instructions of D in the order
>>> specified by the x86 instructions of D.
>>>
>>> This may include correctly emulating the x86 instructions of H
>>> in the order specified by the x86 instructions of H thus calling
>>> H(D,D) in recursive simulation.
>>
>> As far as I can see, that does not say anything that was not already
>> said (but there is a minor presentational imporvement) and in particular
>> does not answer my question.
>>
> 
> For two or three years everyone has been claiming that the
> above measures of correct simulation are incorrect. Their
> "ultimate" measure of a "correct" simulation is that D does
> whatever they expect D to do.
> 

No, Your measure is not correct for determining HALTING per Computaiton 
Theory.

Since you are clearly trying to determine halting, your "partial 
simulations" (as the more accurate name would be) just are not correct 
enough to do that job.

All you can prove is that D hasn't halted YET, and that every D in that 
set takes longer to halt (if it does) then the H that simulates it does 
its simulation.

Since you have agreed that for EVERY H that returns 0 for H(D,D) that D 
built on it WLL HALT, that answer from H must be wrong, even if you try 
to invent some logic to make it the right answer. Your logic always 
tries to make the wrong answer right, by trying to let H answer some 
other question, but that is just being dishonest, as the question being 
asked IS the question being asked, which is about the actual behavior of 
the actual machine the input describes/specifies/represents even if you 
try to claim it can't be, it is.