Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis

Liste des GroupesRevenir à theory 
Sujet : Re: How Partial Simulations correctly determine non-halting ---Ben's 10/2022 analysis
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 08. Jun 2024, 04:03:27
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v40hlv$3bc44$2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Mozilla Thunderbird
On 6/7/24 10:43 PM, Mike Terry wrote:
On 07/06/2024 17:34, joes wrote:
Am Fri, 07 Jun 2024 10:40:37 -0500 schrieb olcott:
On 6/7/2024 10:32 AM, joes wrote:
Am Fri, 07 Jun 2024 10:20:09 -0500 schrieb olcott:
On 6/7/2024 10:09 AM, Python wrote:
Le 07/06/2024 à 17:05, olcott a écrit :
On 6/7/2024 9:55 AM, Python wrote:
Le 07/06/2024 à 16:47, olcott a écrit :
>
The issue here is that I proved that DD correctly simulated by HH
has different behavior than the directly executed DD(DD) and
everyone's "rebuttal" to this proof is to simply ignore it.
When you actually try to form a rebuttal of the above you will see
that I am correct. So far everyone simply ignores the proof that I
am correct as their only rebuttal.
A {correct simulation} means that each instruction of the above x86
machine language of DD is correctly simulated by HH and simulated in
the correct order.
And to the end. Thus it can't behave differently than direct execution.
You must not be very good at programming if you believe that
Infinite_Recursion must be simulated "to the end"
As I said before, if there is no end the simulation can't end either.
 PO chooses to leave his terminology ambiguous, so we have 1000 post threads perpetuated by little more than verbal misunderstandings.
 All PO's "simulating halt deciders" (SHD) are actually "partial simulating partial halt deciders":
They partially simulate their input computation, while monitoring the simulation state for patterns which *PO* just believes (without proof) indicate non-halting.  When such a pattern is detected, the SHD abandons its simulating activity ["aborts" its simulation], and returns nonhalting.  Also, PO does not claim that his SHDs decide all inputs correctly - or even that they halt for all inputs (which a decider must).  He is really just interested in the H(D,D) case.
 PO has a couple of such rules/patterns, and at least one of them is sound: the "tight loop" pattern.  If an input (P,I) contains a tight loop (like "LOOP: goto LOOP"), and assuming PO has coded the rule correctly, his H/HH will detect the tight loop while simulating the code and correctly return non-halting.  In this scenario we have a non-terminating computation, but PO's /partial/ simulation obviously ends through aborting the target.  THERE'S NOTHING WRONG WITH THAT.  If someone wants to claim "that's not valid simulation" then right or wrong it's nothing more than a disagreement over use of terminology, and nothing is achieved by that.
 PO also has at least one /unsound/ rule: his "infinite recursive simulation" rule.  That rule matches computations that in fact halt.  Despite PO's colourful language like "...until H 'sees that the simulation will never terminate unless blah blah'" and "...DD 'specifies infinite recursion to HH'" and so on, the truth is simply that his H is applying an unsound rule, which leads to it deciding incorrectly.)
 And all the stuff about "correct simulations of DD by HH never reaching line nn" might be correct if suitably interpreted (as /partial simulations/ not reaching a simulated halt state, rather than the /actual computation/ being examined), but its all logically irrelevent having little to do with actual termination of a given computation.
 What makes the SHD work or not work is the matching of rules (patterns detected in the simulated computation states) that the SHD uses to trigger an abort.  If a /sound/ rule matches, the SHD will decide correctly. If an /unsound/ rule matches it may decide incorrectly (as with PO's H(D,D)), or in other situations it might be correct "by fluke".
 If PO's H used only sound rules, it would not decide input (D,D) incorrectly - but unfortunately neither would it decide correctly - it would never terminate /for that input/.  (I find that kind of neat...)
 
>
Anyone claiming that HH should report on the behavior of the directly
executed DD(DD) is requiring a violation of the above definition of
correct simulation.
But those are the same. How does simulating something change it?
It seems to boil down to you just don't know enough about programming
otherwise it would occur to you that there cannot possibly exist any
correct rebuttal to the following:
Answer the question. Why should the simulation differ from direct
execution?
 [Let's assume code is properly restricted to exclude the complications of "cheating" in PO's x86utm environment through use of mutable static variables and the like.]
 Obviously they wouldn't, except in so far as "partial simulation" differs from "full simulation". I.e. all steps will match precisely, up to the point where the partial simulation is abandoned.
 And in PO's H(D,D) vs D(D) example that is exactly what the traces show:  The simulated and direct traces match exactly, right up to the point where H aborts the simulation.  (The full computation steps of D(D) then proceeding further until D terminates a bit later.)
 Even though I put the two traces side-by-side for PO, he still insists the "behaviour is different".  Well, perhaps he just means that the H simulation was abandonned whereas directly executed D(D) proceeded further and eventually terminated?  If so, then /so what/?  I think his problem here is nothing to do with /simulations/ not reaching whatever line of code, but more the /reason/ that his H aborted - it matched his (unsound) non-halting pattern, and he just really really really really believes that pattern is sound.
 So now he needs to account for two "verified facts":  1)  D(D) computation never halts (/his unsound pattern matched!/)  2) D(D) computation halts when run directly.  That forces him to claim there are two different behaviours [/beyond/ the simple truncation of the aborted trace] for the one computation, and to come up with some Words to justify that position (like "pathological self reference", subjective questions) and then More Words to say that his other Words are "the true meaning of halting" etc. etc.  All nonsense flowing from not being able to accept his rule is just wrong.
  Mike.
 
