Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #106105
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: D(D) simulated by H cannot possibly reach past its own line 03 |
| Date | 2024-06-03 10:39 +0300 |
| Organization | - |
| Message-ID | <v3js08$3q76h$1@dont-email.me> (permalink) |
| References | <v12pgu$im12$1@dont-email.me> <v3hf97$3a0km$1@dont-email.me> <v3i0ri$3cpu7$4@dont-email.me> |
On 2024-06-02 14:50:26 +0000, olcott said:
> On 6/2/2024 4:50 AM, Fred. Zwarts wrote:
>> Op 03.mei.2024 om 15:40 schreef olcott:
>>> 00 int H(ptr x, ptr x) // ptr is pointer to int function
>>> 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 void main()
>>> 10 {
>>> 11 H(D,D);
>>> 12 }
>>>
>>> We are examining the behavior of D(D) for every possible H/D pair
>>> where 1 to N steps of D(D) are simulated by H.
>>>
>>> *Execution Trace*
>>> Line 11: main() invokes H(D,D) that simulates D(D)
>>>
>>> *keeps repeating* (unless aborted)
>>> Line 01
>>> Line 02
>>> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>
>>> *Simulation invariant*
>>> D correctly simulated by H cannot possibly reach past its own line 03.
>>
>> The Linz proof is based on the pathological relation ship that D
>> contradicts the result of H. This is expressed in lines 04, 05, 06 of
>> D, above.
>> It is strange that olcott claims that the simulation never sees the
>> pathological part of D. He now seems to shift the meaning of
>> pathological to the mere fact that D calls H. Lines 04, 05, and 06 are
>> completely irrelevant.
>> In fact, any function that calls H now become pathological.
>>
>> E.G. if we replace D with a function P that only returns its own Halt_Status:
>>
>> 01 int P(ptr x)
>> 02 {
>> 03 int Halt_Status = H(x, x);
>> 04
>> 05
>> 06 return Halt_Status;
>> 07 }
>>
>> Then we would normally expect that, because H is required to halt, P
>> would halt as well. But the simulation of P by H does not halt. So, P,
>> when it halts, reports that it not halting.
>>
>> The problem here is, that H is unable to simulate itself to its final
>> state. That has no relation with the Linz proof, it is a problem of H.
>>
>> So, there is another *Simulation invariant*
>> H correctly simulated by H cannot possibly reach its own return.
>>
>
> Already addressed in another reply.
Which reply? The one where you said you made a mistake? Or typo?
--
Mikko
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 08:40 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 17:53 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 21:32 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:55 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 17:42 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 18:55 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:56 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 23:11 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 19:13 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 23:24 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 22:39 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:59 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-02 11:50 +0200
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-02 09:50 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-03 10:39 +0300
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-03 07:25 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-03 17:17 +0300
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-03 13:09 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-03 21:47 +0200
Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: D(D) simulated by H cannot possibly reach past its own line 03 joes <noreply@example.com> - 2024-06-04 08:19 +0000
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-04 12:30 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-05 10:05 +0300
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-05 08:05 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 joes <noreply@example.com> - 2024-06-05 18:07 +0000
Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-06 11:07 +0300
Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-06 08:04 -0500
Re: D(D) simulated by H cannot possibly reach past its own line 03 immibis <news2@immibis.com> - 2024-06-07 16:25 +0200
csiph-web