Re: Is Richard a Liar? No!

On 5/15/2024 8:40 AM, Alan Mackenzie wrote:

[ Followup-To: set ]
 In comp.theory olcott <polcott333@gmail.com> wrote:

On 5/14/2024 1:30 PM, Fred. Zwarts wrote:

Op 14.mei.2024 om 19:52 schreef olcott:

On 5/14/2024 12:49 PM, Fred. Zwarts wrote:

 [ .... ]
 

In comp.theory olcott <polcott333@gmail.com> wrote:

 [ .... ]
 

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 int main()
10 {
11   H(D,D);
12 }

 [ .... ]
 

But nobody here knows the proof for your assertion above, that it is
a verified fact that it cannot reach past line 03. So, we would like
to see that proof. Just the claim that it has been proven is not enough.

 

The "nobody here" you are referring to must be clueless
about the semantics of the C programming language.

 

Are you honest? Please, give the proof, instead of keeping away from it.

 

I have been an expert C/C++ programmer for decades.

 I see evidence to the contrary. 

*Switching away from the topic of the post is not a rebuttal*
*Switching away from the topic of the post is not a rebuttal*
*Switching away from the topic of the post is not a rebuttal*
Message-ID: <v0ummt$2qov3$2@i2pn2.org>
On 5/1/2024 7:28 PM, Richard Damon wrote:
 > On 5/1/24 11:51 AM, olcott wrote:
*When Richard interprets*
*Every D simulated by H that cannot possibly*
*stop running unless aborted by H*
as *D NEVER simulated by H*
Richard is saying
for all "D simulated by H" there exists at least
one element of "D NEVER simulated by H"
Can this be an honest mistake?
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer