Re: Proof that H(D,D) meets its abort criteria --self-evident truth--

On 3/18/24 10:45 AM, olcott wrote:

On 3/18/2024 11:38 AM, Mike Terry wrote:

On 18/03/2024 15:11, Fred. Zwarts wrote:

Op 18.mrt.2024 om 15:44 schreef olcott:

On 3/18/2024 1:04 AM, Richard Damon wrote:

On 3/17/24 10:22 PM, olcott wrote:

On 3/18/2024 12:11 AM, Richard Damon wrote:

On 3/17/24 9:42 PM, olcott wrote:

On 3/17/2024 11:39 PM, Richard Damon wrote:

On 3/17/24 9:00 PM, olcott wrote:

On 3/17/2024 10:32 PM, Richard Damon wrote:

On 3/17/24 8:14 PM, olcott wrote:

On 3/17/2024 9:35 PM, Richard Damon wrote:

On 3/17/24 4:27 PM, olcott wrote:

On 3/17/2024 12:37 PM, immibis wrote:

On 17/03/24 14:11, olcott wrote:

On 3/17/2024 12:22 AM, Richard Damon wrote:

On 3/16/24 10:04 PM, olcott wrote:

On 3/17/2024 12:00 AM, Richard Damon wrote:

On 3/16/24 9:42 PM, olcott wrote:

On 3/16/2024 11:28 PM, Richard Damon wrote:

On 3/16/24 9:13 PM, olcott wrote:

On 3/16/2024 10:57 PM, Richard Damon wrote:

On 3/16/24 7:52 PM, olcott wrote:

On 3/16/2024 9:43 PM, Richard Damon wrote:

On 3/16/24 5:50 PM, olcott wrote:

On 3/16/2024 7:21 PM, Richard Damon wrote:

On 3/16/24 8:29 AM, olcott wrote:

On 3/15/2024 11:29 PM, Richard Damon wrote:

On 3/15/24 8:45 PM, olcott wrote:

H(D,D) fails to make the required mistake of reporting on what it does not see.

>
But it DOES make a mistake, because it does answer the question correctly.
>
You are just PROVING you think lying is ok.
>
You TOTALLY don't understand the meaning of truth.
>
You are REALLY just a Pathological Liar, as you have no concept of real truth,
>

>
The original halt status criteria has the impossible requirement
that H(D,D) must report on behavior that it does not actually see.
Requiring H to be clairvoyant is an unreasonable requirement.
*The criteria shown below eliminate the requirement of clairvoyance*
>
(a) If simulating halt decider H correctly simulates its input D until
H correctly determines that its simulated D would never stop running
unless aborted then
>
*H correctly simulates its input D until*
Means H does a correct partial simulation of D until H correctly
matches the recursive simulation non-halting behavior pattern.
>
>

>
But turning out to be impposible, doesn't make it incorrect or invalid.

>
*You seems to be ridiculously disingenuous about the self-evident truth*
For every possible way that H can be encoded and D(D) calls H(D,D) either H(D,D) aborts its simulation or D(D) never stops running.
>
>

>
And you are incredably stupid to not see this doesn't prove what you need it to.
>
Yes, if you define H to not abort, the we get a non-haltig D(D), but H doesn't answwer.
>
But, if you define H to abort, then,

>
We see that you changed the subject away from:
[Proof that H(D,D) meets its abort criteria]
>

>
Nope.

>
H is an algorithm that simulates its input and correctly
determines whether or not it needs to abort this simulation.
That is all that this thread's H does.
>
>
>

And what defines "Need"?
>

It is the set of every implementation of its spec:
(a) H(D,D) Simulate input.
(b) Determine if it needs to stop simulating its input to prevent
the simulated D(D) from never halting.
>

>
And thus not a specific algorithm?
>
Again, HOW do you determine NEED?
>
That is not an algorithmic step.
>
We can only verify that in retrospect.

>
Do you fully understand the spec?
>
>

>
Yes, but I think not the way you do.
>
To me, for H to NEED to abort its simulation, that means that when giving the input to a correct simulator, that simulator will not halt.
>

Yes that is correct.

>
You have just proven that H doesn't need abort its simulation and the abort decision is incorrect.

>
The head games of a Troll.
>
For every possible way that H can be encoded and D(D)
calls H(D,D) either H(D,D) aborts its simulation or D(D)
never stops running.
>