The last time I remember him actually trying to answer, the difference was that the order of who started mattered, because D(D) calling H(D,D) meant that the H(D,D) that was called doesn't get stuck in the loop, but recognizes the loop and gets out, while when H(D,D) simulated D(D) and that first H(D,D) sees that the simulated H(D,D) would just get into a loop, that incorrect decision becomes the actual behavior of that simulated H(D,D).
So it is always the first H(D,D) that returns, and the second one doesn't, which just proes that is can't be a pure function, or that rule doesn't apply to functions whose simulation has been aborted.
Of course he also think that aborting th simulation mean that hte machine being simulate had its plug pulled at that point, so it isn't proper to look at the direct execution after that,
He clearly doesn't seem to understand how these sorts of machines work.

Date Sujet#  Auteur
3 Jun 24 * Why does Olcott care about simulation, anyway?332immibis
3 Jun 24 +- Re: Why does Olcott care about simulation, anyway?1Richard Damon
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?309Mike Terry
3 Jun 24 i+* Re: Why does Olcott care about simulation, anyway? --- Mikes Review29olcott
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
3 Jun 24 ii+- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 ii`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review26Mike Terry
3 Jun 24 ii `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review25olcott
4 Jun 24 ii  +- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review23Mike Terry
4 Jun 24 ii   `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review22olcott
4 Jun 24 ii    `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review21Richard Damon
4 Jun 24 ii     `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review20olcott
4 Jun 24 ii      +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review13Richard Damon
4 Jun 24 ii      i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review12olcott
5 Jun 24 ii      i +- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
5 Jun 24 ii      i `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review10Mikko
5 Jun 24 ii      i  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review9olcott
5 Jun 24 ii      i   +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2wij
5 Jun 24 ii      i   i`- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1olcott
6 Jun 24 ii      i   +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review5Mikko
6 Jun 24 ii      i   i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review4olcott
6 Jun 24 ii      i   i `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Mikko
6 Jun 24 ii      i   i  `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
7 Jun 24 ii      i   i   `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
6 Jun 24 ii      i   `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii      `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review6Mike Terry
4 Jun 24 ii       `* Re: Why does Olcott care about simulation, anyway? --- Mikes Review5olcott
4 Jun 24 ii        +* Re: Why does Olcott care about simulation, anyway? --- Mikes Review3Richard Damon
4 Jun 24 ii        i`* Re: Why does Olcott care about simulation, anyway? --- Mikes Review2olcott
5 Jun 24 ii        i `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1Richard Damon
4 Jun 24 ii        `- Re: Why does Olcott care about simulation, anyway? --- Mikes Review1immibis
3 Jun 24 i`* Re: Why does Olcott care about simulation, anyway?279Ben Bacarisse
3 Jun 24 i +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review277olcott
3 Jun 24 i i+- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1immibis
3 Jun 24 i i+* Re: Why does Olcott care about simulation, anyway? --- Ben's Review73Mikko
3 Jun 24 i ii`* Re: Why does Olcott care about simulation, anyway? --- Ben's Review72olcott
4 Jun 24 i ii +- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
4 Jun 24 i ii +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review2joes
4 Jun 24 i ii i`- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1olcott
4 Jun 24 i ii +* Re: Why does Olcott care about simulation, anyway? --- Ben's Review67Mikko
4 Jun 24 i ii i`* Halting Problem is wrong two different ways66olcott
4 Jun 24 i ii i +- Re: Halting Problem is wrong two different ways1immibis
5 Jun 24 i ii i +* Re: Halting Problem is wrong two different ways41Richard Damon
5 Jun 24 i ii i i`* Re: Halting Problem is wrong two different ways40olcott
5 Jun 24 i ii i i +* Re: Halting Problem is wrong two different ways21John Smith
5 Jun 24 i ii i i i`* Re: Halting Problem is wrong two different ways20olcott
5 Jun 24 i ii i i i +* Re: Halting Problem is wrong two different ways4Richard Damon
5 Jun 24 i ii i i i i`* Re: Halting Problem is wrong two different ways3Mikko
5 Jun 24 i ii i i i i `* Re: Halting Problem is wrong two different ways2olcott
6 Jun 24 i ii i i i i  `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i i `* Re: Halting Problem is wrong two different ways15John Smith
5 Jun 24 i ii i i i  `* Re: Halting Problem is wrong two different ways14olcott
5 Jun 24 i ii i i i   +* Re: Halting Problem is wrong two different ways3John Smith
5 Jun 24 i ii i i i   i+- Re: Halting Problem is wrong two different ways1olcott
5 Jun 24 i ii i i i   i`- Re: Halting Problem is wrong two different ways1joes
5 Jun 24 i ii i i i   +* Re: Halting Problem is wrong two different ways6joes
6 Jun 24 i ii i i i   i`* Re: Halting Problem is wrong two different ways --very stupid5olcott
6 Jun 24 i ii i i i   i +- Re: Halting Problem is wrong two different ways --very stupid1Richard Damon
6 Jun 24 i ii i i i   i `* Re: Halting Problem is wrong two different ways --very stupid3Mikko
6 Jun 24 i ii i i i   i  `* Re: Halting Problem is wrong two different ways --very stupid2olcott
7 Jun 24 i ii i i i   i   `- Re: Halting Problem is wrong two different ways --very stupid1Richard Damon
6 Jun 24 i ii i i i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i i i   `* Re: Halting Problem is wrong two different ways3Mikko
6 Jun 24 i ii i i i    `* Re: Halting Problem is wrong two different ways2olcott
7 Jun 24 i ii i i i     `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i +- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i i `* Re: Halting Problem is wrong two different ways17Fred. Zwarts
5 Jun 24 i ii i i  `* Re: Halting Problem is wrong two different ways16olcott
5 Jun 24 i ii i i   +* Re: Halting Problem is wrong two different ways7Fred. Zwarts
6 Jun 24 i ii i i   i`* Re: Halting Problem is wrong two different ways6olcott
6 Jun 24 i ii i i   i `* Re: Halting Problem is wrong two different ways5Fred. Zwarts
6 Jun 24 i ii i i   i  `* Re: Halting Problem is wrong two different ways4olcott
6 Jun 24 i ii i i   i   `* Re: Halting Problem is wrong two different ways3Fred. Zwarts
6 Jun 24 i ii i i   i    +- Re: Halting Problem is wrong two different ways1olcott
6 Jun 24 i ii i i   i    `- Re: Halting Problem is wrong two different ways1immibis
6 Jun 24 i ii i i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i i   `* Re: Halting Problem is wrong two different ways7Mikko
6 Jun 24 i ii i i    `* Re: Halting Problem is wrong two different ways6olcott
6 Jun 24 i ii i i     +* Re: Halting Problem is wrong two different ways4Mikko
6 Jun 24 i ii i i     i`* Re: Halting Problem is wrong two different ways3olcott
7 Jun 24 i ii i i     i +- Re: Halting Problem is wrong two different ways1Richard Damon
7 Jun 24 i ii i i     i `- Re: Halting Problem is wrong two different ways1Mikko
7 Jun 24 i ii i i     `- Re: Halting Problem is wrong two different ways1Richard Damon
5 Jun 24 i ii i `* Re: Halting Problem is wrong two different ways23Mikko
5 Jun 24 i ii i  `* Re: Halting Problem is wrong two different ways22olcott
5 Jun 24 i ii i   +- Re: Halting Problem is wrong two different ways1joes
6 Jun 24 i ii i   +- Re: Halting Problem is wrong two different ways1Richard Damon
6 Jun 24 i ii i   +* Re: Halting Problem is wrong two different ways18Mikko
6 Jun 24 i ii i   i`* Re: Halting Problem is wrong two different ways17olcott
6 Jun 24 i ii i   i `* Re: Halting Problem is wrong two different ways16Mikko
6 Jun 24 i ii i   i  `* Re: Halting Problem is wrong two different ways15olcott
7 Jun 24 i ii i   i   `* Re: Halting Problem is wrong two different ways14Mikko
7 Jun 24 i ii i   i    `* Re: Halting Problem is wrong two different ways13olcott
7 Jun 24 i ii i   i     +- Re: Halting Problem is wrong two different ways1Richard Damon
7 Jun 24 i ii i   i     +* Re: Halting Problem is wrong two different ways8joes
8 Jun 24 i ii i   i     i`* Re: Halting Problem is wrong two different ways7olcott
8 Jun 24 i ii i   i     i `* Re: Halting Problem is wrong two different ways6Mikko
8 Jun 24 i ii i   i     i  `* Re: Halting Problem is wrong two different ways5olcott
8 Jun 24 i ii i   i     i   +- Re: Halting Problem is wrong two different ways1Richard Damon
9 Jun 24 i ii i   i     i   `* Re: Halting Problem is wrong two different ways3Mikko
8 Jun 24 i ii i   i     `* Re: Halting Problem is wrong two different ways3Mikko
7 Jun 24 i ii i   `- Re: Halting Problem is wrong two different ways1immibis
4 Jun 24 i ii `- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1immibis
3 Jun 24 i i+* Re: Why does Olcott care about simulation, anyway? --- Ben's Review201Fred. Zwarts
4 Jun 24 i i`- Re: Why does Olcott care about simulation, anyway? --- Ben's Review1Richard Damon
3 Jun 24 i `- Re: Why does Olcott care about simulation, anyway?1Mike Terry
3 Jun 24 +* Re: Why does Olcott care about simulation, anyway?20Fred. Zwarts
3 Jun 24 `- Re: Why does Olcott care about simulation, anyway?1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal