Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #105586

Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩
Date 2024-05-26 21:19 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v30n3k$26571$4@i2pn2.org> (permalink)
References (28 earlier) <v30hiq$3lv80$1@dont-email.me> <v30jb5$26571$2@i2pn2.org> <v30jm2$3m734$1@dont-email.me> <v30l19$26571$3@i2pn2.org> <v30m48$3mid7$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/26/24 9:03 PM, olcott wrote:
> On 5/26/2024 7:44 PM, Richard Damon wrote:
>> On 5/26/24 8:21 PM, olcott wrote:
>>> On 5/26/2024 7:15 PM, Richard Damon wrote:
>>>> On 5/26/24 7:45 PM, olcott wrote:
>>>>> On 5/26/2024 6:07 PM, Richard Damon wrote:
>>>>>> On 5/26/24 6:47 PM, olcott wrote:
>>>>>>> On 5/26/2024 3:20 PM, Richard Damon wrote:
>>>>>>>> On 5/26/24 3:14 PM, olcott wrote:
>>>>>>>>> When Ĥ is applied to ⟨Ĥ⟩
>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
>>>>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
>>>>>>>>>
>>>>>>>>> When we see that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by embedded_H in an
>>>>>>>>> infinite number of steps cannot possibly reach its own simulated
>>>>>>>>> final state of ⟨Ĥ.qn⟩ and halt then we correctly deduce that the
>>>>>>>>> same thing applies when simulating halt decider embedded_H 
>>>>>>>>> correctly
>>>>>>>>> simulates less than an infinite number of steps of ⟨Ĥ⟩ ⟨Ĥ⟩.
>>>>>>>>>
>>>>>>>>
>>>>>>>> Nope.
>>>>>>>>
>>>>>>>> Since we are talking about Turing Machines, your stipulated POOP 
>>>>>>>> definitions go away, 
>>>>>>>
>>>>>>> https://www.liarparadox.org/Linz_Proof.pdf
>>>>>>> *Simplified the notation for Ĥ on the top of page three*
>>>>>>> and put back in the qy state shown in figure 12.2
>>>>>>>
>>>>>>> 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.
>>>>>>>
>>>>>>> It is an easily verified fact that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by 
>>>>>>> embedded_H cannot possibly reach its own simulated final state of
>>>>>>> ⟨Ĥ.qn⟩ in any finite sequence of steps.
>>>>>>
>>>>>> Nope, since we are in Turing Machines, the term "Correctly 
>>>>>> Simulated" means, and can ONLY mean, the resuts of a UTM 
>>>>>> simulation, which BY DEFINITION is nopt aborted.
>>>>>
>>>>> You always seem to make sure respond to a different set of words
>>>>> than the words I actually said. This could be an honest mistake.
>>>>>
>>>>> *I SAID A CORRECT SIMULATION OF A FINITE NUMBER OF STEPS*
>>>>
>>>> No you didn't, not the last time.
>>>>
>>>> You said (H^) H^) correctly simulated by embbeded_H cannot ..."
>>>>
>>>> If embedded_H does a "Correct Simulation", then BY DEFINITION, it 
>>>> never aborts.
>>>>
>>>> That it doesn't reach a final state in a finte number of steps, and 
>>>> thus, that "Correct Simulation" was non-halting.
>>>>
>>>> (and your earlier statement tried to assert behavior of THIS H^ 
>>>> based on the behaviof or a DIFFERENT H^ built on a diffferent 
>>>> embedded_H with differet behaivor which is just unsound logic, as 
>>>> the two machines are essentially unrelated as far as this behavior)
>>>>
>>>>>
>>>>> *WHEN I EXPLICITLY STATE A FINITE NUMBER OF STEPS THEN YOU ARE*
>>>>> *FLAT OUT WRONG TO SIMPLY ASSUME AN INFINITE NUMBER OF STEPS*
>>>>
>>>> Nope, you said it didn't reach a final state in a finite number of 
>>>> steps, i.e the simulation is shown to be non-halting.
>>>
>>> *If you need to, reread that many times*
>>>  >>>> It is an easily verified fact that ⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by
>>>  >>>> embedded_H cannot possibly reach its own simulated final state of
>>>  >>>> ⟨Ĥ.qn⟩ in any finite sequence of steps.
>>
>> Right, so if you claim embedded_H is actually DOING a "Correct 
>> Simulation", then BY the DEFINITION of COMPUTATION THEORY, that is an 
>> non-aborted simulation.
>>
> 
> CORRECT SIMULATION OF A FINITE NUMBER OF STEPS
> CORRECT SIMULATION OF A FINITE NUMBER OF STEPS
> CORRECT SIMULATION OF A FINITE NUMBER OF STEPS


Not. what you said. You do like to change meaning with a "paraphrase" 
which is actually just a way to LIE.

Typical method of deliberate liars.

your clause about a finite sequence of steps was about reaching a final 
state, NOT about the actual simulation, which was just defined a 
"Correct" which means like a UTM which means it doesn't abort until it 
reaches the final state (which you admit it won't, so the simulator is 
stuck being non-halting, and thus not a decider).


> 
> UNLESS YOU CAN PROVE THAT A UTM CANNOT POSSIBLY BE ADAPTED TO COUNT
> THE NUMBER OF STEPS AND THEN STOP I AM CORRECT AND YOU ARE DISHONEST
> 

It can be, but the isn't a UTM, BY DEFINITION.

Look up the definition of a Universal Turing Machine.

https://en.wikipedia.org/wiki/Universal_Turing_machine

In short, the Universal Turing Machine, when given the proper 
description of the Machine it emulate, computes the same result as the 
machine described.

This can not be done if the UTM aborts after a finite number of steps 
without reaching the final state.

And also, there is nothing in the definition that the UTM actually step 
through the same virtual sequence of states of the machine it is 
emulating. Yes, that is a natural way to do it, but isn't required, 
because everything in this area of computation theory is about input to 
output mapping, and NOT about how it was done, except for the 
requirement that it was done with a finite algorithm processing the data 
given to it.



You are just proving your ignorance of the subject.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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