Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105616
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ |
| Date | 2024-05-27 14:45 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v32nsa$6fo3$1@dont-email.me> (permalink) |
| References | (29 earlier) <v328l1$28n58$2@i2pn2.org> <v329t8$3mh0$2@dont-email.me> <v32ait$28n58$4@i2pn2.org> <v32bvc$48pj$1@dont-email.me> <v32cko$2937i$1@i2pn2.org> |
Cross-posted to 2 groups.
On 5/27/2024 11:33 AM, Richard Damon wrote:
> On 5/27/24 12:22 PM, olcott wrote:
>> On 5/27/2024 10:58 AM, Richard Damon wrote:
>>> On 5/27/24 11:46 AM, olcott wrote:
>>>> On 5/27/2024 10:25 AM, Richard Damon wrote:
>>>>> On 5/27/24 11:06 AM, olcott wrote:
>>>>
>>>>
>>>> typedef int (*ptr)(); // ptr is pointer to int function in C
>>>> 00 int H(ptr p, ptr i);
>>>> 01 int D(ptr p)
>>>> 02 {
>>>> 03 int Halt_Status = H(p, p);
>>>> 04 if (Halt_Status)
>>>> 05 HERE: goto HERE;
>>>> 06 return Halt_Status;
>>>> 07 }
>>>> 08
>>>> 09 int main()
>>>> 10 {
>>>> 11 H(D,D);
>>>> 12 return 0;
>>>> 13 }
>>>>
>>>> The above template refers to an infinite set of H/D pairs where D is
>>>> correctly simulated by either pure simulator H or pure function H. This
>>>> was done because many reviewers used the shell game ploy to endlessly
>>>> switch which H/D pair was being referred to.
>>>>
>>>> *Correct Simulation Defined*
>>>> This is provided because many reviewers had a different notion of
>>>> correct simulation that diverges from this notion.
>>>>
>>>> A simulator is an x86 emulator that correctly emulates 1 to N of
>>>> the
>>>> x86 instructions of D in the order specified by the x86
>>>> instructions
>>>> of D. This may include M recursive emulations of H emulating itself
>>>> emulating D.
>>>
>>> And how do you apply that to a TEMPLATE that doesn't define what a
>>> call H means (as it could be any of the infinite set of Hs that you
>>> can instantiate the template on)?
>>>
>>
>> *Somehow we got off track of the subject of this thread*
>
> I note that YOU keep on switching between your C program and Turing
> Machines.
>
> Note, per the implications that you implicitly agreed to (by not even
> trying to refute) the two systems are NOT equivalents of each other.
>
(1) I think you are wrong. I have not seen any of your
reasoning that was not anchored in false assumptions.
Your make fake rebuttal is to change the subject.
(2) It does not matter my proof is anchored in the Linz
proof and the H/D pairs are only used to have a 100% concrete
basis to perfectly anchor things such as the correct meaning
of D correctly simulated by H so that people cannot get away
with claiming that an incorrect simulation is correct.
int main() { D(D); } IS NOT THE BEHAVIOR OF D CORRECTLY SIMULATED BY H.
One cannot simply ignore the pathological relationship between H and D.
>>
>> When Ĥ is applied to ⟨Ĥ⟩
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>
>> Ĥ copies its own Turing machine description: ⟨Ĥ⟩
>> then invokes embedded_H that simulates ⟨Ĥ⟩ with ⟨Ĥ⟩ as input.
>>
>> For the purposes of the above analysis we hypothesize that
>> embedded_H is either a UTM or a UTM that has been adapted
>> to stop simulating after a finite number of steps of simulation.
>
> And what you do mean by that?
>
> Do you hypothesize that the original H was just a pure UTM,
The original proof does not consider the notion of a simulating
halt decider so I have to begin the proof at an earlier stage
than any definition of H.
> in which
> case we have previously shown that H (H^) (H^) will never answer, and
> thus isn't a correct decider.
I include UTM embedded_H and adapted UTM embedded_H so that every
simulation of 1 to ∞ steps can be reviewed. At this point embedded_H
is not a decider, it either either a UTM or a UTM that has been
adapted to stop simulating after a finite number of steps.
As you already acknowledged neither UTM embedded_H nor ⟨Ĥ⟩ ⟨Ĥ⟩
correctly simulated by UTM embedded_H would ever halt.
The key point that you keep trying to avoid by perpetual
attempts to change the subject is that when we know that
when ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by embedded_H for an
infinite number of steps never halts that less than an
infinite number of steps will not halt either.
In other words NO MATTER WHAT ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated
by embedded_H DOES NOT HALT.
--
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
Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 12:04 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-23 21:44 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 21:22 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-23 22:41 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 22:06 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-23 23:47 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-23 22:59 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 07:18 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 14:57 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 17:03 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 16:27 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 18:17 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 12:46 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 07:14 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 14:52 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 17:03 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 16:35 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 18:18 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:06 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 13:25 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 15:03 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 17:03 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 16:37 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 18:18 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-24 09: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:10 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 13:25 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 15:01 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 17:03 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 16:39 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 18:17 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 17:20 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 19:20 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 23:28 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-25 08:52 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-25 12:56 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-25 14:16 -0400
D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 13:27 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 15:23 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 14:55 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 16:16 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 15:20 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 17:04 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 16:13 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 17:18 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 16:29 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 17:45 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:03 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:36 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:40 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:49 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:52 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:57 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:13 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:36 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:40 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:49 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 17:53 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 18:59 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 18:11 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 19:14 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 18:23 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 19:40 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 19:12 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 21:23 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 19:45 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 21:23 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 20:47 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 22:06 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 21:09 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 22:18 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 21:16 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Richard Damon <richard@damon-family.org> - 2024-05-25 22:19 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? olcott <polcott333@gmail.com> - 2024-05-25 21:03 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? Richard Damon <richard@damon-family.org> - 2024-05-25 22:25 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? olcott <polcott333@gmail.com> - 2024-05-25 21:40 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? Richard Damon <richard@damon-family.org> - 2024-05-26 07:43 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? olcott <polcott333@gmail.com> - 2024-05-26 09:13 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? Richard Damon <richard@damon-family.org> - 2024-05-26 12:31 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- olcott <polcott333@gmail.com> - 2024-05-26 12:01 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Richard Damon <richard@damon-family.org> - 2024-05-26 13:16 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- olcott <polcott333@gmail.com> - 2024-05-26 12:26 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Richard Damon <richard@damon-family.org> - 2024-05-26 13:48 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof olcott <polcott333@gmail.com> - 2024-05-26 12:54 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof Richard Damon <richard@damon-family.org> - 2024-05-26 14:01 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof olcott <polcott333@gmail.com> - 2024-05-26 13:11 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof Richard Damon <richard@damon-family.org> - 2024-05-26 14:23 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz olcott <polcott333@gmail.com> - 2024-05-26 14:14 -0500
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz Richard Damon <richard@damon-family.org> - 2024-05-26 16:20 -0400
A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 17:47 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 19:07 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 18:45 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 20:15 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 19:21 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 20:44 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 20:03 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 21:19 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 21:06 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 22:30 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 21:53 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 23:15 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 21:43 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 23:05 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 22:17 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-26 23:30 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-26 22:47 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 09:27 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 09:25 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 10:48 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 10:06 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 11:25 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 10:46 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 11:58 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 11:22 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 12:33 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 14:45 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 17:21 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 17:32 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 18:44 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 19:08 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 20:17 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 19:26 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 20:48 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 20:04 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 21:24 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 20:39 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 21:54 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 21:01 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 22:23 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 21:41 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-27 22:52 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 21:59 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-28 07:34 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-28 10:20 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Mikko <mikko.levanto@iki.fi> - 2024-05-29 11:37 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-29 08:13 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-29 19:47 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Mikko <mikko.levanto@iki.fi> - 2024-05-30 10:06 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-30 08:20 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-30 21:37 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Mikko <mikko.levanto@iki.fi> - 2024-05-31 16:00 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-31 10:35 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ immibis <news@immibis.com> - 2024-05-31 19:51 +0200
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Mikko <mikko.levanto@iki.fi> - 2024-06-01 10:52 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-01 09:37 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-01 11:20 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details joes <noreply@example.com> - 2024-06-01 18:52 +0000
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-01 14:26 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-01 15:45 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-02 10:42 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-02 08:21 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details immibis <news@immibis.com> - 2024-06-02 15:29 +0200
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-03 11:01 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-03 07:36 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-03 18:16 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details wij <wyniijj5@gmail.com> - 2024-06-03 23:27 +0800
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-03 13:28 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-03 21:58 +0200
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-03 14:00 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details joes <noreply@example.com> - 2024-06-03 20:01 +0000
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-03 16:17 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-02 10:36 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-02 08:07 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-02 13:23 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-03 11:07 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details olcott <polcott333@gmail.com> - 2024-06-03 07:48 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Mikko <mikko.levanto@iki.fi> - 2024-06-03 18:19 +0300
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ -- key details Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-27 22:24 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-28 07:34 -0400
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-05-28 10:37 -0500
Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ Richard Damon <richard@damon-family.org> - 2024-05-28 22:04 -0400
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 Alan Mackenzie <acm@muc.de> - 2024-05-25 21:09 +0000
Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 olcott <polcott333@gmail.com> - 2024-05-25 16:27 -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:47 +0200
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-26 08:38 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Mikko <mikko.levanto@iki.fi> - 2024-05-24 12:03 +0300
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 07:14 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 12:16 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 13:31 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 15:07 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 17:03 -0400
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? olcott <polcott333@gmail.com> - 2024-05-24 16:41 -0500
Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? Richard Damon <richard@damon-family.org> - 2024-05-24 18:17 -0400
csiph-web