Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135447
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: 5 statements of D simulated by H |
| Date | 2025-11-12 18:46 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10f39ob$1r2sv$1@dont-email.me> (permalink) |
| References | <10f2rsr$1ncqi$1@dont-email.me> <20251112155157.289@kylheku.com> |
Cross-posted to 3 groups.
On 11/12/2025 5:55 PM, Kaz Kylheku wrote:
> On 2025-11-12, olcott <polcott333@gmail.com> wrote:
>> Everyone here rejects that the execution trace
>> of 5 statements of D simulated by H according to
>> the semantics of C is this:
>
> Dickhead, can you stop spamming comp.lang.* newsgroups with this H and D
> shit?
>
*This is a FOREVER thing until someone admits the truth*
*This is a FOREVER thing until someone admits the truth*
*This is a FOREVER thing until someone admits the truth*
int D()
{
int Halt_Status = H(D);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
Everyone here rejects that the execution trace
of 5 statements of D simulated by H according to
the semantics of C is this:
(1) H simulates D that calls H(D)
(2) that simulates D that calls H(D)
(3) that simulates D that calls H(D)
(4) that simulates D that calls H(D)
(5) that simulates D that calls H(D)
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-12 14:49 -0600
Re: 5 statements of D simulated by H Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 23:55 +0000
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-12 18:46 -0600
Re: 5 statements of D simulated by H dbush <dbush.mobile@gmail.com> - 2025-11-12 20:06 -0500
Re: 5 statements of D simulated by H Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:34 +0200
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-13 10:08 -0600
Re: 5 statements of D simulated by H dbush <dbush.mobile@gmail.com> - 2025-11-13 11:17 -0500
Re: 5 statements of D simulated by H Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:27 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-14 09:21 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-15 12:05 +0200
Re: 5 statements of D simulated by H --- libelous Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:36 +0000
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-15 10:01 -0600
Re: 5 statements of D simulated by H --- libelous dbush <dbush.mobile@gmail.com> - 2025-11-15 14:44 -0500
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:09 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-16 18:02 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-17 10:34 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-17 07:15 -0600
Re: 5 statements of D simulated by H --- libelous dbush <dbush.mobile@gmail.com> - 2025-11-17 08:33 -0500
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-18 12:30 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-18 10:48 -0600
Re: 5 statements of D simulated by H Alan Mackenzie <acm@muc.de> - 2025-11-18 19:10 +0000
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-18 14:03 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:55 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-19 07:03 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-20 11:04 +0200
csiph-web