>
Which prove NOTHING, as D varies with H, so no D that was built with an H that aborts its simulation has had its actual halting status tested.

>
*That merely changes the wording of the same truism*
∀H ∈ TM ∀D ∈ TMD such that
H(D,D) simulates its input and
D calls H(D,D) and
H(D,D) does not abort its simulation
necessitates simulated D(D) never stops running.
>
>

>
Third times and still not a charm.
>
All those D still use an H that doesn't abort

>
*You keep talking in circles, there are only two sets*
∀H ∈ TM ∀D ∈ TMD | (H(D,D) simulates its input and D calls H(D,D))
(1) H(D,D) does not abort its simulation then simulated D(D) never stops running.
(2) H(D,D) aborts its simulation then simulated D(D) stops running.
>
>

>
And your top line says NOTHING about the Ds in set (2), since nothing showed them not to run
>
but your (2) admitts that D(D) will stop running, and thus the top level H didn't need to abort its simulation.
>

>
Do you understand that each H(D,D) must either abort or fail to abort?
>
>

>
And do you understand

>
Yes that is what I am asking. It seems that you don't understand
the difference between X being a member of a set and X not being
a member of a set. Very elemental set theory.

>
And you seem to be trying to convientely forget that each D that you talk about is DIFFERENT, base on the H that it was designed to confound.

>
*You keep talking in circles, there are only two sets*
∀H ∈ TM ∀D ∈ TMD | (H(D,D) simulates its input and D calls H(D,D))
(1) H(D,D) does not abort its simulation then simulated D(D) never stops running.
(2) H(D,D) aborts its simulation then simulated D(D) stops running.
*By whatever means H(D,D) places itself in (2) then H(D,D) is correct*
>

>
By repeating yourself, you run in circles.
There are three possible categories of H functions:
>
1. Hah, It aborts and reports halting.
2. Han, It aborts and repeats non halting.
3. Hss does not abort, but simply simulates.
>
 From each of them we can construct a D: Dah, Dan and Dss, respectively.
Hah(Dah,Dah) should report on its input, which halts, because it contains a copy of Hah. So if Hah aborts before it sees that Dah halts, it closes it eyes too soon and misses the easily verified fact that Dah halts. So it is wrong when it assumes that Dah does not halt and an abort is needed.
Hah(Dah,Dah) should not assume that Dah behaves like Dss, because Dss is an non-input and behaves differently from Dah.

>
You have Dah / Dan muddled in the last paragraph?  Anyway, PO's H aborts and reports non halting, so it is an Han.

 What H(D,D) reports is off-topic for this post.
*We are only looking at this*
[Proof that H(D,D) meets its abort criteria --self-evident truth--]
*Thus H(D,D) aborts or H(D,D) fails to abort*
 (a) If *simulating abort decider H* correctly simulates its input D until H correctly determines that its simulated D would never stop running unless aborted then

So, it needs to simulate UNTIL it ACTUALLY CORRECTLY DETERMINES that its D will never stop running, unless THIS H aborts it.
Since H is what H is, and these H you are claiming to be correct DO abort their simulations, and return 0, then the Ds built on them DO Halt, it will never be true that THIS H can ever CORRECTLY determine that THIS D (the one built on a copy of THIS H, that does abort and return 0) will never be able to CORRECTLY determine that THIS input will not stop running unless THIS SIMULATION is aborted, since this simulation WILL reach and end.
Thus, this H was just wrong to abort, because the other copy of it used by D will make this D halt without aborting THIS simulation of D.
Summary of FACTS:
Machines DO what they DO and not what they do NOT.
This H is claimed to need to abort, so it DOES abort
The D that it is looking at is built on (a copy of) THIS H, which DOES abort and return 0.
Thus, the D it is looking at WILL Halt
And thus the simulation done by H does not NEED to be aborted, but will be, because machines do what they do.
Thus, H was NOT correct to abort its simulation by the stated requirements.
Looking at an input that isn't the input actually given is just invalid logic.
Name the ERROR that you think is there, or admit you are wrong.

 

Dan(Dan) calls embedded H(Dan,Dan) which reports non-halting, so Dan(Dan) halts.  PO only checks his simulations for what he believes are non-halting conditions, so after aborting they return non-halting.  Your logic is spot on if we replace all the Xah with Xan...
>
>
Mike.
>