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

On 5/29/24 11:48 PM, olcott wrote:

On 5/29/2024 9:55 PM, Richard Damon wrote:

On 5/29/24 10:36 PM, olcott wrote:

On 5/29/2024 9:25 PM, Richard Damon wrote:

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

When the category is examined all at once then there is no need
to look at each individual element.

>
So, which one or ones gave the correct answer for their input?
>

>
*Formalizing the Linz Proof structure*
∃H  ∈ Turing_Machines
∀x  ∈ *Turing_Machines_Descriptions*
∀y  ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
>
When we formalize it that way then some simulating halt deciders
get the correct answer.
>
*Everyone else implicitly assumes this incorrect formalization*
∃H  ∈ Turing_Machines
∀x  ∈ *Turing_Machines*
∀y  ∈ Finite_Strings
such that H(x,y) = Halts(x,y)
>
>

>
Nope.
>
You just don't understand the meaning of a "Description" in the problem.
>

 I have an OCD/Aspergers degree of single-minded focus.
20 years ago I tested 50% above normal on the Aspergers test.
Because I have focused this concentration of having empathy
I now score 50% below normal on Asperger tests.

Which explains, but not excuses you awful behavior.

 The issue is that everyone else has not paid close enough
attention to what a decider does.

No, YOU haven't paid close enough attention to what a "foo" decideer is supposed ot do. Your H may be a correct decider (but I suspect we can find inputs it doesn't always halt on) but it isn't a *HALT* decider as its answer doesn't match the Halts
I guess you are aadmitting to a mental deficency that just makes it impossible to understand the truth, that also gives you a social deficency to be unable to communicate this properly to others.
That doesn't excuse your behavior.
Question, is this the source of your mental incompetancy to stand trial on the kiddie porn charges?
Have they decided that you are just an annoyance to society, but not am actual threat so you don't need to be locked up?

 *A deciders compute the mapping*
 FROM ITS INPUTS
FROM ITS INPUTS
FROM ITS INPUTS
FROM ITS INPUTS
FROM ITS INPUTS

And *THE* mapping it is trying to compute is the funcitons Halts(x, y)
Which CAN'T very based on H, as it doesn't take H as an input

 *to it own accept or reject state*
 *Deciders cannot take*
 ACTUAL TURING MACHINES AS INPUTS
ACTUAL TURING MACHINES AS INPUTS
ACTUAL TURING MACHINES AS INPUTS
ACTUAL TURING MACHINES AS INPUTS
ACTUAL TURING MACHINES AS INPUTS

But CAN take a complete description of one.

 *Deciders can only take*
 FINITE STRINGS AS INPUTS
FINITE STRINGS AS INPUTS
FINITE STRINGS AS INPUTS
FINITE STRINGS AS INPUTS
FINITE STRINGS AS INPUTS
 

Which a complete description of a Turing Machine is.