Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #119404
| From | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> |
|---|---|
| Newsgroups | comp.lang.c++, comp.lang.c |
| Subject | Re: D correctly simulated by H never halts |
| Date | 2024-05-28 20:05 -0700 |
| Organization | A noiseless patient Spider |
| Message-ID | <v36624$vrvg$1@dont-email.me> (permalink) |
| References | (10 earlier) <v34omi$kj65$1@dont-email.me> <v35dpm$od8s$1@dont-email.me> <v35ksf$pk0n$1@dont-email.me> <v361qv$93c$1@news.gegeweb.eu> <v3634b$vg63$1@dont-email.me> |
Cross-posted to 2 groups.
On 5/28/2024 7:15 PM, olcott wrote: > On 5/28/2024 8:53 PM, tTh wrote: >> On 5/29/24 00:12, olcott wrote: >>> On 5/28/2024 3:11 PM, Chris M. Thomasson wrote: >>>> On 5/28/2024 7:11 AM, olcott wrote: >>>> [...] >>>>> H is a pure simulator or a pure function. >>>> [...] >>>> Can you show us a little pseudo code for H? >>> >>> >>> Just assume that H is an x86 emulator that emulates >>> its input function with the input to this function. >> >> Why specially a x86 ? Why not a Sparc or a 68k ? > > To make it 100% concrete so that no one can say I am being > too vague and that is what the fully operational H does. > Also I know x86 very well since it was new. > too vague? Oh that is rich.
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 11:52 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-23 17:52 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 17:11 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-23 21:10 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 20:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 18:27 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-24 07:42 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-24 13:57 +0000
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:04 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-24 12:57 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 15:55 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-25 12:57 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 21:08 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-23 19:34 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 22:57 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 08:01 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Sam <sam@email-scan.com> - 2024-05-24 13:27 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 16:19 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Harnden <richard.nospam@gmail.invalid> - 2024-05-24 13:10 +0100
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 08:08 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? David Brown <david.brown@hesbynett.no> - 2024-05-24 15:37 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:03 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 16:05 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 16:28 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 17:01 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 11:57 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 20:52 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 14:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-25 09:32 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Tim Rentsch <tr.17687@z991.linuxsc.com> - 2024-05-25 00:58 -0700
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 06:13 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 06:22 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 12:57 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-05-25 16:48 +0100
D correctly simulated by pure function H cannot possibly reach its own line 06 olcott <polcott333@gmail.com> - 2024-05-25 12:46 -0500
D correctly simulated by pure function H cannot possibly reach its own line 06---TOC divergence olcott <polcott333@gmail.com> - 2024-05-25 14:41 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 23:19 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 13:01 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-26 08:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-26 16:43 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-26 10:42 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-27 10:57 +0200
D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-27 09:00 -0500
Re: D correctly simulated by H never halts "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:11 +0200
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 09:11 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 13:11 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 17:12 -0500
Re: D correctly simulated by H never halts tTh <tth@none.invalid> - 2024-05-29 03:53 +0200
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 21:15 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 20:05 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 22:29 -0500
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-28 22:33 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-28 21:54 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 07:56 -0500
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 08:34 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 11:51 -0700
Re: D correctly simulated by H never halts olcott <polcott333@gmail.com> - 2024-05-29 14:16 -0500
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 11:59 -0700
Re: D correctly simulated by H never halts "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 12:09 -0700
csiph-web