Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #107788
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: DDD correctly emulated by H0 |
| Date | 2024-06-25 08:16 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v5eg03$1ikpr$2@dont-email.me> (permalink) |
| References | (27 earlier) <v539bk$329sv$1@dont-email.me> <v53upb$35vak$6@dont-email.me> <v575pl$3sg5p$1@dont-email.me> <v5767s$3soh6$1@dont-email.me> <v5e28t$11urb$5@i2pn2.org> |
Cross-posted to 2 groups.
On 6/25/2024 4:22 AM, joes wrote:
> Am Sat, 22 Jun 2024 13:47:24 -0500 schrieb olcott:
>> On 6/22/2024 1:39 PM, Fred. Zwarts wrote:
>>> Op 21.jun.2024 om 15:21 schreef olcott:
>
>> When we stipulate that the only measure of a correct emulation is the
>> semantics of the x86 programming language then we see that when DDD is
>> correctly emulated by H0 that its call to H0(DDD) cannot possibly
>> return.
> Yes. Which is wrong, because H0 should terminate.
>
typedef void (*ptr)();
int H0(ptr P);
void DDD()
{
H0(DDD);
}
int main()
{
H0(DDD);
}
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call H0(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
The call from DDD to H0(DDD) when DDD is correctly emulated
by H0 cannot possibly return.
Until you acknowledge this is true, this is the
only thing that I am willing to talk to you about.
--
Copyright 2024 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
Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-09 22:54 -0500
Re: D correctly simulated by H proved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 08:35 +0000
Re: D correctly simulated by H proved for THREE YEARS --- Mikko <mikko.levanto@iki.fi> - 2024-06-10 12:59 +0300
Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 10:33 -0500
Re: D correctly simulated by H proved for THREE YEARS --- Mikko <mikko.levanto@iki.fi> - 2024-06-11 12:00 +0300
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 12:10 -0500
Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 09:36 -0500
Re: D correctly simulated by H proved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 15:25 +0000
Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 10:36 -0500
Re: D simulated by H unproved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 17:06 +0000
Re: D simulated by H unproved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 12:31 -0500
Re: D correctly simulated by H proved for THREE YEARS --- Richard Damon <richard@damon-family.org> - 2024-06-10 07:16 -0400
Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error olcott <polcott333@gmail.com> - 2024-06-10 21:06 -0500
Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error Richard Damon <richard@damon-family.org> - 2024-06-10 23:32 -0400
Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error olcott <polcott333@gmail.com> - 2024-06-10 23:31 -0500
Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error Richard Damon <richard@damon-family.org> - 2024-06-11 07:47 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 12:12 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 18:47 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 18:23 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Python <python@invalid.org> - 2024-06-12 02:20 +0200
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 19:57 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 22:32 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 22:34 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 11:50 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 18:59 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 18:12 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 19:41 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 18:53 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 20:37 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 20:19 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 21:50 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 20:54 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 22:06 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 21:21 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 22:57 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 22:24 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 23:45 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 22:58 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 07:31 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 10:32 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 17:34 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 21:24 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 20:39 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 23:04 -0400
H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-13 22:14 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-13 23:44 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-13 23:13 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 07:39 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 08:15 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-14 15:54 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 12:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-15 11:34 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-15 07:21 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-15 15:33 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-15 08:24 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-15 09:51 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-16 12:15 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-16 07:59 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:10 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-17 07:51 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 10:44 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 07:46 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 18:36 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 10:44 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:27 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 11:36 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-19 11:07 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-19 08:37 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-20 08:04 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 00:15 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-20 17:42 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 10:04 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-20 16:16 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 11:28 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-21 10:05 +0200
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-21 08:13 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-21 10:27 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-20 21:55 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 21:04 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-20 22:38 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 21:46 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-20 22:59 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 22:30 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-20 23:52 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 23:01 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 10:36 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 11:56 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:06 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 12:16 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:26 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 12:38 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:52 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 13:18 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 14:42 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 13:53 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 15:05 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 14:19 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 15:33 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 14:45 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 16:00 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 15:52 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 17:10 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 16:25 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 17:46 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 17:44 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 18:58 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 18:11 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 19:36 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 18:27 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-21 19:38 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 22:16 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma joes <noreply@example.com> - 2024-06-22 04:24 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 23:31 -0500
Re: Dogma -- other deciders joes <noreply@example.com> - 2024-06-22 08:59 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:03 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-22 08:12 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:38 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 08:59 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-22 08:12 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:38 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply joes <noreply@example.com> - 2024-06-22 04:09 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 23:18 -0500
Re: Boilerplate Reply -- different simulation joes <noreply@example.com> - 2024-06-22 08:47 +0000
Re: Boilerplate Reply -- different simulation olcott <polcott333@gmail.com> - 2024-06-22 08:08 -0500
Re: Boilerplate Reply -- different simulation joes <noreply@example.com> - 2024-06-22 14:36 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:05 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-22 08:15 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:35 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Mikko <mikko.levanto@iki.fi> - 2024-06-22 12:08 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-22 07:58 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:22 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 08:49 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 10:41 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-21 10:16 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-21 08:21 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-21 10:43 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-22 14:06 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-22 20:39 +0200
DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-22 13:47 -0500
Re: DDD correctly emulated by H0 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-22 20:53 +0200
Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-22 13:56 -0500
Re: DDD correctly emulated by H0 Richard Damon <richard@damon-family.org> - 2024-06-22 15:11 -0400
Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 09:22 +0000
Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 08:16 -0500
Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 13:46 +0000
Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 09:03 -0500
Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 14:32 +0000
Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 16:28 +0000
Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 12:21 -0500
Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 20:25 +0000
Re: DDD correctly emulated by H0 Ben Bacarisse <ben@bsb.me.uk> - 2024-06-25 15:04 +0100
Re: DDD correctly emulated by H0 --- Ben fails to understand computable functions olcott <polcott333@gmail.com> - 2024-06-25 09:21 -0500
Re: DDD correctly emulated by H0 --- Ben fails to understand computable functions Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 14:46 +0000
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 12:45 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 21:05 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 22:23 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 21:29 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 22:55 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 22:29 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 23:35 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 22:42 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 07:02 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 08:42 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 18:46 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:55 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 19:20 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 20:42 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 02:15 +0100
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 02:30 +0100
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 21:52 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 03:06 +0100
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:29 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:38 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:39 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:51 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 23:16 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 22:34 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 07:34 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 08:35 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:13 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:39 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:56 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 23:15 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 22:30 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 07:34 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 09:00 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:04 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 03:16 +0100
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:35 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:00 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-26 11:41 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 07:58 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-27 10:36 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 09:10 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-27 18:35 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 11:56 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-27 17:25 +0000
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 12:38 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-28 12:25 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-28 10:21 -0500
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-28 16:21 +0000
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-29 11:05 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-28 11:30 +0300
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-28 07:40 -0500
Re: Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-28 13:04 +0000
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-28 23:49 -0400
Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-29 11:10 +0300
Re: DDD correctly emulated by H0 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-25 16:41 +0100
Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 10:56 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 19:34 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 21:38 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 20:59 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:16 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:25 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:48 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:52 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 23:43 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:06 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:17 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 21:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 22:50 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 21:56 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 23:36 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 22:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 23:48 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 22:55 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 06:56 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 08:35 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 09:51 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 09:23 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 10:46 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 10:03 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 11:18 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 10:41 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 11:52 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:11 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 12:24 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:31 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 12:39 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:50 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:04 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 12:16 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:23 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 12:33 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:41 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 13:03 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 14:10 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 14:16 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 19:06 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 18:28 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 19:51 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 19:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 21:11 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 20:57 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 22:32 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 22:16 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-16 07:44 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-16 08:21 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. joes <noreply@example.com> - 2024-06-15 11:48 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 07:26 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) olcott <polcott333@gmail.com> - 2024-06-15 09:44 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 11:09 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) olcott <polcott333@gmail.com> - 2024-06-15 10:17 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 11:24 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-14 08:38 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 07:34 -0500
H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 09:37 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 11:00 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 10:07 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 11:12 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 10:54 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies joes <noreply@example.com> - 2024-06-15 16:11 +0000
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:19 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:26 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:31 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:41 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:12 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:23 -0500
H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 11:57 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 13:17 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 12:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 14:08 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 13:55 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:15 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 18:40 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:57 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:44 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:13 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 20:39 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 22:02 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 22:22 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 11:34 +0300
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:53 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 07:44 -0400
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 08:04 -0500
Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:05 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 07:55 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules onion@anon.invalid (Mr Γn!on) - 2024-06-13 14:52 +0100
Re: β Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake β π³οΈβπD correctly simulated by H proved for THREE YEARS --- finite string transformation rulesπ³οΈβπ β Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake ββ Snowflake β (Was: π³οΈβπD correctly simulated by H proved for THREE YEARS --- finite string transformation rulesπ³οΈβπ) πππ»πΊπΉπ»ππ·πΊπJenπππ»πΊπΉπ»ππ·πΊπ Dershmender ππ»πΊπΉπ»ππ·πΊπΆη¬πππ»πΊπΉπ»ππ·πΊπ <root@127.0.0.1> - 2024-06-13 14:51 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 21:28 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:42 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:52 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 07:58 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 16:53 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 12:06 -0500
Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding joes <noreply@example.com> - 2024-06-13 17:38 +0000
Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding olcott <polcott333@gmail.com> - 2024-06-14 07:07 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 22:30 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 22:21 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 11:57 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 19:03 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 18:25 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 19:45 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 19:37 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 20:52 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 20:27 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 21:36 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 20:50 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 22:16 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 21:25 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 22:37 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 21:48 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 23:08 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 22:26 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 23:49 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 23:06 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:23 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 07:31 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 08:37 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 17:19 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:19 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 21:22 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 23:06 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:12 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations olcott <polcott333@gmail.com> - 2024-06-13 08:07 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations joes <noreply@example.com> - 2024-06-13 17:06 +0000
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations olcott <polcott333@gmail.com> - 2024-06-13 13:07 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations Richard Damon <richard@damon-family.org> - 2024-06-13 22:30 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations olcott <polcott333@gmail.com> - 2024-06-13 21:31 -0500
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations Richard Damon <richard@damon-family.org> - 2024-06-13 22:27 -0400
Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations olcott <polcott333@gmail.com> - 2024-06-13 21:30 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:49 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 08:10 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Alan Mackenzie <acm@muc.de> - 2024-06-13 14:35 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 10:08 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 17:26 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 07:05 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 19:40 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 21:58 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 21:06 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 22:05 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 21:07 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:35 -0400
Re: D correctly simulated by H proved for THREE YEARS --- specification joes <noreply@example.com> - 2024-06-13 17:09 +0000
Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:31 -0400
Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 21:33 -0500
Re: D correctly simulated by H proved for THREE YEARS --- rewritten "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-12 08:24 +0200
csiph-web