Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets

On 5/29/24 9:12 PM, olcott wrote:

On 5/29/2024 8:02 PM, Richard Damon wrote:

On 5/29/24 8:53 PM, olcott wrote:

On 5/29/2024 7:47 PM, Richard Damon wrote:

On 5/29/24 8:21 PM, olcott wrote:

On 5/29/2024 7:09 PM, Richard Damon wrote:

On 5/29/24 8:01 PM, olcott wrote:

On 5/29/2024 6:47 PM, Richard Damon wrote:

*Formalizing the Linz Proof structure*
∃H  ∈ Turing_Machines
∀x  ∈ Turing_Machines_Descriptions
∀y  ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
>

>
And since NO H, can get right the H^ built to contradict IT, that claim is proven false.
>

>
YOU KEEP TRYING TO GET AWAY WITH CHANGING THE SUBJECT
THE ABOVE FORMALIZATION IS CORRECT
>

>
How?
>

>
The above is the question that Linz asks and the he gets
an answer of no, no such H exists.
>
>

>
So, you now agree with Linz. Good.
>

>
I said that Linz says that. The point is that the Linz
template examines an infinite set of Turing Machine / input
pairs the same way my H/D template references an infinite set
of C function / input pairs.
>

>
The difference is, In Linz's formulation, each machine is INDIVIDUALLY EVALUTED with its inputs,

  *No that is never the case*

Of course it is.

 When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
 The entire category of every decider/input pair is examined ALL AT ONCE.
No one is dumb enough to look at each element of an infinite set
one at a time because they know this takes literally forever.
 

Why do you say that?
How do you run ALL the machines at once?
Maybe you can think of all of them running INDIVIDUALLY in parrallel, but each machine does what that machine does with the input that THAT machine was given.
You just don't understand what you are talking about.