Re: Proof that H(D,D) meets its abort criteria --mistake--

Liste des GroupesRevenir à s logic 
Sujet : Re: Proof that H(D,D) meets its abort criteria --mistake--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 16. Mar 2024, 05:45:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut34k2$2n0uu$6@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 3/15/2024 10:28 PM, Richard Damon wrote:
On 3/15/24 8:14 PM, olcott wrote:
On 3/15/2024 6:26 PM, Richard Damon wrote:
On 3/15/24 3:41 PM, olcott wrote:
On 3/15/2024 5:10 PM, Richard Damon wrote:
On 3/15/24 2:13 PM, olcott wrote:
On 3/15/2024 3:27 PM, Richard Damon wrote:
On 3/15/24 12:38 PM, olcott wrote:
On 3/15/2024 2:30 PM, Richard Damon wrote:
On 3/15/24 12:14 PM, olcott wrote:
On 3/15/2024 2:06 PM, Richard Damon wrote:
On 3/15/24 11:39 AM, olcott wrote:
On 3/15/2024 1:38 PM, immibis wrote:
On 15/03/24 18:52, olcott wrote:
On 3/15/2024 12:36 PM, Richard Damon wrote:
On 3/15/24 9:20 AM, olcott wrote:
Best selling author of Theory of Computation textbooks:
*Introduction To The Theory Of Computation 3RD, by sipser*
https://www.amazon.com/Introduction-Theory-Computation-Sipser/dp/8131525295/
>
Date 10/13/2022 11:29:23 AM
*MIT Professor Michael Sipser agreed this verbatim paragraph is correct*
(He has neither reviewed nor agreed to anything else in this paper)
(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
(b) H can abort its simulation of D and correctly report that D specifies a non-halting sequence of configurations.
>
*When we apply the abort criteria* (elaborated above)
Will you halt if you never abort your simulation?
*Then H(D,D) is proven to meet this criteria*
>
*Proof that H(D,D) meets its abort criteria*
>
int D(int (*x)())
{
   int Halt_Status = H(x, x);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
int main()
{
   Output("Input_Halts = ", H(D,D));
}
>
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00001d22][00102fc9][00000000] 55         push ebp      ; begin main()
[00001d23][00102fc9][00000000] 8bec       mov ebp,esp
[00001d25][00102fc5][00001cf2] 68f21c0000 push 00001cf2 ; push DD
[00001d2a][00102fc1][00001cf2] 68f21c0000 push 00001cf2 ; push D
[00001d2f][00102fbd][00001d34] e8eef7ffff call 00001522 ; call H(D,D)
>
H: Begin Simulation   Execution Trace Stored at:113075
Address_of_H:1522
[00001cf2][00113061][00113065] 55         push ebp ; enter D(D)
[00001cf3][00113061][00113065] 8bec       mov ebp,esp
[00001cf5][0011305d][00103031] 51         push ecx
[00001cf6][0011305d][00103031] 8b4508     mov eax,[ebp+08]
[00001cf9][00113059][00001cf2] 50         push eax ; push D
[00001cfa][00113059][00001cf2] 8b4d08     mov ecx,[ebp+08]
[00001cfd][00113055][00001cf2] 51         push ecx ; push D
[00001cfe][00113051][00001d03] e81ff8ffff call 00001522 ; call H(D,D)
H: Recursive Simulation Detected Simulation Stopped
                           H(D,D) returns 0 to main()
>
*That was proof that H(D,D) meets its abort criteria*
H(D,D) correctly determines that itself is being called with its same inputs and there are no conditional branch instructions between the invocation of D(D) and its call to H(D,D).
>
>
>
Except that D calling H(D,D) does NOT prove the required (a), since the simulated D WILL stop running because *ITS* H will abort *ITS* simulation and returm 0 so that simulated D will halt.
You keep saying that H(D,D) never really needs to abort the
simulation of its input because after H(D,D) has aborted the
simulation of this input it no longer needs to be aborted.
>
You keep thinking there is more than one H(D,D) and then when it's convenient for you you think there is only one H(D,D). Why is that?
>
The first H(D,D) to see that the abort criteria has been met
(the outermost one) must abort the simulation of its input or
none of them ever abort.
>
>
But since it does, which is your definition of H, the others
>
never begin to be simulated.
>
But D(D) started to be simulated, and we can know what D(D) actually does, which includes it using its version of H.
>
>
We cannot reference the behavior of what D(D) does after H(D,D)
has already aborted the simulation of its input at the point
in time before H(D,D) aborts its input as any criterion measure
for this H(D,D).
>
>
WHy not?
>
That is what Correct Simulation refers to.
>
I guess you are just admiting to being a LIAR (or stupid).
>
*I am not a liar or stupid and you admitted your mistake*
*I am not a liar or stupid and you admitted your mistake*
*I am not a liar or stupid and you admitted your mistake*
*I am not a liar or stupid and you admitted your mistake*
>
So, do you admit that the definition of a "Correct Simulation" for the purposes of that criteria are the complete not-aborted simulation done by possibly some other simulator?
>
>
(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
>
Not at all the words don't say anything like that.
"H correctly simulates its input D until"
specifically means a partial simulation.
>
>
Means H uses a partial simulation to make its decision.
>
>
Finally you get this.
>
The correctness of the decision is measured by the full simulation, even past where H simulated. Thus, is based on things H might not know.
>
>
No. the correctness of the decision is essentially anchored
in something like mathematical induction that correctly
predicts that complete simulation would never end.
 But, since the Execution DOES end, so will a correct simulation.
 
*YOU KEEP FORGETTING THIS*
There cannot possibly exist any H(D,D) that is called by
D where H(D,D) simulates its input and D(D) stops running
and H never aborts its simulation.

You seem to think that it is possible to prove a false statement.
 
>
I would estimate that an actual proof fully anchored in actual
mathematical induction can be derived. I do remember from my
independent studies course on proof of program correctness that
this does typically anchor in actual mathematical induction.
 So, you REALLY beleive that you can prove that the correct simulation of a halting computation can go on forever.
 
There cannot possibly exist any H(D,D) that is called by
D where H(D,D) simulates its input and D(D) stops running
and H never aborts its simulation.

You think you can prove an INCORRECT program as correct.
 (Since D(D) Halts, H(D,D) returning 0 is just WRONG for a Halt Decider).
 
H(D,D) fails to make the required mistake of reporting on what it does not see.

>
I still have two textbooks on this.
 Really? do you read and understand them?
 "Something like mathematical induction" sounds dubious for you really understanding it.
 Try to define the induction (if you understand what to do).
 
>
You don't seem to understand the meaning of CORRECT.
>
I guess you are just showing you think it is ok to LIE to make it look like you have done something.
>
>
 
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
15 Mar 24 * Proof that H(D,D) meets its abort criteria467olcott
15 Mar 24 +* Re: Proof that H(D,D) meets its abort criteria23immibis
15 Mar 24 i`* Re: Proof that H(D,D) meets its abort criteria22olcott
15 Mar 24 i +* Re: Proof that H(D,D) meets its abort criteria10Richard Damon
15 Mar 24 i i+* Re: Proof that H(D,D) meets its abort criteria6olcott
15 Mar 24 i ii+* Re: Proof that H(D,D) meets its abort criteria4olcott
15 Mar 24 i iii`* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i iii `* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i iii  `- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i ii`- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i i`* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i i `* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i i  `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 i `* Re: Proof that H(D,D) meets its abort criteria11immibis
15 Mar 24 i  `* Re: Proof that H(D,D) meets its abort criteria10olcott
15 Mar 24 i   `* Re: Proof that H(D,D) meets its abort criteria9olcott
15 Mar 24 i    `* Re: Proof that H(D,D) meets its abort criteria8Richard Damon
15 Mar 24 i     `* Re: Proof that H(D,D) meets its abort criteria7olcott
15 Mar 24 i      `* Re: Proof that H(D,D) meets its abort criteria6Richard Damon
15 Mar 24 i       `* Re: Proof that H(D,D) meets its abort criteria5olcott
16 Mar 24 i        `* Re: Proof that H(D,D) meets its abort criteria4Richard Damon
16 Mar 24 i         `* Re: Proof that H(D,D) meets its abort criteria3olcott
16 Mar 24 i          `* Re: Proof that H(D,D) meets its abort criteria2olcott
16 Mar 24 i           `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 +* Re: Proof that H(D,D) meets its abort criteria440Richard Damon
15 Mar 24 i`* Re: Proof that H(D,D) meets its abort criteria439olcott
15 Mar 24 i +* Re: Proof that H(D,D) meets its abort criteria11Richard Damon
15 Mar 24 i i`* Re: Proof that H(D,D) meets its abort criteria10olcott
15 Mar 24 i i +* Re: Proof that H(D,D) meets its abort criteria3immibis
15 Mar 24 i i i`* Re: Proof that H(D,D) meets its abort criteria2olcott
15 Mar 24 i i i `- Re: Proof that H(D,D) meets its abort criteria1olcott
15 Mar 24 i i `* Re: Proof that H(D,D) meets its abort criteria6olcott
15 Mar 24 i i  `* Re: Proof that H(D,D) meets its abort criteria5olcott
15 Mar 24 i i   +* Re: Proof that H(D,D) meets its abort criteria3olcott
15 Mar 24 i i   i+- Re: Proof that H(D,D) meets its abort criteria1olcott
16 Mar 24 i i   i`- Re: Obviously Olcott doesn't understand what his own words mean!1immibis
16 Mar 24 i i   `- Re: Proof that H(D,D) meets its abort criteria1immibis
15 Mar 24 i `* Re: Proof that H(D,D) meets its abort criteria427immibis
15 Mar 24 i  +* Re: Proof that H(D,D) meets its abort criteria425olcott
15 Mar 24 i  i+* Re: Proof that H(D,D) meets its abort criteria39immibis
15 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria5olcott
15 Mar 24 i  iii+* Re: Proof that H(D,D) meets its abort criteria3olcott
17 Mar 24 i  iiii`* Re: Proof that H(D,D) meets its abort criteria --timing error--2olcott
17 Mar 24 i  iiii `- Re: Proof that H(D,D) meets its abort criteria --timing error--1olcott
16 Mar 24 i  iii`- Re: Proof that H(D,D) meets its abort criteria1immibis
16 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--29olcott
16 Mar 24 i  iii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--19olcott
16 Mar 24 i  iiii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--18olcott
16 Mar 24 i  iiii `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--17olcott
16 Mar 24 i  iiii  +* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--9olcott
16 Mar 24 i  iiii  i`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--8olcott
16 Mar 24 i  iiii  i `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iiii  i  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iiii  i   +* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2immibis
16 Mar 24 i  iiii  i   i`- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1olcott
17 Mar 24 i  iiii  i   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
17 Mar 24 i  iiii  i    +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1Richard Damon
17 Mar 24 i  iiii  i    `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
16 Mar 24 i  iiii  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iiii   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iiii    +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
17 Mar 24 i  iiii    `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--4Richard Damon
17 Mar 24 i  iiii     `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
17 Mar 24 i  iiii      +- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
17 Mar 24 i  iiii      `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1Richard Damon
16 Mar 24 i  iii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--9immibis
16 Mar 24 i  iii `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--8olcott
16 Mar 24 i  iii  `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--7immibis
16 Mar 24 i  iii   `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--6olcott
16 Mar 24 i  iii    `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--5immibis
16 Mar 24 i  iii     `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--4olcott
16 Mar 24 i  iii      `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3immibis
16 Mar 24 i  iii       `* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2olcott
16 Mar 24 i  iii        `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1immibis
16 Mar 24 i  ii+* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--3olcott
16 Mar 24 i  iii`* Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--2immibis
16 Mar 24 i  iii `- Re: Proof that H(D,D) meets its abort criteria --Categorically Exhaustive Reasoning--1olcott
21 Mar 24 i  ii`- Re: Proof that H(D,D) meets its abort criteria--Mikes-rebuttal--1olcott
15 Mar 24 i  i`* Re: Proof that H(D,D) meets its abort criteria385olcott
15 Mar 24 i  i `* Re: Proof that H(D,D) meets its abort criteria384olcott
15 Mar 24 i  i  `* Re: Proof that H(D,D) meets its abort criteria --mistake--383olcott
16 Mar 24 i  i   `* Re: Proof that H(D,D) meets its abort criteria --mistake--382olcott
16 Mar 24 i  i    `* Re: Proof that H(D,D) meets its abort criteria --mistake--381olcott
16 Mar 24 i  i     +* Re: Proof that H(D,D) meets its abort criteria --mistake--363olcott
16 Mar 24 i  i     i`* Re: Proof that H(D,D) meets its abort criteria --mistake--362olcott
17 Mar 24 i  i     i `* Re: Proof that H(D,D) meets its abort criteria --mistake--361Richard Damon
17 Mar 24 i  i     i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--360olcott
17 Mar 24 i  i     i   +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--25immibis
17 Mar 24 i  i     i   i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--24olcott
17 Mar 24 i  i     i   i +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--16Richard Damon
17 Mar 24 i  i     i   i i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--15olcott
17 Mar 24 i  i     i   i i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--14Richard Damon
17 Mar 24 i  i     i   i i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--13olcott
17 Mar 24 i  i     i   i i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--12Richard Damon
17 Mar 24 i  i     i   i i    `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--11olcott
17 Mar 24 i  i     i   i i     +* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--9Richard Damon
17 Mar 24 i  i     i   i i     i`* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--8olcott
17 Mar 24 i  i     i   i i     i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--7Richard Damon
17 Mar 24 i  i     i   i i     i  `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--6olcott
17 Mar 24 i  i     i   i i     i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--5Richard Damon
17 Mar 24 i  i     i   i i     i    `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--4olcott
17 Mar 24 i  i     i   i i     `- Re: Proof that H(D,D) meets its abort criteria --self-evident truth--1immibis
17 Mar 24 i  i     i   i `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--7immibis
17 Mar 24 i  i     i   `* Re: Proof that H(D,D) meets its abort criteria --self-evident truth--334Richard Damon
16 Mar 24 i  i     `* Re: Proof that H(D,D) meets its abort criteria --mistake--17immibis
15 Mar 24 i  `- Re: Proof that H(D,D) meets its abort criteria1Richard Damon
15 Mar 24 `* Re: Proof that H(D,D) meets its abort criteria --moved dialogue--3olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal