• Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?

    From Richard Damon@21:1/5 to olcott on Sat Jul 6 17:31:56 2024
    XPost: sci.logic

    On 7/6/24 5:08 PM, olcott wrote:
    On 7/6/2024 4:06 PM, Richard Damon wrote:
    On 7/6/24 5:02 PM, olcott wrote:
    On 7/6/2024 3:27 PM, Richard Damon wrote:
    On 7/6/24 3:14 PM, olcott wrote:
    On 7/6/2024 1:55 PM, Fred. Zwarts wrote:
    Op 06.jul.2024 om 18:30 schreef olcott:
    On 7/6/2024 10:29 AM, Fred. Zwarts wrote:

    So, why do you disagree that the x86 code specifies an HHH that >>>>>>>> aborts and halts?

    Dishonest dodge of changing the subject. This is called
    the strawman deception and is a favorite tactic of liars.

    Irrelevant text ignored. You talked about x86, therefore
    continuing to talk about x86 is not a change of subject.
    I know you have difficulties to recognize the truth, so I do not
    feel offended, because: 'Don't assume somebody is wilfully wrong,
    if incompetence could be an explanation, as well.'


    If you sufficiently understand the semantics of the x86
    language then you can see that the call to HHH(DDD) from
    DDD simulated according to the semantics of the x86 language
    cannot possibly return.

    I understand enough of it to see that it cannot possibly return,
    because HHH cannot possibly simulate itself correctly.

    According to the semantics of the x86 language IS IS IMPOSSIBLE
    FOR DDD SIMULATED BY HHH TO RETURN AND IT IS EQUALLY IMPOSSIBLE
    FOR THE HHH(DDD) CALLED BY DDD SIMULATED BY HHH TO RETURN.

    I can't tell that you are ignorant or a liar and it is reaching
    the point where I don't care which it is.


    No, the DDD that HHH simulated MUST return since HHH aborts its
    simulation and returns.


    By this same reason there is never any reason for you
    to go to the grocery store to buy groceries after you
    already made up your mind that you will do this.


    Why do you say that?

    You are just making bad analogies.

    HHH cannot report on what it did before it does this.
    HHH must report on what it must do now.


    No, HHH must report on what DDD actually does when run, if it is to be a decider.

    The fact that it can't know, is what make the problem impossiblely hard.

    You get confused because you forget that both HHH and DDD are
    deterministic programs. HHH *CAN* only answer what its algorithm tells
    it to do, and that algorithm is fixed by the instructions that make up HHH.

    Just as DDD, does exactly what the instructions of DDD tell it to do,
    which INCLUDE the instructions of the HHH that it uses.

    Thus, HHH has one and only one answer that it can give for each input,
    and DDD has one and only one behavior.

    Since the one answer that HHH gives when given the representation of
    DDD, doesn't match that behavior of DDD, HHH is just proven to be incorrect.

    The fact that for ANY decider we might try to create, we can make an
    input by the contrary behavior template that it will get wrong, shows us
    that Halting is a behavior that can not be solved by a computation.

    Doesn't make the problem wrong or invalid, just not computable, as there
    is no requirement that the questions we try to put to a decider are
    computable. We can only succeed if they are.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 17:51:52 2024
    XPost: sci.logic

    On 7/6/24 5:40 PM, olcott wrote:
    On 7/6/2024 4:31 PM, Richard Damon wrote:
    On 7/6/24 5:08 PM, olcott wrote:
    On 7/6/2024 4:06 PM, Richard Damon wrote:
    On 7/6/24 5:02 PM, olcott wrote:
    On 7/6/2024 3:27 PM, Richard Damon wrote:
    On 7/6/24 3:14 PM, olcott wrote:
    On 7/6/2024 1:55 PM, Fred. Zwarts wrote:
    Op 06.jul.2024 om 18:30 schreef olcott:
    On 7/6/2024 10:29 AM, Fred. Zwarts wrote:

    So, why do you disagree that the x86 code specifies an HHH >>>>>>>>>> that aborts and halts?

    Dishonest dodge of changing the subject. This is called
    the strawman deception and is a favorite tactic of liars.

    Irrelevant text ignored. You talked about x86, therefore
    continuing to talk about x86 is not a change of subject.
    I know you have difficulties to recognize the truth, so I do not >>>>>>>> feel offended, because: 'Don't assume somebody is wilfully
    wrong, if incompetence could be an explanation, as well.'


    If you sufficiently understand the semantics of the x86
    language then you can see that the call to HHH(DDD) from
    DDD simulated according to the semantics of the x86 language >>>>>>>>> cannot possibly return.

    I understand enough of it to see that it cannot possibly return, >>>>>>>> because HHH cannot possibly simulate itself correctly.

    According to the semantics of the x86 language IS IS IMPOSSIBLE
    FOR DDD SIMULATED BY HHH TO RETURN AND IT IS EQUALLY IMPOSSIBLE
    FOR THE HHH(DDD) CALLED BY DDD SIMULATED BY HHH TO RETURN.

    I can't tell that you are ignorant or a liar and it is reaching
    the point where I don't care which it is.


    No, the DDD that HHH simulated MUST return since HHH aborts its
    simulation and returns.


    By this same reason there is never any reason for you
    to go to the grocery store to buy groceries after you
    already made up your mind that you will do this.


    Why do you say that?

    You are just making bad analogies.

    HHH cannot report on what it did before it does this.
    HHH must report on what it must do now.


    No, HHH must report on what DDD actually does when run,

    That requires HHH to report on what itself does before it does this,
    thus exactly the same you you never needing to buy groceries once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior, while people are
    (generally) not. The behavior of HHH was determined as soon as its
    program was written, and doesn't change, so there is no "before it does
    it", just before it can know it.

    Something that seems to be beyond your understanding, which shows a
    basic lack of understanding about programs.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 18:23:36 2024
    XPost: sci.logic

    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it does this, >>>>> thus exactly the same you you never needing to buy groceries once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this
    otherwise we are back to you never needing to buy groceries as
    soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.

    There is no "Not yet done" as its future happened as soon as it was written.


    That is what deterministic means.

    YOu just fail to understand, because you are stupid, and seem to have a
    broken program somewhere in you.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 18:16:44 2024
    XPost: sci.logic

    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:
    On 7/6/2024 4:31 PM, Richard Damon wrote:
    On 7/6/24 5:08 PM, olcott wrote:
    On 7/6/2024 4:06 PM, Richard Damon wrote:
    On 7/6/24 5:02 PM, olcott wrote:
    On 7/6/2024 3:27 PM, Richard Damon wrote:
    On 7/6/24 3:14 PM, olcott wrote:
    On 7/6/2024 1:55 PM, Fred. Zwarts wrote:
    Op 06.jul.2024 om 18:30 schreef olcott:
    On 7/6/2024 10:29 AM, Fred. Zwarts wrote:

    So, why do you disagree that the x86 code specifies an HHH >>>>>>>>>>>> that aborts and halts?

    Dishonest dodge of changing the subject. This is called
    the strawman deception and is a favorite tactic of liars. >>>>>>>>>>
    Irrelevant text ignored. You talked about x86, therefore
    continuing to talk about x86 is not a change of subject.
    I know you have difficulties to recognize the truth, so I do >>>>>>>>>> not feel offended, because: 'Don't assume somebody is wilfully >>>>>>>>>> wrong, if incompetence could be an explanation, as well.'


    If you sufficiently understand the semantics of the x86
    language then you can see that the call to HHH(DDD) from >>>>>>>>>>> DDD simulated according to the semantics of the x86 language >>>>>>>>>>> cannot possibly return.

    I understand enough of it to see that it cannot possibly
    return, because HHH cannot possibly simulate itself correctly. >>>>>>>>>
    According to the semantics of the x86 language IS IS IMPOSSIBLE >>>>>>>>> FOR DDD SIMULATED BY HHH TO RETURN AND IT IS EQUALLY IMPOSSIBLE >>>>>>>>> FOR THE HHH(DDD) CALLED BY DDD SIMULATED BY HHH TO RETURN.

    I can't tell that you are ignorant or a liar and it is reaching >>>>>>>>> the point where I don't care which it is.


    No, the DDD that HHH simulated MUST return since HHH aborts its >>>>>>>> simulation and returns.


    By this same reason there is never any reason for you
    to go to the grocery store to buy groceries after you
    already made up your mind that you will do this.


    Why do you say that?

    You are just making bad analogies.

    HHH cannot report on what it did before it does this.
    HHH must report on what it must do now.


    No, HHH must report on what DDD actually does when run,

    That requires HHH to report on what itself does before it does this,
    thus exactly the same you you never needing to buy groceries once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this
    otherwise we are back to you never needing to buy groceries as
    soon as you decide to go buy them.


    It MUST report on what it DOES. Remember, the behavior is determined by determinism and there is no "sequence".

    You just don't seem to understand how determinism works, showing your
    total lack of understanding about how programs work.

    I sometimes wonder if you get confused because you last your own free
    will by brainwashing yourself in a deal with Satan.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 18:49:47 2024
    XPost: sci.logic

    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it does this, >>>>>>> thus exactly the same you you never needing to buy groceries once >>>>>>> you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this
    otherwise we are back to you never needing to buy groceries as
    soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.


    So you disagree with sequence, selection and iteration?
    Might as well say that you don't believe in arithmetic
    as your rebuttal to 2 + 3 = 5.


    Why do you say that,

    The program executes in sequence, but the BEHAVIOR, which the execution
    REVEALS is instantaneously created by determinism.

    There is no limit to the speed that truth propagates.

    You just don't seem to understand that concept.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 19:30:41 2024
    XPost: sci.logic

    On 7/6/24 7:28 PM, olcott wrote:
    On 7/6/2024 6:21 PM, Richard Damon wrote:
    On 7/6/24 7:09 PM, olcott wrote:
    On 7/6/2024 5:49 PM, Richard Damon wrote:
    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it >>>>>>>>>>> does this,
    thus exactly the same you you never needing to buy groceries >>>>>>>>>>> once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this >>>>>>>>> otherwise we are back to you never needing to buy groceries as >>>>>>>>> soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.


    So you disagree with sequence, selection and iteration?
    Might as well say that you don't believe in arithmetic
    as your rebuttal to 2 + 3 = 5.


    Why do you say that,

    The program executes in sequence, but the BEHAVIOR, which the
    execution REVEALS is instantaneously created by determinism.


    HHH must report on what it must do at a specific point in
    the execution trace of its simulation of DDD.

    No

    HHH cannot report on the effect of what it would do before it
    does this the same way that you cannot say that you don't need
    groceries at the point in time that you would otherwise go to
    the store to buy them.



    But it MUST, so you are just admitting that no such decider can exist.

    And thus agree with the Halting Theorem.

    And AGAIN, you confuse deterministic programs with will-full beings,
    just showing your utter IGNORANCE of the field of Programming.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 19:21:57 2024
    XPost: sci.logic

    On 7/6/24 7:09 PM, olcott wrote:
    On 7/6/2024 5:49 PM, Richard Damon wrote:
    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it does >>>>>>>>> this,
    thus exactly the same you you never needing to buy groceries once >>>>>>>>> you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this >>>>>>> otherwise we are back to you never needing to buy groceries as
    soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.


    So you disagree with sequence, selection and iteration?
    Might as well say that you don't believe in arithmetic
    as your rebuttal to 2 + 3 = 5.


    Why do you say that,

    The program executes in sequence, but the BEHAVIOR, which the
    execution REVEALS is instantaneously created by determinism.


    HHH must report on what it must do at a specific point in
    the execution trace of its simulation of DDD.

    No, it must report on the full behavior of the program represented by
    its input.

    "Its Simulation" is not a valid criteria for a decider, as the map it is computing isn't a function of what decider is being asked.

    Now, "Its Simulation" may be all it has to go with, and if that isn't
    enough it will have trouble being correct.


    You are insisting that HHH must report on what it will do
    as if it already did this. That would make HHH a liar.

    Not correct. Since it is a deterministic program, what it will do has
    already been determined, and its programming must take that into
    account. After all, the creator of the program can know what it will do.

    Since programs have no volition, they can't be "Liars", only wrong.

    Lying requires a will, which programs do not have.


    You cannot simply assume that sequence of sequence, selection
    and iteration does not exist. Actions do occur as specific
    points in an execution trace THEY DO NOT HAPPEN ALL AT ONCE.


    Of course they exists, and the results of them are per-determined by the
    code and the data.

    The results of the actions are revealed in sequence, but the behavior
    was all fixed at the beginning.

    You just don't seem to understand that nature of truth. Truth HAPPENS in
    an instant when that which it is based on is created. There is no
    "propgation delay".

    It doesn't need to be seen or discovered to be true, it just is.

    You get confused by KNOWLEDGE, which takes time to discover.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 20:20:07 2024
    XPost: sci.logic

    On 7/6/24 7:54 PM, olcott wrote:
    On 7/6/2024 6:30 PM, Richard Damon wrote:
    On 7/6/24 7:28 PM, olcott wrote:
    On 7/6/2024 6:21 PM, Richard Damon wrote:
    On 7/6/24 7:09 PM, olcott wrote:
    On 7/6/2024 5:49 PM, Richard Damon wrote:
    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it >>>>>>>>>>>>> does this,
    thus exactly the same you you never needing to buy
    groceries once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does >>>>>>>>>>> this
    otherwise we are back to you never needing to buy groceries as >>>>>>>>>>> soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.


    So you disagree with sequence, selection and iteration?
    Might as well say that you don't believe in arithmetic
    as your rebuttal to 2 + 3 = 5.


    Why do you say that,

    The program executes in sequence, but the BEHAVIOR, which the
    execution REVEALS is instantaneously created by determinism.


    HHH must report on what it must do at a specific point in
    the execution trace of its simulation of DDD.

    No

    HHH cannot report on the effect of what it would do before it
    does this the same way that you cannot say that you don't need
    groceries at the point in time that you would otherwise go to
    the store to buy them.



    But it MUST, so you are just admitting that no such decider can exist.


    I am pointing out that you cannot correctly say that you don't
    need groceries until AFTER you go to the store and buy them.

    Right, because I am a willful being, and thus until I do, I am not
    forced to do.


    Pretending that everything happens all at once does not overcome
    this. Trying to get away with pretending that sequence of sequence
    selection and iteration does not exist is foolish.

    Nope, because the program is deterministic, and thus all its future
    behavior has be fixed and determined, and thus established.


    (a) You determine that you need groceries
    (b) You report this need
    (c) then you go to the store to buy them

    (a) HHH determines that it needs to abort DDD
    (b) HHH reports this this need (as text before the action)
    (c) then HHH aborts DDD


    And I, being willful, am not FORCED to do that sequence. And I need to CORRECTLY determine I need groceries. I might first think I do, and then remember the backup stash that lets me wait a day or two.


    But HHH, being deterministc, only follows is programming, so it senses
    no "need", it just reaches the condition that causes it to abort. But
    the condition was incorrectly determined, as we can see that by doing
    so, the behavior of this input has become halting.

    So, while HHH was stuck in the sequence by its programming, it appears
    that its programming had an incorrect condition telling it to abort and
    report non-halting, so its code is just incorrect.

    YOU as the programmer are supposedly willful, and need to make the right decisions, but apparently you don't think far enough ahead to see that
    by HHH aborting its simulation it can make the DDD built on it in this
    was be halting.

    It appears you think it is ok to just be wrong and claim to be right,
    instead of working harder, or admitting that you can't make a program
    that answers the question.

    In other words, you CHOOSE TO LIE rather that doing what was right,

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Jul 6 20:50:09 2024
    XPost: sci.logic

    On 7/6/24 8:26 PM, olcott wrote:
    On 7/6/2024 7:20 PM, Richard Damon wrote:
    On 7/6/24 7:54 PM, olcott wrote:
    On 7/6/2024 6:30 PM, Richard Damon wrote:
    On 7/6/24 7:28 PM, olcott wrote:
    On 7/6/2024 6:21 PM, Richard Damon wrote:
    On 7/6/24 7:09 PM, olcott wrote:
    On 7/6/2024 5:49 PM, Richard Damon wrote:
    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it >>>>>>>>>>>>>>> does this,
    thus exactly the same you you never needing to buy >>>>>>>>>>>>>>> groceries once
    you decide that you will do this.


    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it >>>>>>>>>>>>> does this
    otherwise we are back to you never needing to buy groceries as >>>>>>>>>>>>> soon as you decide to go buy them.


    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the
    effect of something that it has not yet done.



    But all of its behavior comes into existance at once.


    So you disagree with sequence, selection and iteration?
    Might as well say that you don't believe in arithmetic
    as your rebuttal to 2 + 3 = 5.


    Why do you say that,

    The program executes in sequence, but the BEHAVIOR, which the
    execution REVEALS is instantaneously created by determinism.


    HHH must report on what it must do at a specific point in
    the execution trace of its simulation of DDD.

    No

    HHH cannot report on the effect of what it would do before it
    does this the same way that you cannot say that you don't need
    groceries at the point in time that you would otherwise go to
    the store to buy them.



    But it MUST, so you are just admitting that no such decider can exist. >>>>

    I am pointing out that you cannot correctly say that you don't
    need groceries until AFTER you go to the store and buy them.

    Right, because I am a willful being, and thus until I do, I am not
    forced to do.


    Pretending that everything happens all at once does not overcome
    this. Trying to get away with pretending that sequence of sequence
    selection and iteration does not exist is foolish.

    Nope, because the program is deterministic, and thus all its future
    behavior has be fixed and determined, and thus established.


    (a) You determine that you need groceries
    (b) You report this need
    (c) then you go to the store to buy them

    (a) HHH determines that it needs to abort DDD
    (b) HHH reports this this need (as text before the action)
    (c) then HHH aborts DDD


    And I, being willful, am not FORCED to do that sequence.

    *It seems that you are simply too much of a liar*
    You can already have the groceries that you just ran out
    of before thinking that you need to go to the store or
    going to the store.



    Nope.

    Your problems seems to be that you are too stupid to understand that the programs behavior is deteremed by its code, and need to run it to see
    what it will do.

    And, you are stuck in your false ideas, and have no idea of their meaning.

    Some day, you may learn the truth, but it will probably be too late to
    do anything about it.

    Just like it is too late to try to change your HHH to get the right
    answer after you have made your claim that is gives the right answer,
    when it can be proven that its input halts, even though HHH never sees
    that and uses that as an excuss to lie about the behavior.

    Just like you don't see what actually happens, but only look at your
    lies, and thus think you are correct, when the rest of the world sees
    you are wrong and just an ignorant pathological lying idiot.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Jul 7 10:19:25 2024
    Am Sat, 06 Jul 2024 18:09:16 -0500 schrieb olcott:
    On 7/6/2024 5:49 PM, Richard Damon wrote:
    On 7/6/24 6:44 PM, olcott wrote:
    On 7/6/2024 5:23 PM, Richard Damon wrote:
    On 7/6/24 6:20 PM, olcott wrote:
    On 7/6/2024 5:16 PM, Richard Damon wrote:
    On 7/6/24 5:55 PM, olcott wrote:
    On 7/6/2024 4:51 PM, Richard Damon wrote:
    On 7/6/24 5:40 PM, olcott wrote:

    That requires HHH to report on what itself does before it does >>>>>>>>> this,
    Nope, because HHH is deterministic in behavior,

    It cannot report on the effect of what it did before it does this >>>>>>>
    It MUST report on what it DOES.

    Exactly. That means that it cannot report on the effect of something >>>>> that it has not yet done.

    But all of its behavior comes into existance at once.
    The program executes in sequence, but the BEHAVIOR, which the execution
    REVEALS is instantaneously created by determinism.

    HHH must report on what it must do at a specific point in the execution
    trace of its simulation of DDD.
    You are insisting that HHH must report on what it will do as if it
    already did this. That would make HHH a liar.
    Therefore it cannot report that it will run forever when it hasn’t
    simulated the abort yet.

    --
    Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
    Objectively I am a genius.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Jul 8 10:34:49 2024
    On 2024-07-06 21:08:40 +0000, olcott said:

    On 7/6/2024 4:06 PM, Richard Damon wrote:
    On 7/6/24 5:02 PM, olcott wrote:
    On 7/6/2024 3:27 PM, Richard Damon wrote:
    On 7/6/24 3:14 PM, olcott wrote:
    On 7/6/2024 1:55 PM, Fred. Zwarts wrote:
    Op 06.jul.2024 om 18:30 schreef olcott:
    On 7/6/2024 10:29 AM, Fred. Zwarts wrote:

    So, why do you disagree that the x86 code specifies an HHH that aborts >>>>>>>> and halts?

    Dishonest dodge of changing the subject. This is called
    the strawman deception and is a favorite tactic of liars.

    Irrelevant text ignored. You talked about x86, therefore continuing to >>>>>> talk about x86 is not a change of subject.
    I know you have difficulties to recognize the truth, so I do not feel >>>>>> offended, because: 'Don't assume somebody is wilfully wrong, if
    incompetence could be an explanation, as well.'


    If you sufficiently understand the semantics of the x86
    language then you can see that the call to HHH(DDD) from
    DDD simulated according to the semantics of the x86 language
    cannot possibly return.

    I understand enough of it to see that it cannot possibly return,
    because HHH cannot possibly simulate itself correctly.

    According to the semantics of the x86 language IS IS IMPOSSIBLE
    FOR DDD SIMULATED BY HHH TO RETURN AND IT IS EQUALLY IMPOSSIBLE
    FOR THE HHH(DDD) CALLED BY DDD SIMULATED BY HHH TO RETURN.

    I can't tell that you are ignorant or a liar and it is reaching
    the point where I don't care which it is.


    No, the DDD that HHH simulated MUST return since HHH aborts its
    simulation and returns.


    By this same reason there is never any reason for you
    to go to the grocery store to buy groceries after you
    already made up your mind that you will do this.


    Why do you say that?

    You are just making bad analogies.

    HHH cannot report on what it did before it does this.
    HHH must report on what it must do now.

    There is no "must" about HHH. It does whatever you made it do, that's all.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)