• Re: HHH maps its input to the behavior specified by it --- never reache

    From Richard Damon@21:1/5 to olcott on Wed Aug 7 21:22:25 2024
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not mean >>>>>> what you apparently think it means. You seem to think that "DDD
    emulated by HHH" means whatever HHH thinks DDD means but it does not. >>>>>> DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological relationship >>>>> to HHH we can just close our eyes and ignore it and pretend that it
    doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow
    faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
        defined as "halting states" and the machine only
        halts if either the start state is a halt state...

    ...these and many other definitions all have
        equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it is
    given, because it aborts its emulation.

    And thus, the fact that its PARTIAL emulaition doesn't reach a final
    state doesn't mean that the program it is emulating, which since your
    HHH does abort and return to its caller, including the DDD that called
    it, that DDD will reach its final state and "halt".

    So, you are just proving that you don't know what you are talking about,
    and your "defense" just proved you wrong.

    Sorry, you are judt too stupid to know what you are talking about, which
    just makes you into a pathological liar.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Wed Aug 7 22:39:54 2024
    On 8/7/24 10:11 PM, olcott wrote:
    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not >>>>>>>> mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does >>>>>>>> not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological
    relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it
    is given, because it aborts its emulation.


    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions correctly. In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Ah you are finally beaten so that everyone can tell !!!


    So, you just keep repeating your disproven LIES.

    Every HHH that simulates for a finite number of steps, and then aborts
    and returns (which is the class that you claim to be correct) only
    PARTIALLY simulate the input, and thus only get PARTIAL details of the
    behavior of the PROGRAM, a thing you don't seemt o understand about,
    which makes your logic so broken.

    Since it is the behavior of the PROGRAM that is what the decider needs
    to answer about, since the question is about if the PROGRAM given as the
    input will halt, and the behavior of the progrma is defined by the
    semantics of the x86 language which says that the PROGRAM doesn't stop
    unless it reaches a terminal instruction, means that HHH stopping its
    emulation (which just makes its emulation incorrect) doesn't stop the
    behavior of the program, that will continue until the HHH that it
    called, which behaves IDENTICALLY to the HHH that was emulating it, also
    stops its emulation and returns to DDD which then reaches its terminal instruction and halts.

    Thus, the CORRECT answer about the halting of the program represented by
    the input to HHH, if HHH answers, is that it halts, even though the
    correct emulation of a finite number of steps didn't get to there. But
    it is a simple fact that the correct emulation of a finite number of
    steps doesn't correctly show the behavior of a larger finite number of
    steps, and thus isn't a totally correct emulation.

    You logic is just based on double-talk and weasel words where you need
    ot use words with shades of meaning and use them in multiple
    contradictory meanings in one statement.

    This just shows how poor your actual position is, as you can't actually
    point to one actual respected source for any part of your logic, at best
    you get people with minor names whi make similar errors.

    Sorry, you are just proving your ignorance and stupidity.

    Just repeating the same sentences just proves it.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Wed Aug 7 23:51:47 2024
    On 8/7/24 11:39 PM, olcott wrote:
    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not >>>>>>>> mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does >>>>>>>> not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological
    relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it
    is given, because it aborts its emulation.


    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Everyone can tell that Richard is trying to get way
    with disagreeing with a tautology.


    No, you are proven to be just a pathetic ignorant patholgical lias


    No one will accept that when
    *zero to infinity instructions are emulated correctly*
    "that some instructions are not emulated correctly".
    *Richard finally loses*



    Your just repeating your lies and not responding to the errors pointsd
    out will be taken as your admittion that you have run out of ides.

    The fact that you don't even reply to my messages is just more proof
    that you can't handle the truth.

    Sorry, you are just proving your brain is just dead to the truth,

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Wed Aug 7 23:22:36 2024
    On 8/7/24 10:53 PM, olcott wrote:
    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not >>>>>>>> mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does >>>>>>>> not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological
    relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it
    is given, because it aborts its emulation.


    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions correctly. In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    Nope, only the ONE HHH that never aborts emulates its input completely correctly, and that one fails to answer.

    Every other one proves your next sstatement is a Projection of your own
    LIES that partial emulation is a complete correct emulation.


    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*]\

    Except for every word you say.


    Everyone can tell that Richard is trying to get way
    with disagreeing with a tautology.

    No, every one sees YOU are LYING with weasel words that try to give double-meaning

    You failure to answer ANY of the question just proves your total
    ignorance of the tpo[pic.


    The strawman deception won't work any more Richard!
    When you switch from DDD correctly simulated by HHH
    everyone can tell.


    Ecept that you never had a HHH that has completely correctly emulated
    DDD that you have produced, so you whole arguement is built on your
    lies. How can I switch from something that never was.

    And, since the STARTING POINT it the behavior of DDD directly run, your simulation is itself the strawman, and he is smarter than you.


    So, you just keep repeating your disproven LIES, PROVING YOUR STUPIDITY

    Every HHH that simulates for a finite number of steps, and then aborts
    and returns (which is the class that you claim to be correct) only
    PARTIALLY simulate the input, and thus only get PARTIAL details of the
    behavior of the PROGRAM, a thing you don't seemt o understand about,
    which makes your logic so broken.

    Since it is the behavior of the PROGRAM that is what the decider needs
    to answer about, since the question is about if the PROGRAM given as the
    input will halt, and the behavior of the progrma is defined by the
    semantics of the x86 language which says that the PROGRAM doesn't stop
    unless it reaches a terminal instruction, means that HHH stopping its
    emulation (which just makes its emulation incorrect) doesn't stop the
    behavior of the program, that will continue until the HHH that it
    called, which behaves IDENTICALLY to the HHH that was emulating it, also
    stops its emulation and returns to DDD which then reaches its terminal instruction and halts.

    Thus, the CORRECT answer about the halting of the program represented by
    the input to HHH, if HHH answers, is that it halts, even though the
    correct emulation of a finite number of steps didn't get to there. But
    it is a simple fact that the correct emulation of a finite number of
    steps doesn't correctly show the behavior of a larger finite number of
    steps, and thus isn't a totally correct emulation.

    You logic is just based on double-talk and weasel words where you need
    ot use words with shades of meaning and use them in multiple
    contradictory meanings in one statement.

    This just shows how poor your actual position is, as you can't actually
    point to one actual respected source for any part of your logic, at best
    you get people with minor names whi make similar errors.

    Sorry, you are just proving your ignorance and stupidity.

    Just repeating the same sentences just proves it.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 00:19:57 2024
    On 8/8/24 12:00 AM, olcott wrote:
    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not >>>>>>>> mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does >>>>>>>> not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological
    relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it
    is given, because it aborts its emulation.




    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt styate.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Everyone can tell that Richard is trying to get way
    with disagreeing with a tautology.

    Finally admitting total defeat no more attempts at
    contradicting tautologies. They were to easy to spot.

    The tgasp of an attempt at saving face is pure ad
    hominem personal attacks without even any attempt
    at reasoning. *Richard went against the truth and lost*


    Your continued lying and deceit and failure to actually answer the
    errors pointed out is just proving that you have secured your place in
    the trash heap of eternity.

    You are just projecting your own lies and deciet on others, proving you
    utter incapability to form a logica l thought

    Sorry, your aren't worth debating any more, as you have just proved by
    never actually responding the the error, that you are just to stupid to understand what you are doing.

    YOU are the prototype of problem with this country, so stuck in your own
    ideas that you will not even look at the truth.

    Sorry, but it is hard to imagine someone making themselves a stupdid as
    you have done to yourself.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Thu Aug 8 11:13:37 2024
    On 2024-08-08 04:41:11 +0000, olcott said:

    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not mean >>>>>>>> what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does not. >>>>>>>> DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological relationship >>>>>>> to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH that >>>> returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it is
    given, because it aborts its emulation.



    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Everyone can tell that Richard is trying to get way
    with disagreeing with a tautology.

    Every one can see that Olcott is trying to get way
    with ad-hominem instead of staying on topic.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 07:37:49 2024
    On 8/8/24 12:41 AM, olcott wrote:
    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not >>>>>>>> mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does >>>>>>>> not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological
    relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide
    anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH
    that returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it
    is given, because it aborts its emulation.



    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    Nope, and none of the HHH's that you have shown a trace actually showed
    a correct x86 emulation in their output, as none of them have shown the instrucitons of HHH that DDD called.

    The only trace that shows that wasn't generated by HHH, but was a trace
    of HHH doing its steps, which shows that the needed trace CAN be made,
    but you first need to make HHH follow the requirements.


    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Yes there are, that is all you seem to use.


    Everyone can tell that Richard is trying to get way
    with disagreeing with a tautology.

    Nope, just with falacy.


    The only errors are yours each error was pointed
    out separately in the Preceding posts.



    Your continued lying and deceit and failure to actually answer the
    errors pointed out is just proving that you have secured your place in
    the trash heap of eternity.

    You are just projecting your own lies and deciet on others, proving you
    utter incapability to form a logica l thought

    Sorry, your aren't worth debating any more, as you have just proved by
    never actually responding the the error, that you are just to stupid to understand what you are doing.

    YOU are the prototype of problem with this country, so stuck in your own
    ideas that you will not even look at the truth.

    Sorry, but it is hard to imagine someone making themselves a stupdid as
    you have done to yourself.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Thu Aug 8 20:44:18 2024
    Op 08.aug.2024 om 15:15 schreef olcott:
    On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
    Op 07.aug.2024 om 15:01 schreef olcott:
    On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
    Op 04.aug.2024 om 15:11 schreef olcott:
    On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
    Op 03.aug.2024 om 17:20 schreef olcott:>>
    When you try to show how DDD simulated by HHH does
    reach its "return" instruction you must necessarily
    must fail unless you cheat by disagreeing with the
    semantics of C. That you fail to have a sufficient
    understanding of the semantics of C is less than no
    rebuttal what-so-ever.

    Fortunately that is not what I try, because I understand that HHH
    cannot possibly simulate itself correctly.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words when HHH simulates itself simulating DDD it
    is supposed to do something other than simulating itself
    simulating DDD ???  Do you expect it to make a cup of coffee?


    Is English too difficult for you. I said HHH cannot do it correctly.

    *According to an incorrect criteria of correct*
    You keep trying to get away with disagreeing with
    the semantics of the x86 language. *That is not allowed*

    Again accusations without evidence.
    We proved that HHH deviated from the semantics of the x86 language by
    skipping the last few instructions of a halting program.

    void DDD()
    {
      HHH(DDD);
      return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Indeed. And this correctly proves that the simulation failed, not
    because of an instruction simulated incorrectly, but because
    instructions are skipped. In particular the instructions of the last
    cycle of the simulation, after which HHH would return and DDD would
    return are skipped.
    But HHH is programmed to abort one cycle before the end of the program.
    Your claims correctly prove that this is true.
    HHH cannot possibly simulate *itself* correctly up to the end.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Indeed. This correctly proves that the simulation is incomplete and
    incorrect.
    HHH cannot possibly simulate *itself* correctly up to the end.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*


    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.


    Indeed. And this correctly proves that the simulation is incomplete and, therefore, incorrect.
    HHH cannot possibly simulate *itself* correctly up to the end.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Thu Aug 8 21:04:56 2024
    Op 08.aug.2024 om 20:48 schreef olcott:
    On 8/8/2024 1:44 PM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 15:15 schreef olcott:
    On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
    Op 07.aug.2024 om 15:01 schreef olcott:
    On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
    Op 04.aug.2024 om 15:11 schreef olcott:
    On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
    Op 03.aug.2024 om 17:20 schreef olcott:>>
    When you try to show how DDD simulated by HHH does
    reach its "return" instruction you must necessarily
    must fail unless you cheat by disagreeing with the
    semantics of C. That you fail to have a sufficient
    understanding of the semantics of C is less than no
    rebuttal what-so-ever.

    Fortunately that is not what I try, because I understand that
    HHH cannot possibly simulate itself correctly.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words when HHH simulates itself simulating DDD it
    is supposed to do something other than simulating itself
    simulating DDD ???  Do you expect it to make a cup of coffee?


    Is English too difficult for you. I said HHH cannot do it correctly. >>>>>
    *According to an incorrect criteria of correct*
    You keep trying to get away with disagreeing with
    the semantics of the x86 language. *That is not allowed*

    Again accusations without evidence.
    We proved that HHH deviated from the semantics of the x86 language
    by skipping the last few instructions of a halting program.

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Indeed. And this correctly proves that the simulation failed, not
    because of an instruction simulated incorrectly, but because
    instructions are skipped.

    void Infinite_Recursion()
    {
      Infinite_Recursion();
      return;
    }

    Dreaming again of an infinite recursion?


    The return instruction in both cases is unreachable code.
    DDD correctly emulated by HHH and Infinite_Recursion
    correctly emulated by HHH cannot reach the "return"
    instruction.

    It cannot reach it, because it was programmed to abort one cycle before
    the program would end.


    If you don't know the first thing about programming you
    might not notice this.


    You forget that I know that HHH cannot reach its end, because it was
    aborted too soon.
    As an experienced programmer I know that aborting a halting program too
    soon causes it to not reach its end.
    It seems that you do not know that.

    void Finite_Recursion (int N) {
    if (N > 0) Finite_Recursion (N - 1);
    }

    When Finite_Recursion needs 10 recursions and it is aborted after two recursions, it does not reach its end. That does not prove that it is a non-halting program. It proves that the abort came too soon.
    Similarly, when HHH needs two cycles, but its simulation is aborted
    after one cycle, it only shows that the abort came too soon.
    It does not help to dream of a HHH that does not abort. Dreams are no substitute for facts.
    HHH cannot possibly simulate itself correctly, because it cannot reach
    its end.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 22:52:27 2024
    On 8/8/24 9:15 AM, olcott wrote:
    On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
    Op 07.aug.2024 om 15:01 schreef olcott:
    On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
    Op 04.aug.2024 om 15:11 schreef olcott:
    On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
    Op 03.aug.2024 om 17:20 schreef olcott:>>
    When you try to show how DDD simulated by HHH does
    reach its "return" instruction you must necessarily
    must fail unless you cheat by disagreeing with the
    semantics of C. That you fail to have a sufficient
    understanding of the semantics of C is less than no
    rebuttal what-so-ever.

    Fortunately that is not what I try, because I understand that HHH
    cannot possibly simulate itself correctly.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words when HHH simulates itself simulating DDD it
    is supposed to do something other than simulating itself
    simulating DDD ???  Do you expect it to make a cup of coffee?


    Is English too difficult for you. I said HHH cannot do it correctly.

    *According to an incorrect criteria of correct*
    You keep trying to get away with disagreeing with
    the semantics of the x86 language. *That is not allowed*

    Again accusations without evidence.
    We proved that HHH deviated from the semantics of the x86 language by
    skipping the last few instructions of a halting program.

    void DDD()
    {
      HHH(DDD);
      return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is what "Halting" is.

    Remember, the definition of "Halting" is THE PROGRAM reaching a final
    state. I will repeat that, it is THE PROGRAM reachibg a final state.

    A Program, it the COMPLETE collection of ALL the instructions possible
    used in the execution of it, and thus, the PROGRAM DDD, includes the instructions of HHH as part of it, so when you pair different HHHs to
    the C function DDD, to get programs, each pairing is a DIFFERENT input.

    Also, to be a valid input to decide on, it must contain all the
    information needed, and thus your version with just the bytes of the C
    function is NOT a valid input to decide on, and any claim based on that
    would just be a lie.

    Now, when we look at your claimed about DDD correctly emulated for only
    a finite number of steps, and remembering that Halting is based on the
    behavior of the FULL program, the partial emulation does NOT define the behavior of that DDD. We CAN look at a Complete and Correct Emulation,
    which would be given the exact same input to the version of HHH that
    never aborts, and since the pairing of DDD to HHH creates a different
    DDD for each input, that means that we don't have this non-aborting HHH
    look at the DDD that calls the n\on-aborting HHH, but the DDD that calls
    the HHH that did abort after the finite number of steps. (And if you
    can't build that test, you are just proving your system is not Turing
    Complete, and thus not suitable for trying to use for the halting problem.

    This emulation, will, BY DEFINITION, see exactly what the dirrect
    execution of DDD does (or even your non-aborting HHH doesn't correctly
    emulate its input), will see DDD call HHH, then, by your definition,
    that HHH doing some emulation, and then after that finite number of
    steps emulated, will abort its emulation and return to DDD and that DDD
    will reach its final state and be halting

    THus, we have just proved that for every HHH that emulates from 0 to a arbitrary large finite number of steps of DDD correctly, and then return
    0, while its emulation doesn't reach the final return instruction, the
    COMPLETE CORRECT emulation of the same input does, as does the direct
    execution of the machine that the input represents.

    Thus, your claimed "tautology" is a incorrect statement for all but one
    case, that of an HHH that emulates an INFINITE number of steps
    correctly, but that HHH can never answer about the behavior of its
    input, so is not a correct halt decider either.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 22:53:04 2024
    On 8/8/24 2:41 PM, olcott wrote:
    On 8/8/2024 2:00 AM, Mikko wrote:
    On 2024-08-07 13:07:06 +0000, olcott said:

    On 8/7/2024 1:48 AM, Mikko wrote:
    On 2024-08-05 15:16:27 +0000, olcott said:

    I have been working in the x86 language back when my work
    computer at the US Army corps of engineers was an IBM PC
    with an 8088 processor, 512K of RAM and dual floppy drives.

    I was creating dBASE III systems on this computer. This was
    before the 8086 processor even existed thus the name x86
    language did not yet exist.

    Intel 8088 is a variant of 8086 for less expensive computers.
    Intel 8086 already exsted when the first 8088 computers were
    sold. Later Intel develped 80188, 80186, and other processors
    that cold run programs that were written or compiled for 8086,
    so someone coined the term x86 for the family.


    Can you write programs in this language?
    I have written many interrupt intercept TSR
    programs in the 8088 versions of the language.
    I was doing my own time slicing back in 1987.

    I have done that tor 8088 and some other poocessors but not
    recently so my skills may be rusty. Only rarely there is any
    need for machine language programming.


    typedef void (*ptr)();
    int HHH(ptr P); // simulating termination analyzer

    void DDD()
    {
      HHH(DDD);
      return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.

    It seems that every rebuttal that anyone can possibly make is
    necessarily erroneous because the above paragraph is a tautology.


    Nope, it is a lie based on comfusing the behavior of DDD which is what "Halting" is.

    Remember, the definition of "Halting" is THE PROGRAM reaching a final
    state. I will repeat that, it is THE PROGRAM reachibg a final state.

    A Program, it the COMPLETE collection of ALL the instructions possible
    used in the execution of it, and thus, the PROGRAM DDD, includes the instructions of HHH as part of it, so when you pair different HHHs to
    the C function DDD, to get programs, each pairing is a DIFFERENT input.

    Also, to be a valid input to decide on, it must contain all the
    information needed, and thus your version with just the bytes of the C
    function is NOT a valid input to decide on, and any claim based on that
    would just be a lie.

    Now, when we look at your claimed about DDD correctly emulated for only
    a finite number of steps, and remembering that Halting is based on the
    behavior of the FULL program, the partial emulation does NOT define the behavior of that DDD. We CAN look at a Complete and Correct Emulation,
    which would be given the exact same input to the version of HHH that
    never aborts, and since the pairing of DDD to HHH creates a different
    DDD for each input, that means that we don't have this non-aborting HHH
    look at the DDD that calls the n\on-aborting HHH, but the DDD that calls
    the HHH that did abort after the finite number of steps. (And if you
    can't build that test, you are just proving your system is not Turing
    Complete, and thus not suitable for trying to use for the halting problem.

    This emulation, will, BY DEFINITION, see exactly what the dirrect
    execution of DDD does (or even your non-aborting HHH doesn't correctly
    emulate its input), will see DDD call HHH, then, by your definition,
    that HHH doing some emulation, and then after that finite number of
    steps emulated, will abort its emulation and return to DDD and that DDD
    will reach its final state and be halting

    THus, we have just proved that for every HHH that emulates from 0 to a arbitrary large finite number of steps of DDD correctly, and then return
    0, while its emulation doesn't reach the final return instruction, the
    COMPLETE CORRECT emulation of the same input does, as does the direct
    execution of the machine that the input represents.

    Thus, your claimed "tautology" is a incorrect statement for all but one
    case, that of an HHH that emulates an INFINITE number of steps
    correctly, but that HHH can never answer about the behavior of its
    input, so is not a correct halt decider either.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 23:34:25 2024
    On 8/8/24 11:03 PM, olcott wrote:
    On 8/8/2024 9:52 PM, Richard Damon wrote:
    On 8/8/24 9:15 AM, olcott wrote:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is what
    "Halting" is.


    Finally something besides
    the strawman deception,
    disagreeing with a tautology, or
    pure ad hominem.

    You must first agree with everything that I said above
    before we can get to this last and final point that it
    not actually directly referenced above.


    Why do I need to agree to a LIE?


    *Two key facts*
    (a) The "return" instruction is the halt state of DDD.
    (b) DDD correctly emulated by any HHH never reaches this state.


    WRONG, as proven.

    The SIMULATION BY HHH doesn't reach there, but DDD does, as DDD is the
    direct execution of DDD, and "halting" always refers to the direct
    exectuion or something that behaves identically to execution, like a
    COMPLETE correct emulaiton.

    Until you agree to these two points I will continue to
    point out that you are trying to disagree with a tautology.


    Agaim, why do I need to agree to a LIE?

    You are just proving that you are trying to be deceptive and misusing definitions.

    When talking about halting:

    "DDD correctly simulated by HHH" must either mean that HHH does a
    COMPLETE and correct simulation, which means it NEVER aborts its
    simulation, or, as the actual English implies, that it is refering to
    the behavior of DDD (which is its direct execution), with the DDD being qualified as one that is corrcorrectly simualte by HHHY.

    And agian, "Correctly Emulated" normally means the complete and correct emulation, and thus one that never aborts.

    Now, if you do mean correctly but PARTIALLY emulated by HHH, then we can
    show that such an HHH creates a DDD that will call it, it will simulate
    for a while, and then return to that DDD, and DDD will halt.

    Thus, your "tautology" either means that HHH actually does a complete
    and correct emulaiton, and thus you HHH can never abort its emulation to
    give an answer, and thus it fails to be a decider, or you are using the streached definition, and we see that (b) is not met, so it isn't a
    tautology.

    Thus, your claim it is a tautology is a stipulation that you HHH can
    NEVER EVER abort its emulation of DDD, and thus you HHH is just not a
    decider, and you have lied that it correctly answered when it, in fact,
    could never have answered, or you lied that you had a tautology.

    You are just caught with you hand in the cookie jar having played a
    shell game with word meanings.

    Sorry, your proof fails.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Aug 8 23:54:15 2024
    On 8/8/24 11:48 PM, olcott wrote:
    On 8/8/2024 10:34 PM, Richard Damon wrote:
    On 8/8/24 11:03 PM, olcott wrote:
    On 8/8/2024 9:52 PM, Richard Damon wrote:
    On 8/8/24 9:15 AM, olcott wrote:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is
    what "Halting" is.


    Finally something besides
    the strawman deception,
    disagreeing with a tautology, or
    pure ad hominem.

    You must first agree with everything that I said above
    before we can get to this last and final point that it
    not actually directly referenced above.


    Why do I need to agree to a LIE?


    *Two key facts*
    (a) The "return" instruction is the halt state of DDD.
    (b) DDD correctly emulated by any HHH never reaches this state.


    WRONG, as proven.

    The SIMULATION BY HHH doesn't reach there, but DDD does,
    Now you have to agree with (a).


    Why? since you statement was proven false, the accuracy of one of the
    terms doesn't matter.

    I guess you don't understand how logic works, you have already shown
    that there is a lie in your proof, and therefore it is wrong.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 08:46:56 2024
    Op 08.aug.2024 om 21:18 schreef olcott:
    On 8/8/2024 2:04 PM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 20:48 schreef olcott:
    On 8/8/2024 1:44 PM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 15:15 schreef olcott:
    On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
    Op 07.aug.2024 om 15:01 schreef olcott:
    On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
    Op 04.aug.2024 om 15:11 schreef olcott:
    On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
    Op 03.aug.2024 om 17:20 schreef olcott:>>
    When you try to show how DDD simulated by HHH does
    reach its "return" instruction you must necessarily
    must fail unless you cheat by disagreeing with the
    semantics of C. That you fail to have a sufficient
    understanding of the semantics of C is less than no
    rebuttal what-so-ever.

    Fortunately that is not what I try, because I understand that >>>>>>>>>> HHH cannot possibly simulate itself correctly.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words when HHH simulates itself simulating DDD it
    is supposed to do something other than simulating itself
    simulating DDD ???  Do you expect it to make a cup of coffee? >>>>>>>>>

    Is English too difficult for you. I said HHH cannot do it
    correctly.

    *According to an incorrect criteria of correct*
    You keep trying to get away with disagreeing with
    the semantics of the x86 language. *That is not allowed*

    Again accusations without evidence.
    We proved that HHH deviated from the semantics of the x86 language >>>>>> by skipping the last few instructions of a halting program.

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Indeed. And this correctly proves that the simulation failed, not
    because of an instruction simulated incorrectly, but because
    instructions are skipped.

    void Infinite_Recursion()
    {
       Infinite_Recursion();
       return;
    }

    Dreaming again of an infinite recursion?


    The return instruction in both cases is unreachable code.
    DDD correctly emulated by HHH and Infinite_Recursion
    correctly emulated by HHH cannot reach the "return"
    instruction.

    It cannot reach it, because it was programmed to abort one cycle
    before the program would end.


    *Maybe you have ADD like Richard has. I already said this above*
    When zero to infinity steps of DDD are correctly emulated by
    HHH no DDD ever reaches its own "return" instruction.

    Maybe the issue is that you don't know programming well enough
    to understand that this is true.

    Maybe you should try to learn English. I confirmed hat HHH cannot reach
    the end of the simulation of itself.
    Maybe you should learn to program. When the simulation of a halting
    program is unable to reach the end, it proves that the simulation is
    incorrect.
    Everybody with sufficient programming knowledge understands that a
    simulator cannot possibly simulate itself correctly up to the end,
    because either it does not halt, or it misses the last cycle, the final
    part of the simulation.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 08:39:21 2024
    Op 09.aug.2024 om 05:03 schreef olcott:
    On 8/8/2024 9:52 PM, Richard Damon wrote:
    On 8/8/24 9:15 AM, olcott wrote:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is what
    "Halting" is.


    Finally something besides
    the strawman deception,
    disagreeing with a tautology, or
    pure ad hominem.

    You must first agree with everything that I said above
    before we can get to this last and final point that it
    not actually directly referenced above.

    *Two key facts*
    (a) The "return" instruction is the halt state of DDD.
    (b) DDD correctly emulated by any HHH never reaches this state.
    There is no correct simulation of HHH by itself. HHH cannot possibly
    simulate itself correctly. A correct simulation of a halting program
    must reach this state.
    There is only an incorrect simulation attempt that does not reach this
    state, proving that the simulation is incorrect.
    You are still dreaming of a simulation that does not abort and therefore
    does not halt. Dreams are no substitute for facts.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Fri Aug 9 12:03:17 2024
    On 2024-08-08 13:18:34 +0000, olcott said:

    On 8/8/2024 3:13 AM, Mikko wrote:
    On 2024-08-08 04:41:11 +0000, olcott said:

    On 8/7/2024 8:22 PM, Richard Damon wrote:
    On 8/7/24 9:12 PM, olcott wrote:
    On 8/7/2024 8:03 PM, Richard Damon wrote:
    On 8/7/24 2:14 PM, olcott wrote:
    On 8/7/2024 1:02 PM, joes wrote:
    Am Wed, 07 Aug 2024 08:54:41 -0500 schrieb olcott:
    On 8/7/2024 2:29 AM, Mikko wrote:
    On 2024-08-05 13:49:44 +0000, olcott said:

    I know what it means. But the inflected form "emulated" does not mean
    what you apparently think it means. You seem to think that "DDD >>>>>>>>>> emulated by HHH" means whatever HHH thinks DDD means but it does not.
    DDD means what it means whether HHH emulates it or not.

    In other words when DDD is defined to have a pathological relationship
    to HHH we can just close our eyes and ignore it and pretend that it >>>>>>>>> doesn't exist?
    It doesn't change anything about DDD. HHH was supposed to decide anything
    and can't fulfill that promise. That doesn't mean that DDD is somehow >>>>>>>> faulty, it's just a counterexample.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    *HHH is required to report on the behavior of DDD*
    Anyone that does not understand that HHH meets this criteria
    has insufficient understanding.

    But it doesn't, as a correct simulation of a DDD that calls an HHH that >>>>>> returns will stop running,

    I really think that you must be a liar here because
    you have known this for years:

    On 8/2/2024 11:32 PM, Jeff Barnett wrote:
    ...In some formulations, there are specific states
    ;    defined as "halting states" and the machine only
    ;    halts if either the start state is a halt state...

    ...these and many other definitions all have
    ;    equivalent computing prowess...

    Anyone that knows C knows that DDD correctly simulated
    by any HHH cannot possibly reach its "return" {halt state}.


    But the problem is that you HHH ODESN'T correctly emulate the DDD it is >>>> given, because it aborts its emulation.



    Every one can see that Olcott is trying to get way
    with ad-hominem instead of staying on topic.


    void DDD()
    {
    HHH(DDD);
    return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Fri Aug 9 12:22:42 2024
    On 2024-08-08 18:45:00 +0000, olcott said:

    On 8/8/2024 2:59 AM, Mikko wrote:
    On 2024-08-07 13:43:09 +0000, olcott said:

    On 8/7/2024 2:24 AM, Mikko wrote:
    On 2024-08-05 15:01:36 +0000, olcott said:

    On 8/5/2024 2:49 AM, Mikko wrote:
    On 2024-08-04 12:37:49 +0000, olcott said:

    On 8/4/2024 2:18 AM, Mikko wrote:
    On 2024-08-03 13:58:07 +0000, olcott said:

    On 8/3/2024 3:19 AM, Mikko wrote:
    On 2024-08-02 20:57:26 +0000, olcott said:

    Who here is too stupid to know that DDD correctly simulated >>>>>>>>>>> by HHH cannot possibly reach its own return instruction? >>>>>>>>>>>
    void DDD()
    {
       HHH(DDD);
       return;
    }

    Everyone here understands that that depends on whther HHH returns. >>>>>>>>>
    Fred's understanding is worse than that.

    You don't know whether that is true.

    Some have deeper understanding than that.

    *Ben has the best understanding of all*

    In particular better than you.


    *Ben has a deeper agreement with me than anyone else*

    Doesn't matter. Points of disagreement, both deep and shallow, are >>>>>> more important than points of agreement.

    Not at all.
    Most of the reviewers simply don't have a clue that they
    don't have a clue. The error is entirely on their side.

    Your reviewers don't need a clue. You need. But you don't have.
    And you don't know you don't have so you don't seek. As you
    don't seek you will never get.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    Any expert in the C language that knows what x86 emulators
    are knows that DDD correctly emulated by HHH specifies what
    is essentially equivalent to infinite recursion.

    No, that requires knowing what does or at least whther it
    ever returns. Knowledge of what x86 emulators are does not
    help.


    x86 machine code is a 100% exact and concrete specification.

    But has too many unimportant details.

    C is a little more vague and hides the details.

    With C it is possible to write unambigous programs. It is not
    as easy as with many other languages because C is usually
    used for purposes where implementation dependnet behaviour
    need not be avoided.

    typedef void (*ptr)();
    int HHH(ptr P); // simulating termination analyzer

    void DDD()
    {
    HHH(DDD);
    return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the above paragraph is a tautology.

    HHH computes the mapping from its finite string of x86 machine
    code to the actual behavior that this finite string specifies
    which includes recursive emulation.

    It is not useful to repeat what has already been said. You should
    always improve, at least the presentation. If you cant find any
    other improvemnt you should at least correct the worst typo.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 17:42:45 2024
    Op 09.aug.2024 om 17:04 schreef olcott:
    On 8/9/2024 1:46 AM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 21:18 schreef olcott:
    On 8/8/2024 2:04 PM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 20:48 schreef olcott:
    On 8/8/2024 1:44 PM, Fred. Zwarts wrote:
    Op 08.aug.2024 om 15:15 schreef olcott:
    On 8/8/2024 3:24 AM, Fred. Zwarts wrote:
    Op 07.aug.2024 om 15:01 schreef olcott:
    On 8/7/2024 3:16 AM, Fred. Zwarts wrote:
    Op 04.aug.2024 om 15:11 schreef olcott:
    On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
    Op 03.aug.2024 om 17:20 schreef olcott:>>
    When you try to show how DDD simulated by HHH does
    reach its "return" instruction you must necessarily
    must fail unless you cheat by disagreeing with the
    semantics of C. That you fail to have a sufficient
    understanding of the semantics of C is less than no
    rebuttal what-so-ever.

    Fortunately that is not what I try, because I understand >>>>>>>>>>>> that HHH cannot possibly simulate itself correctly.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words when HHH simulates itself simulating DDD it >>>>>>>>>>> is supposed to do something other than simulating itself >>>>>>>>>>> simulating DDD ???  Do you expect it to make a cup of coffee? >>>>>>>>>>>

    Is English too difficult for you. I said HHH cannot do it
    correctly.

    *According to an incorrect criteria of correct*
    You keep trying to get away with disagreeing with
    the semantics of the x86 language. *That is not allowed*

    Again accusations without evidence.
    We proved that HHH deviated from the semantics of the x86
    language by skipping the last few instructions of a halting
    program.

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    Indeed. And this correctly proves that the simulation failed, not
    because of an instruction simulated incorrectly, but because
    instructions are skipped.

    void Infinite_Recursion()
    {
       Infinite_Recursion();
       return;
    }

    Dreaming again of an infinite recursion?


    The return instruction in both cases is unreachable code.
    DDD correctly emulated by HHH and Infinite_Recursion
    correctly emulated by HHH cannot reach the "return"
    instruction.

    It cannot reach it, because it was programmed to abort one cycle
    before the program would end.


    *Maybe you have ADD like Richard has. I already said this above*
    When zero to infinity steps of DDD are correctly emulated by
    HHH no DDD ever reaches its own "return" instruction.

    Maybe the issue is that you don't know programming well enough
    to understand that this is true.

    Maybe you should try to learn English. I confirmed hat HHH cannot
    reach the end of the simulation of itself.

    Yes and cups of coffee are made from ground coffee beans.
    Changing the subject is merely the dishonest dodge of the
    strawman deception.

    So, why do you do it?


    Maybe you should learn to program. When the simulation of a halting
    program is unable to reach the end, it proves that the simulation is
    incorrect.


    void Infinite_Loop()
    {
      HERE: goto HERE;
    }

    The correct simulation of the above never halts.

    Again a change of subject. We are talking about a halting program, which
    looks more like:

    void Finite_Recursion (int N) {
    if (N > 0) Finite_Recursion (N - 1);
    }

    In the case of the HHH for which you have published a 'trace', we see
    that it halts after two recursions, not after infinite recursions.
    Therefore, who is dishonest to change the subject to an infinite
    recursion? Who is using the straw-man deception? It is the one who
    claims that two equals infinity!


    Everybody with sufficient programming knowledge understands that a
    simulator cannot possibly simulate itself correctly up to the end,
    because either it does not halt, or it misses the last cycle, the
    final part of the simulation.

    When a simulating termination analyzer is essentially called
    in infinite recursion it is smart enough to abort.


    Apparently, your decider is unable to correctly recognise an infinite recursion. It incorrectly thinks that N equals infinity.
    A good programmer should know the difference between two and infinity.

    We are not dreaming of the HHH that does not abort, but about the HHH
    that aborts. Dreams are no substitute for facts.
    HHH is required to halt. So, when HHH aborts itself after N recursions,
    the simulated HHH has only one recursion to go.
    So, it is correct to say that HHH cannot possibly simulate itself
    correctly up to the end.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 17:27:30 2024
    Op 09.aug.2024 om 15:41 schreef olcott:
    On 8/9/2024 1:39 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 05:03 schreef olcott:
    On 8/8/2024 9:52 PM, Richard Damon wrote:
    On 8/8/24 9:15 AM, olcott wrote:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is
    what "Halting" is.


    Finally something besides
    the strawman deception,
    disagreeing with a tautology, or
    pure ad hominem.

    You must first agree with everything that I said above
    before we can get to this last and final point that it
    not actually directly referenced above.

    *Two key facts*
    (a) The "return" instruction is the halt state of DDD.
    (b) DDD correctly emulated by any HHH never reaches this state.
    There is no correct simulation of HHH by itself. HHH cannot possibly
    simulate itself correctly. A correct simulation of a halting program
    must reach this state.

    Try and show how it is incorrect.
    We proved it many times, but it seems you do not understand it. It is
    unclear to me whether you are unable to understand it or unwilling to understand it. But I will go another mile.

    (HHH is required to halt, so we don't need to consider the non-aborting
    HHH.)
    1) HHH is programmed to abort after N cycles. When HHH simulates itself,
    the simulating HHH aborts after N cycles.
    2) Note, we are looking at the HHH that aborts after N cycles, not the
    one that does not abort. Both the simulating and the simulated HHH use
    the same algorithm, namely, the algorithm to abort after N cycles.
    3) At the moment that the simulating HHH aborts, the simulated HHH has
    done N-1 cycles. It still has one cycle to go, after which it would
    abort and return, after which DDD would return.
    4) But the simulation cannot reach this end, because the simulating HHH
    aborts after N cycles, because that is how it is programmed, skipping in
    this way the simulation of the last cycle. (There is a last cycle,
    because that is how HHH is programmed: to abort after N cycles. We are
    not dreaming of another HHH that does not abort.)
    5) Skipping the last cycle and the end of this halting program violates
    the purpose of the simulation, which makes the simulation incorrect.
    Note that this proof holds for any N between 0 and infinity.

    Now it is your turn. Not only repeat without evidence the claim that the simulation is correct, but prove it, by proving that no instructions of
    the halting program were skipped. (We don't need to prove that HHH is
    halting, because that is a requirement.)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 21:45:47 2024
    Op 09.aug.2024 om 19:02 schreef olcott:
    On 8/9/2024 10:42 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 17:04 schreef olcott:
    void Infinite_Loop()
    {
       HERE: goto HERE;
    }

    The correct simulation of the above never halts.


    void DDD()
    {
      HHH(DDD);
      return;
    }

    A correct simulation of N instructions of DDD <is>
    A correct simulation of N instructions of DDD.

    Irrelevant.
    We are not interested in the simulation of only a few instructions, but
    in the simulation of the whole halting program, to determine its halting behaviour.

    You are trying to get away with denying a truism.

    I did not. Your understanding of English is very poor.

    A correct simulation of a halting program is the correct simulation of
    *all* of the instructions, not only the first part.

    In other words, you think you can win a running race with only the first
    N steps.

    int main() {
    return HHH(main);
    }

    HHH cannot possibly simulate itself correctly.
    It halts, but decides that it does not halt.
    You are trying to get away with denying simple facts.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Fri Aug 9 21:35:23 2024
    Op 09.aug.2024 om 18:19 schreef olcott:
    On 8/9/2024 10:27 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 15:41 schreef olcott:
    On 8/9/2024 1:39 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 05:03 schreef olcott:
    On 8/8/2024 9:52 PM, Richard Damon wrote:
    On 8/8/24 9:15 AM, olcott wrote:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*
    *There are no double-talk weasel words around this*

    There is no need to show any execution trace at the x86 level
    every expert in the C language sees that the emulated DDD
    cannot possibly reaches its "return" instruction halt state.

    Every rebuttal that anyone can possibly make is necessarily
    erroneous because the first paragraph is a tautology.



    Nope, it is a lie based on comfusing the behavior of DDD which is
    what "Halting" is.


    Finally something besides
    the strawman deception,
    disagreeing with a tautology, or
    pure ad hominem.

    You must first agree with everything that I said above
    before we can get to this last and final point that it
    not actually directly referenced above.

    *Two key facts*
    (a) The "return" instruction is the halt state of DDD.
    (b) DDD correctly emulated by any HHH never reaches this state.
    There is no correct simulation of HHH by itself. HHH cannot possibly
    simulate itself correctly. A correct simulation of a halting program
    must reach this state.

    Try and show how it is incorrect.
    We proved it many times, but it seems you do not understand it. It is
    unclear to me whether you are unable to understand it or unwilling to
    understand it. But I will go another mile.

    (HHH is required to halt, so we don't need to consider the non-
    aborting HHH.)
    1) HHH is programmed to abort after N cycles. When HHH simulates
    itself, the simulating HHH aborts after N cycles.

    That is false. AKA counter-factual.

    Your own words were that HHH is a halting decider. You even showed
    traces of HHH aborting after two cycles. Are you short of memory, or are
    you lying? Or are you again substituting your dreams of a non-aborting non-halting HHH for facts?


    2) Note, we are looking at the HHH that aborts after N cycles, not the
    one that does not abort. Both the simulating and the simulated HHH use
    the same algorithm, namely, the algorithm to abort after N cycles.

    When we look at every HHH that can possibly exist then we
    see that DDD correctly emulated by each one of these cannot
    possibly reach its own "return" instruction halt state.

    There is no HHH that can correctly simulate DDD, because DDD includes
    HHH and HHH cannot possibly simulate itself correctly. So, your 'every
    HHH' is an empty set.
    But leaving out 'correctly', that is exactly what I said, but you
    removed it. This correctly proves that the simulation is incomplete and, therefore, incomplete. A correct simulation would simulate the halting
    program up to the end, as is shown when HHH is simulated by HHH1.
    It does not help to repeat the same error again, it does not become
    correct by just repetition.


    That you can't understand this seems to indicate a lack
    of software engineering skills.


    Irrelevant ad hominem attack ignored. It only shows a lack of reasoning.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 10:07:32 2024
    Op 09.aug.2024 om 21:56 schreef olcott:
    On 8/9/2024 2:45 PM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 19:02 schreef olcott:
    On 8/9/2024 10:42 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 17:04 schreef olcott:
    void Infinite_Loop()
    {
       HERE: goto HERE;
    }

    The correct simulation of the above never halts.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    A correct simulation of N instructions of DDD <is>
    A correct simulation of N instructions of DDD.

    Irrelevant.
    We are not interested in the simulation of only a few instructions,
    but in the simulation of the whole halting program, to determine its
    halting behaviour.


    That is a pretty stupid requirement for non-halting inputs.

    A stupid an irrelevant remark when we are talking about a HHH that
    aborts and halts. HHH is required to halt. Dreams of another HHH that
    does not halt are no substitute for facts.
    If you have nothing to say, don't reply.

    You don't even know what halting is yet.

    Another irrelevant and false remark.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 10:27:17 2024
    Op 09.aug.2024 om 22:53 schreef olcott:
    On 8/9/2024 2:35 PM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 18:19 schreef olcott:

    void DDD()
    {
      HHH(DDD);
      return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.
    And you don't need to be an expert to see that this proves that all
    these simulations are incorrect. Those that halt are incorrect, because
    they are incomplete, skipping the last cycle of the simulation, what
    makes them incorrect.
    A simulation that runs forever is useless as well and will never become correct, because it never ends.

    So, what you have done is showing that HHH cannot possibly simulate
    itself correctly.

    DDD is a misleading and unneeded complication. It is easy to eliminate DDD:

    int main() {
    return HHH(main);
    }

    This has the same problem. This proves that the problem is not in DDD,
    but in HHH, which halts when it aborts the simulation, but it decides
    that the simulation of itself does not halt.
    It shows that HHH cannot possibly simulate itself correctly.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sat Aug 10 11:29:51 2024
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sat Aug 10 12:12:56 2024
    On 2024-08-09 14:58:34 +0000, olcott said:

    On 8/9/2024 4:22 AM, Mikko wrote:
    On 2024-08-08 18:45:00 +0000, olcott said:


    x86 machine code is a 100% exact and concrete specification.

    But has too many unimportant details.


    *After we get agreement on this*
    (a) The "return" instruction is the halt state of DDD.

    It is not unless the stack pointer and base pointer contain the
    same values they contained when DDD was entered.

    (b) DDD correctly emulated by any HHH never reaches this state.

    The "DDD correctly emulated by any HHH" is too ambigous. If it is
    not clear what is agreed then it is not clear that anyting is
    agreed.

    Then we move on to the last step we I prove how important
    a 100% concrete specification is.

    That need not be proven. Everyone believes if you say so.
    Instead, you need to prove that you have an unambifous
    specification, and in order to prove that you have one
    you must have one. But can you show a full machine code
    listing of ever HHH in an infinite set?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Aug 10 07:48:37 2024
    On 8/10/24 7:34 AM, olcott wrote:
    On 8/10/2024 3:27 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 22:53 schreef olcott:
    On 8/9/2024 2:35 PM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 18:19 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.
    And you don't need to be an expert to see that this proves that all
    these simulations are incorrect.

    In other words you are trying to get away with the lie that
    Richard has been persistently pushing:

    When N > 0 instructions of DDD are correctly emulated by HHH
    then no instructions of DDD have been correctly emulated.


    No, that is just a lie you say about me.

    I never said that NO instructions of DDD have been correctly emulated,
    just tnat not all of the instructions of DDD have been correctly emulated.

    The fact that you keep repeating the obviousl LIE, just shows that you
    have nothing to base you claims on.

    That or you just don't understand the basic meaning of the words correct
    and incorrect.

    For something to be correct, it must be TOTALLY correct, and incorrect
    doesn't mean nothing is right, just that it isn't ALL right.

    You logic seems to think that if any part is correct, then it must be
    correct, and the only way something is incorrect is if nothing in it is correct, which is just the basis of so many lies, as that isn't what the
    words mean.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Aug 10 07:57:58 2024
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final state, or simulate forever are "correct" emulators of the whole program, suitable
    to show halting.


    When we can see that in none of these cases that
    the correctly emulated DDD ever reaches its "return"
    instruction halt state.

    But, all the ones that aborted after a finite number of states, show
    nothing except that the input runs for at least that many steps.

    Remember, each input, the DDD paired with a given HHH, is a DIFFERENT
    input with different behavior so you can't move resu


    This entails that each HHH can take a wild guess that
    its input does not reach this halt state and necessarily
    be correct.

    Nope, you just keep on confusing the behavior of the input, which is
    what the program it represents does when run, with the behaivor of the
    partial emulation of it.

    Every HHH that answers was given a DDD that halts, so if it is going to
    take a wild guess, it needs to guess Halting to be right.

    You are just proving your ignorance of what you are talking about,
    particually what a "Program" is.


    When all X has property Y then each X is necessarily
    correct to state that is has property Y.




    But the property they shaered wasn't "non-halting" but not-halted yet.
    Only the one HHH that never aborts showed not-halting. In fact, the rest
    can be shown to be Halting, and thus we can show that you don't
    understand how to do logic, and that you belive that lying is a valid
    form of logic.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 15:08:51 2024
    Op 10.aug.2024 om 13:34 schreef olcott:
    On 8/10/2024 3:27 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 22:53 schreef olcott:
    On 8/9/2024 2:35 PM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 18:19 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.
    And you don't need to be an expert to see that this proves that all
    these simulations are incorrect.

    In other words you are trying to get away with the lie that
    Richard has been persistently pushing:

    When N > 0 instructions of DDD are correctly emulated by HHH
    then no instructions of DDD have been correctly emulated.



    In other words, you believe that only the numbers zero and infinite exist.

    If I say that N instructions is not enough, you think I say zero
    instructions are simulated correctly.
    Your English is very poor.

    What I say is:
    We know that HHH is halting. It is a requirement, it is also shown when executed directly and it is also shown when it is correctly simulated by another simulator, like HHH1. We then see that the number of
    instructions to be simulated to reach the end is K. But HHH simulates
    only N instructions. It skips M=K-N instructions.
    Maybe I should repeat, because your English is so poor. I do not say
    that N=0.
    It is not the N instructions that are correctly simulated that makes the simulation incorrect, it is the M instructions that are not simulated at
    all that makes the simulation incorrect.

    Olcott tries to keep the discussion going on the subject whether the
    simulation of N instructions is correct, or not. As if there is anyone
    with doubts about the correct simulation of the N instructions. But he
    keeps the discussion there, to avoid to discuss why the simulation
    aborts after N instructions. He says that he has criteria to detect
    non-halting behaviour, but he is very vague about these criteria.
    He has only shown a few trivial examples in which these criteria seem to
    have the desired effect of detecting non-halting behaviour. But it is
    clear that a few examples do not tell how good the algorithm is. Even
    for a decider that always returns 1 we can find examples for which it is correct.
    The discussion should be about this algorithm. But that cannot be done,
    because olcott does not reveal the algorithm. As usual, we see only
    claims that non-halting behaviour is detected, but no evidence that
    these claims are true.
    Apart from the trivial examples, such as Infinite_loop and
    Infinite_Recursion, he says that the abort is necessary to avoid an
    infinite recursion. Another thing nobody denies, but he likes to bring
    it up again and again, as if it proves that the algorithm is correct.
    It seems that he does not realise that when the code to abort is added
    to HHH, we can construct a new DDD that calls this new HHH that aborts.
    But he keeps dreaming of the HHH that does not abort.
    But the input of the new DDD includes the new HHH that aborts and halts,
    so the only correct decision would be that it halts and there is no
    reason to abort *this* input. (That does not mean that the HHH that does
    not abort, still needs to be aborted, but that is another input.)

    The discussion should target the criteria to detect non-halting
    behaviour, but I am afraid olcott will not tell any details about them,
    because the halting theorem already proved that no such criteria exist
    that are always correct. Olcott probably knows that, if he would reveal details, therefore, immediately errors in his criteria will be spotted,
    so he needs to hide these criteria and avoid a discussion about them, in
    order to keep the discussion going.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 15:55:22 2024
    Op 10.aug.2024 om 15:25 schreef olcott:
    On 8/10/2024 8:08 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 13:34 schreef olcott:
    On 8/10/2024 3:27 AM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 22:53 schreef olcott:
    On 8/9/2024 2:35 PM, Fred. Zwarts wrote:
    Op 09.aug.2024 om 18:19 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    emulates zero to infinity instructions of DDD correctly.
    Every expert in the C language sees that this emulated DDD
    cannot possibly reaches its own "return" instruction halt state.
    And you don't need to be an expert to see that this proves that all
    these simulations are incorrect.

    In other words you are trying to get away with the lie that
    Richard has been persistently pushing:

    When N > 0 instructions of DDD are correctly emulated by HHH
    then no instructions of DDD have been correctly emulated.



    In other words, you believe that only the numbers zero and infinite
    exist.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    When we can see that in none of these cases that the
    correctly emulated DDD ever reaches its "return" instruction
    halt state.

    Proving that none of these simulations is correct. Because each of them
    has a reachable return (as proven by the direct execution and by another simulator, like HHH1), but the simulator failed to reach it.


    This entails that each HHH can take a wild guess that
    its input does not reach this halt state and HHH would
    necessarily be correct.

    If each of these simulations is incorrect, they are all incorrect, so
    the wild guess that none of them reach the halt state is correct,
    proving that all of them failed to simulate correctly up to the halt
    state. So, each of them did an incomplete and therefore incorrect
    simulation.


    When all X has property Y then each X is necessarily
    correct to state that is has property Y.

    From this it follows that:
    When all HHH have the property that it fails to simulate itself
    correctly up to the halt state, then it is necessarily correct to state
    that each HHH fails to simulate itself correctly up to the halt state. Everybody denying such simple facts should stop the discussion immediately.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 15:21:31 2024
    Op 10.aug.2024 om 14:06 schreef olcott:
    On 8/10/2024 6:57 AM, Richard Damon wrote:
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final state,
    or simulate forever are "correct" emulators of the whole program,
    suitable to show halting.


    void DDD()
    {
      HHH(DDD);
      return;
    }

    In other words even though it is dead obvious to
    us that a complete simulation of DDD simulated by HHH

    is impossible, because HHH is programmed to abort and, therefore, it is
    unable to do a complete simulation.
    Or are you dreaming again of the HHH that does not abort, not only as simulator, but also as input.

    So, any conclusion about what it would do if it does not do what it is programmed to do, but it would do something that it is not programmed to
    do, namely, a complete simulation, is just speculation.
    Even a beginner in software development understands that a program does
    what it is programmed to do. Therefore, it it is a ridiculous dream to
    assume that HHH would do a complete simulation and

    will never halt algorithms will forever be ridiculously
    more stupid and never be able to see this?

    All HHH that abort, halt and then DDD halts. It is proved by the direct execution, by the simulation with another simulator, such as HHH1.
    But HHH cannot possibly simulate *itself* correctly.
    That HHH cannot reach the end, because HHH that abort cannot do a
    complete simulation, because it is programmed to abort, proves that the simulation is incomplete and incorrect.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 16:00:36 2024
    Op 10.aug.2024 om 15:37 schreef olcott:
    On 8/10/2024 8:21 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 14:06 schreef olcott:
    On 8/10/2024 6:57 AM, Richard Damon wrote:
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final state,
    or simulate forever are "correct" emulators of the whole program,
    suitable to show halting.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words even though it is dead obvious to
    us that a complete simulation of DDD simulated by HHH

    is impossible, because HHH is programmed to abort and, therefore, it
    is unable to do a complete simulation.

    A complete simulation of DDD by a pure x86 emulator
    named HHH cannot possibly reach its own "return"
    instruction halt state.

    Indeed, HHH fails to reach its own halt state. HHH cannot possibly
    simulate itself up to its halt state.
    Which proves that the simulation is incomplete and, therefore, incorrect.


    We can see this. Do you think that an algorithm
    is much more stupid than we are?

    No, but the programmer may be so stupid to deny that that the simulation
    failed when it did not reach the halt state. That there is a halt state
    is proven by the direct execution, by the simulation with HHH1 and by
    the knowledge that H is programmed to abort and halt after N instructions.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 20:35:45 2024
    Op 10.aug.2024 om 16:24 schreef olcott:
    On 8/10/2024 9:00 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 15:37 schreef olcott:
    On 8/10/2024 8:21 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 14:06 schreef olcott:
    On 8/10/2024 6:57 AM, Richard Damon wrote:
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>> *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final
    state, or simulate forever are "correct" emulators of the whole
    program, suitable to show halting.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words even though it is dead obvious to
    us that a complete simulation of DDD simulated by HHH

    is impossible, because HHH is programmed to abort and, therefore, it
    is unable to do a complete simulation.

    A complete simulation of DDD by a pure x86 emulator
    named HHH cannot possibly reach its own "return"
    instruction halt state.

    Indeed, HHH fails to reach its own halt state. HHH cannot possibly
    simulate itself up to its halt state.
    Which proves that the simulation is incomplete and, therefore, incorrect.


    That an emulation of an input is necessary correct no matter
    what-the-Hell it does as long as it conforms to the semantics
    of the x86 language is either over your head or you persistently
    lie about it.


    No evidence for these claims. We know that a simulation of a halting
    program is correct only when it reaches the halt state, not when only
    the first N instructions are simulated correctly. HHH fails to reach the
    halt state. It seems over your head to combine these two facts and see
    that the simulation of HHH by itself is incorrect.

    It seems you are running in circles.
    1) You try to use the claim of a non-halting behaviour as a basis to for
    the claim that the simulation is correct to abort after the correct
    simulation of only N instructions.
    2) You try to use the abort of the simulation, when only the first N instructions are simulated correctly as a basis for the claim of
    non-halting behaviour.

    Make up your mind. What is the first thing you want agreement about,
    a) a correct simulation, or
    b) the non-halting behaviour?

    If a, then we can not assume b, because that is the next step.
    If b, then we cannot assume a, because that is the next step.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Aug 10 20:56:16 2024
    Op 10.aug.2024 om 20:41 schreef olcott:
    On 8/10/2024 1:35 PM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 16:24 schreef olcott:
    On 8/10/2024 9:00 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 15:37 schreef olcott:
    On 8/10/2024 8:21 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 14:06 schreef olcott:
    On 8/10/2024 6:57 AM, Richard Damon wrote:
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>>>> *emulates zero to infinity instructions correctly* In >>>>>>>>>>>>> none of these cases does the emulated DDD ever reach >>>>>>>>>>>>> its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything: >>>>>>>>>>> "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some >>>>>>>>>> inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience* >>>>>>>>>>> Each element of this set is mapped to one element of the >>>>>>>>>>> set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of >>>>>>>>>> instructions is emulated. But the restriction to DDD does not >>>>>>>>>> seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final
    state, or simulate forever are "correct" emulators of the whole >>>>>>>> program, suitable to show halting.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words even though it is dead obvious to
    us that a complete simulation of DDD simulated by HHH

    is impossible, because HHH is programmed to abort and, therefore,
    it is unable to do a complete simulation.

    A complete simulation of DDD by a pure x86 emulator
    named HHH cannot possibly reach its own "return"
    instruction halt state.

    Indeed, HHH fails to reach its own halt state. HHH cannot possibly
    simulate itself up to its halt state.
    Which proves that the simulation is incomplete and, therefore,
    incorrect.


    That an emulation of an input is necessary correct no matter
    what-the-Hell it does as long as it conforms to the semantics
    of the x86 language is either over your head or you persistently
    lie about it.


    No evidence for these claims. We know that a simulation of a halting
    program is correct only when it reaches the halt state,

    void Infinite_Recursion()
    {
      Infinite_Recursion();
    }

    void Infinite_Loop()
    {
      HERE: goto HERE;
    }

    You seem to be an ignoramus. Ordinary ignorance can be corrected.

    Completely irrelevant. There is no infinite loop in HHH because HHH
    aborts after N recursions, not after an Infinite_Recursion.
    Your trace showed that HHH runs only two recursions. Two is not infinite.

    Apparently your memory lasts only one or two days.
    We have shown this before, but you forget it again and again.
    Therefore, HHH looks more like:

    void Finite_Recursion (int N) {
    if (N > 0) Finite_Recursion (N - 1);
    }

    Th whole discussion makes me think of a discussion with someone with
    dementia. After one round we are back at the beginning.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Aug 10 14:58:26 2024
    On 8/10/24 2:41 PM, olcott wrote:
    On 8/10/2024 1:35 PM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 16:24 schreef olcott:
    On 8/10/2024 9:00 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 15:37 schreef olcott:
    On 8/10/2024 8:21 AM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 14:06 schreef olcott:
    On 8/10/2024 6:57 AM, Richard Damon wrote:
    On 8/10/24 7:30 AM, olcott wrote:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>>>> *emulates zero to infinity instructions correctly* In >>>>>>>>>>>>> none of these cases does the emulated DDD ever reach >>>>>>>>>>>>> its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything: >>>>>>>>>>> "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some >>>>>>>>>> inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience* >>>>>>>>>>> Each element of this set is mapped to one element of the >>>>>>>>>>> set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of >>>>>>>>>> instructions is emulated. But the restriction to DDD does not >>>>>>>>>> seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    I thopught HHH was a deider?


    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    And only those element of the set that either reach the final
    state, or simulate forever are "correct" emulators of the whole >>>>>>>> program, suitable to show halting.


    void DDD()
    {
       HHH(DDD);
       return;
    }

    In other words even though it is dead obvious to
    us that a complete simulation of DDD simulated by HHH

    is impossible, because HHH is programmed to abort and, therefore,
    it is unable to do a complete simulation.

    A complete simulation of DDD by a pure x86 emulator
    named HHH cannot possibly reach its own "return"
    instruction halt state.

    Indeed, HHH fails to reach its own halt state. HHH cannot possibly
    simulate itself up to its halt state.
    Which proves that the simulation is incomplete and, therefore,
    incorrect.


    That an emulation of an input is necessary correct no matter
    what-the-Hell it does as long as it conforms to the semantics
    of the x86 language is either over your head or you persistently
    lie about it.


    No evidence for these claims. We know that a simulation of a halting
    program is correct only when it reaches the halt state,

    void Infinite_Recursion()
    {
      Infinite_Recursion();
    }

    void Infinite_Loop()
    {
      HERE: goto HERE;
    }

    You seem to be an ignoramus. Ordinary ignorance can be corrected.


    So, whats the evidence that applies to DDD?

    Seems to be your normal Straw man of herring with red saucee

    we can give any of these programs "paired" to any of your infinite set
    of emulators, and give that to the non-aborting emulatior and all of
    them will in fact be non-halting,

    Do that with DDD, and all of them based on HHH that does a finite number
    of steps, will be halitng.

    If this is the mappig that HHH is computing, you are just lying that
    they are in fact Halt Deciders. because the mapping they are computing
    is not the Halting Mapping.

    THus showing you are just a liar that doesn't know the differnce between
    a finite number and infinity.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Aug 10 15:42:46 2024
    On 8/10/24 3:05 PM, olcott wrote:
    On 8/10/2024 1:56 PM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 20:41 schreef olcott:
    On 8/10/2024 1:35 PM, Fred. Zwarts wrote:

    No evidence for these claims. We know that a simulation of a halting
    program is correct only when it reaches the halt state,

    void Infinite_Recursion()
    {
       Infinite_Recursion();
    }

    void Infinite_Loop()
    {
       HERE: goto HERE;
    }

    You seem to be an ignoramus. Ordinary ignorance can be corrected.

    Completely irrelevant. There is no infinite loop in HHH because HHH
    aborts after N recursions, not after an Infinite_Recursion.

    Thus you already knew that your statement was false before you
    said it. Infinite_Loop() need not be emulated to non-existent
    completion before HHH recognizes its infinite behavior pattern.

    Why say things that you know are false?


    Of course it doesn't, because it can actually prove that such an
    emulation will go on forever, as we can observe.

    It can't do that for DDD, and in fact, if we give that DDD paired to
    the HHH that thinks DDD is non-halting and aborts and returns to a true complete emulator (at a diffferent address than HHH is at, something not
    used) then we see that DDD will halt, and thus HHH is wrong.

    This has been proving, and you ignoring that proof just shows that you
    are toostupid to see your errors, and too stupid to see that you are too
    stupid to see the errors, which makes you the worse kind of stupid.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sun Aug 11 09:30:05 2024
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.


    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sun Aug 11 12:45:36 2024
    Op 10.aug.2024 om 21:05 schreef olcott:
    On 8/10/2024 1:56 PM, Fred. Zwarts wrote:
    Op 10.aug.2024 om 20:41 schreef olcott:
    On 8/10/2024 1:35 PM, Fred. Zwarts wrote:

    No evidence for these claims. We know that a simulation of a halting
    program is correct only when it reaches the halt state,

    void Infinite_Recursion()
    {
       Infinite_Recursion();
    }

    void Infinite_Loop()
    {
       HERE: goto HERE;
    }

    You seem to be an ignoramus. Ordinary ignorance can be corrected.

    Completely irrelevant. There is no infinite loop in HHH because HHH
    aborts after N recursions, not after an Infinite_Recursion.

    Thus you already knew that your statement was false before you
    said it. Infinite_Loop() need not be emulated to non-existent
    completion before HHH recognizes its infinite behavior pattern.

    Why say things that you know are false?


    Irrelevant text about olcott dreams of a non-halting simulation ignored.

    void Finite_Recursion (int N) {
    if (N > 0) Finite_Recursion (N - 1);
    }

    This is not an infinite recursion.

    Olcott's own trace showed that HHH halts. So, it does not have infinite behaviour. It has an end. Further, this trace showed that the simulation
    failed to reach that end. That does not show infinite behaviour, but a
    failed simulation.
    Dreams are no substitute for facts.

    Olcott has a circular reasoning.
    1) The simulation does not reach the end, so there must be infinite
    behaviour.
    2) There is infinite behaviour, so the simulation must abort and must be correct.
    He has no evidence for it, neither for 1, nor for 2, but he uses 1 as
    evidence for 2 and 2 as evidence for 1.
    The simple facts are that the simulation is incorrect, because it failed
    to reach the end. The end is there, as shown by direct execution, by the simulation by another simulator (such as HHH1) and by inspection of the
    code and of the trace. So, there is plenty of evidence that there is an end. Olcott prefers to ignore all the evidence, because he really, really
    wants his claims to be true, so he keeps repeating them, without any
    evidence. But repetition does not make things true.
    That is something he probably just does not want to know.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Aug 11 13:06:28 2024
    On 8/11/24 7:45 AM, olcott wrote:
    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
      HHH(DDD);
      return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.


    Nope, you have admitted to being a liar, and that your inut to HHH is
    NOT actually a "program", just a "C function" that has never been
    considered to be a program, and thus is a category error.

    Sorry, you are just proving how stupid you are, and that you can't
    understand how that is stupid, which is the worse kind of stupid there is.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sun Aug 11 21:54:35 2024
    Op 11.aug.2024 om 13:45 schreef olcott:
    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
      HHH(DDD);
      return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the
    properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt state.
    It aborts one cycle before the simulated HHH would reach its 'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Every C programmer understands that a simulation fails if it does not
    reach the end of a halting program.
    Your own words are that HHH halts (that is why it aborts: it must halt).
    The direct execution of HHH halts. The simulation by another simulator
    (e.g. HHH1) halts. The trace shows that HHH halts. A lot of evidence
    that HHH halts.
    Only HHH as a simulator fails to reach the end of the simulated HHH,
    which makes clear that it is not a property of HHH, or DDD, but a
    failure of this simulator.
    HHH cannot possibly simulate itself correctly up to the end.

    When HHH aborts after 100 cycles, the simulated HHH has done only 99 cycles.
    We can try to abort one cycle earlier, after 99 cycles, so that the path
    for the simulation to the end is shorter, but then the simulator also
    aborts earlier, when the simulated HHH has done only 98 cycles, again
    one cycle too soon.
    It is impossible to make the path short enough, because the simulation
    always aborts one cycle before the end of the simulated HHH.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Tue Aug 13 09:29:06 2024
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the
    properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its
    'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Every C programmer understands that a simulation fails if it does not
    reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Aug 13 14:08:24 2024
    On 2024-08-11 11:45:18 +0000, olcott said:

    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above
    so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
    HHH(DDD);
    return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators
    is too much to actually do. However, one may pick a HHHᵤ and
    DDDᵥ so that HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Alan Mackenzie@21:1/5 to olcott on Tue Aug 13 13:34:33 2024
    olcott <polcott333@gmail.com> wrote:
    On 8/13/2024 2:29 AM, Fred. Zwarts wrote:
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the
    properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its
    'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Your words are understandable; they're just wrong.

    Every C programmer understands that a simulation fails if it does not >>>> reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    It's not clear what these "expert programmers" have agreed to. As Fred
    has frequently pointed out, your DDD cannot be correctly simulated by
    HHH, so you have an empty set about which anything is true.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    *Every attempt at rebutting this has been*

    There's nothing to rebut. You just keep coming out with blatant
    falsehoods, as pointed out by the other posters, here.

    (a) Denying verified facts

    That's a lie. By "verified facts" you just mean "falsehoods PO would
    like to be true".

    (b) Strawman-deception of changing what I said and rebutting that

    That's a lie, too. I've not seen anybody else apart from you doing this. Indeed you're doing this as a response to Fred's last post.

    (c) Pure ad hominem insults with zero reasoning

    That's also false. The insults follow as a result of your falsehoods and
    lies. They are entirely justified. You continually insult other posters
    by several means, including ignoring what they write. If you would
    actually treat them with respect, the insults against you would cease.

    Mike is the only one here that seems to have enough technical
    skill to understand the verified facts.

    You mean agree with your falsehoods. Mike doesn't do this. You wouldn't
    know technical skill if it bit you on the nose.

    Everyone else denies them entirely on the basis of their own ignorance.

    You're the ignorant poster here, nobody else. You've taken a small part
    of an undergraduate mathematics or computer science course, something the typcial student would master in a few hours at most, spent 20 years on
    it, and you still don't get it.

    [ .... ]


    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --
    Alan Mackenzie (Nuremberg, Germany).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Tue Aug 13 16:49:26 2024
    Op 13.aug.2024 om 14:55 schreef olcott:
    On 8/13/2024 2:29 AM, Fred. Zwarts wrote:
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the
    properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its
    'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Every C programmer understands that a simulation fails if it does
    not reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    *Every attempt at rebutting this has been*
    (a) Denying verified facts
    (b) Strawman-deception of changing what I said and rebutting that
    (c) Pure ad hominem insults with zero reasoning

    No evidence, except four unspecified 'experts' against hundreds of other experts.


    Mike is the only one here that seems to have enough technical
    skill to understand the verified facts. Everyone else denies them
    entirely on the basis of their own ignorance.

    Overview of proof that the input to HHH(DDD) specifies non-halting behavior We prove that the simulation is correct.

    You did not. You showed a simulation that fails to reach the end of a
    halting program. So, the simulation is incomplete and therefore incorrect.

    Then we prove that this simulation cannot possibly
    reach its final halt state / ever stop running without being aborted.
    The semantics of the x86 language conclusive proves this is true.

    No proof has been provided.
    But the simulation deviated from this semantics, by halting the
    simulation one cycle before it would halt by its own. Failing to reach
    the final halt state of a halting program indicates an incorrect simulation.


    Thus when we measure the behavior specified by this finite
    string by DDD correctly simulated/emulated by HHH it specifies
    non-halting behavior.



    No it only shows a failed attempt to create a simulating decider.
    HHH cannot possibly simulate itself correctly up to the end.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Tue Aug 13 16:42:02 2024
    Op 13.aug.2024 om 15:21 schreef olcott:
    On 8/13/2024 6:08 AM, Mikko wrote:
    On 2024-08-11 11:45:18 +0000, olcott said:

    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators
    is too much to actually do. However, one may pick a HHHᵤ and
    DDDᵥ so that HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.


    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.

    Thus when computing the behavior that this finite string
    specifies no DDD ever halts.

    _DDD()
    [00002172] 55         push ebp      ; housekeeping
    [00002173] 8bec       mov ebp,esp   ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404     add esp,+04
    [00002182] 5d         pop ebp
    [00002183] c3         ret
    Size in bytes:(0018) [00002183]

    DDD always has the exact same finite string of machine
    code bytes. This requires each HHH to always be at machine
    address 000015d2.

    The computation is always reporting whether or not DDD
    can possibly reach its c3 "ret" instruction at machine
    address [00002183].

    When DDD is correctly emulated by each HHHₙ then DDD never
    reaches its "return" instruction final halt state.


    Proving in this way that none of the HHH did a correct simulation,
    because they all failed to reach the final halt state.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Tue Aug 13 16:55:47 2024
    Op 13.aug.2024 om 15:58 schreef olcott:
    On 8/13/2024 8:34 AM, Alan Mackenzie wrote:
    olcott <polcott333@gmail.com> wrote:
    On 8/13/2024 2:29 AM, Fred. Zwarts wrote:
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
        HHH(DDD);
        return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the >>>>>> properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its >>>>>> 'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Your words are understandable; they're just wrong.

    Every C programmer understands that a simulation fails if it does not >>>>>> reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    It's not clear what these "expert programmers" have agreed to.  As Fred
    has frequently pointed out, your DDD cannot be correctly simulated by
    HHH, so you have an empty set about which anything is true.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    *Every attempt at rebutting this has been*

    There's nothing to rebut.  You just keep coming out with blatant
    falsehoods, as pointed out by the other posters, here.

    (a) Denying verified facts

    That's a lie.  By "verified facts" you just mean "falsehoods PO would
    like to be true".

    (b) Strawman-deception of changing what I said and rebutting that

    That's a lie, too.  I've not seen anybody else apart from you doing this. >> Indeed you're doing this as a response to Fred's last post.

    (c) Pure ad hominem insults with zero reasoning

    That's also false.  The insults follow as a result of your falsehoods and >> lies.  They are entirely justified.  You continually insult other posters >> by several means, including ignoring what they write.  If you would
    actually treat them with respect, the insults against you would cease.

    Mike is the only one here that seems to have enough technical
    skill to understand the verified facts.

    You mean agree with your falsehoods.  Mike doesn't do this.  You wouldn't >> know technical skill if it bit you on the nose.

    Everyone else denies them entirely on the basis of their own ignorance.

    You're the ignorant poster here, nobody else.  You've taken a small part
    of an undergraduate mathematics or computer science course, something the
    typcial student would master in a few hours at most, spent 20 years on
    it, and you still don't get it.

    [ .... ]


    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer


    void DDD()
    {
      HHH(DDD);
      return;
    }

    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.

    HHH is only required to predict whether or not an unlimited
    emulation of DDD would ever halt.

    Thus when computing the behavior that this finite string
    specifies DDD never halts.

    _DDD()
    [00002172] 55 push ebp ; housekeeping
    [00002173] 8bec mov ebp,esp ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404 add esp,+04
    [00002182] 5d pop ebp
    [00002183] c3 ret
    Size in bytes:(0018) [00002183]

    DDD always has the exact same finite string of machine
    code bytes. This requires each HHH to always be at machine
    address 000015d2.

    The computation is always reporting whether or not DDD
    can possibly reach its c3 "ret" instruction at machine
    address [00002183].



    Since we see that each of the simulations fails to reach the c3 ret instruction, although it is specified that HHH halts after N cycles,
    this proves that each of these simulations is incorrect. Mathematical
    induction then proves that all of them are incorrect.
    You keep dreaming of the HHH that does not abort and does not halt, but
    most of these HHH abort and halt. Dreams are no substitute for facts.
    The unlimited simulation halts, as is proven when HHH is simulated by HHH1.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Tue Aug 13 22:30:02 2024
    On 8/13/24 8:55 AM, olcott wrote:
    On 8/13/2024 2:29 AM, Fred. Zwarts wrote:
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the
    properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its
    'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Every C programmer understands that a simulation fails if it does
    not reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    *Every attempt at rebutting this has been*
    (a) Denying verified facts
    (b) Strawman-deception of changing what I said and rebutting that
    (c) Pure ad hominem insults with zero reasoning

    Nope, YOUR CLAIMS have just been
    (a) Denying verified facts
    (b) Strawman-deception of changing what I said and rebutting that
    (c) Pure ad hominem insults with zero reasoning

    SAince you have demonstarted that you are nothing but a habitual liar,
    nothing you say can be taken without actual proof, of which you haven't provided ANY.

    SInce it has been shown that you HHH doesn't even meet you own
    requirement to be a "pure function", until you fix that, nothing you say
    have anything to base itself on.


    Mike is the only one here that seems to have enough technical
    skill to understand the verified facts. Everyone else denies them
    entirely on the basis of their own ignorance.

    Overview of proof that the input to HHH(DDD) specifies non-halting behavior We prove that the simulation is correct.

    Nope, If it was "correct" then HHH can not returnm.

    Then we prove that this simulation cannot possibly
    reach its final halt state / ever stop running without being aborted.
    The semantics of the x86 language conclusive proves this is true.

    Which means that the only DDD that isn't halting is the one built on the
    HHH that doesn't abort, and thus isn't a decider.

    The semantics of the x86 language says that the correct emulation of the
    input that HHH does, must also correctly emulate that exact same HHH,
    and thus if HHH ever returns, DDD will be halting\.


    Thus when we measure the behavior specified by this finite
    string by DDD correctly simulated/emulated by HHH it specifies
    non-halting behavior.



    But that only applies *IF* HHH does a complete and correct emulation, as
    that is the only condition where you r statement holds, and if so, it
    isn't a decider.

    YOu proof fails, because it needs shifiting meani g of words to be true,
    which isn't allowed.

    Sorry, you are just too stupid to understand what you are doing.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Tue Aug 13 22:29:39 2024
    On 8/13/24 9:58 AM, olcott wrote:
    On 8/13/2024 8:34 AM, Alan Mackenzie wrote:
    olcott <polcott333@gmail.com> wrote:
    On 8/13/2024 2:29 AM, Fred. Zwarts wrote:
    Op 12.aug.2024 om 14:42 schreef olcott:
    On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
    Op 11.aug.2024 om 13:45 schreef olcott:

    void DDD()
    {
        HHH(DDD);
        return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    Since no DDD is correctly simulated by HHH, we are talking about the >>>>>> properties of an empty set.
    But, indeed, the simulation of DDD by HHH fails to reach the halt
    state. It aborts one cycle before the simulated HHH would reach its >>>>>> 'return' instruction, after which DDD would reach its halt state.


    My words must be understandable by ordinary C programmers
    and computer scientists. The latter tend to conclude that
    my work is incorrect as soon as they know the subject matter
    before actually seeing what I said.

    Your words are understandable; they're just wrong.

    Every C programmer understands that a simulation fails if it does not >>>>>> reach the end of a halting program.

    Four expert C programmers (two with masters degrees in
    computer science) agree that DDD correctly simulated by
    HHH does not halt.

    It's not clear what these "expert programmers" have agreed to.  As Fred
    has frequently pointed out, your DDD cannot be correctly simulated by
    HHH, so you have an empty set about which anything is true.

    Many more experts with master degrees tell you that it does halt.
    Show evidence instead of authority.

    *Every attempt at rebutting this has been*

    There's nothing to rebut.  You just keep coming out with blatant
    falsehoods, as pointed out by the other posters, here.

    (a) Denying verified facts

    That's a lie.  By "verified facts" you just mean "falsehoods PO would
    like to be true".

    (b) Strawman-deception of changing what I said and rebutting that

    That's a lie, too.  I've not seen anybody else apart from you doing this. >> Indeed you're doing this as a response to Fred's last post.

    (c) Pure ad hominem insults with zero reasoning

    That's also false.  The insults follow as a result of your falsehoods and >> lies.  They are entirely justified.  You continually insult other posters >> by several means, including ignoring what they write.  If you would
    actually treat them with respect, the insults against you would cease.

    Mike is the only one here that seems to have enough technical
    skill to understand the verified facts.

    You mean agree with your falsehoods.  Mike doesn't do this.  You wouldn't >> know technical skill if it bit you on the nose.

    Everyone else denies them entirely on the basis of their own ignorance.

    You're the ignorant poster here, nobody else.  You've taken a small part
    of an undergraduate mathematics or computer science course, something the
    typcial student would master in a few hours at most, spent 20 years on
    it, and you still don't get it.

    [ .... ]


    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer


    void DDD()
    {
      HHH(DDD);
      return;
    }

    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.


    Nope,

    TRY to form the induction. Remember, changing HHH gives you a DIFFERENT
    DDD, so you can't transfer behaviors between them.



    HHH is only required to predict whether or not an unlimited
    emulation of DDD would ever halt.

    Right, but for the DDD that calls THAT HHH, not the unlimited emulator.


    Thus when computing the behavior that this finite string
    specifies DDD never halts.


    Nope. You are trying to play a shell game. DDD calls the decider you are calling HHH.

    HHH must answer about what this DDD that calls THAT HHH when emulated by
    a seperate unlimited emulator will do.


    _DDD()
    [00002172] 55 push ebp ; housekeeping
    [00002173] 8bec mov ebp,esp ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404 add esp,+04
    [00002182] 5d pop ebp
    [00002183] c3 ret
    Size in bytes:(0018) [00002183]

    DDD always has the exact same finite string of machine
    code bytes. This requires each HHH to always be at machine
    address 000015d2.

    ERROR ERROR ERROR.

    The bytes of HHH are part of the input or the input isn't a program and
    you are committing a category error.

    The program DDD can not depend on code that isn't part of it.

    Sorry, you just proved you don't know what you are talking ABOUT.

    YOU ARE JUST A STUPID SELF-MADE IGNORANT FOOL.



    The computation is always reporting whether or not DDD
    can possibly reach its c3 "ret" instruction at machine
    address [00002183].



    Right, and the computation DDD includes the code of the actual HHH that
    it is calling, which is the decider you are claiming to be correct.

    The unlimited emulator is given the FULL code of DDD + HHH and that unli
    mited emulator is NOT a 000015d2

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Wed Aug 14 10:41:03 2024
    On 2024-08-13 13:21:32 +0000, olcott said:

    On 8/13/2024 6:08 AM, Mikko wrote:
    On 2024-08-11 11:45:18 +0000, olcott said:

    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely
    *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators
    is too much to actually do. However, one may pick a HHHᵤ and
    DDDᵥ so that HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.

    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.

    No, we don't see, at least as long as you don't show.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Wed Aug 14 16:04:31 2024
    Op 14.aug.2024 om 15:47 schreef olcott:
    On 8/14/2024 2:41 AM, Mikko wrote:
    On 2024-08-13 13:21:32 +0000, olcott said:

    On 8/13/2024 6:08 AM, Mikko wrote:
    On 2024-08-11 11:45:18 +0000, olcott said:

    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>> *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators
    is too much to actually do. However, one may pick a HHHᵤ and
    DDDᵥ so that HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.

    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.

    No, we don't see, at least as long as you don't show.


    _DDD()
    [00002172] 55         push ebp      ; housekeeping
    [00002173] 8bec       mov ebp,esp   ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404     add esp,+04
    [00002182] 5d         pop ebp
    [00002183] c3         ret
    Size in bytes:(0018) [00002183]

    The impossibility of DDD emulated by HHH
    (according to the semantics of the x86 language)
    to reach its own machine address [00002183] is
    compete proof.

    We don't even need an actual HHH we only need
    to imagine that HHH is a pure x86 emulator and
    then anyone with sufficient expertise in the x86
    language can see that DDD correctly emulated by
    HHH never reaches machine address [00002183].


    Which proves that the simulation is incomplete, because it aborted one
    cycle too soon. This makes the simulation incorrect.
    HHH cannot possibly simulate *itself* correctly.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Wed Aug 14 16:31:59 2024
    Am Wed, 14 Aug 2024 08:47:16 -0500 schrieb olcott:
    On 8/14/2024 2:41 AM, Mikko wrote:
    On 2024-08-13 13:21:32 +0000, olcott said:
    On 8/13/2024 6:08 AM, Mikko wrote:
    On 2024-08-11 11:45:18 +0000, olcott said:
    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:
    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:
    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>> *emulates zero to infinity instructions correctly* In none of >>>>>>>>>>> these cases does the emulated DDD ever reach its "return" >>>>>>>>>>> instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["
    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"
    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.
    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates zero to
    infinity instructions of DDD.
    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the set of >>>>>>>>> non-negative integers indicating the number of x86 instructions >>>>>>>>> of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of the set >>>>>>>>> of positive integers indicating the number of x86 instructions >>>>>>>>> of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.

    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of the set of >>>>>>> positive integers indicating the number of x86 instructions of DDD >>>>>>> that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article that uses
    the same name for a specific program and a set.

    void DDD()
    {
       HHH(DDD);
       return;
    }
    None-the-less it is clear that of the above specified infinite set
    DDD correctly emulated by each element of that set never reaches its >>>>> own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators is too
    much to actually do. However, one may pick a HHHᵤ and DDDᵥ so that >>>> HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.

    Through something like mathematical induction we can directly see that
    DDD correctly emulated by any HHH cannot possibly reach its "return"
    instruction final halt state.

    No, we don't see, at least as long as you don't show.

    The impossibility of DDD emulated by HHH (according to the semantics of
    the x86 language) to reach its own machine address [00002183] is compete proof.
    The impossibility [...] is proof that DDD doesn't return? Wow.

    We don't even need an actual HHH we only need to imagine that HHH is a
    pure x86 emulator and then anyone with sufficient expertise in the x86 language can see that DDD correctly emulated by HHH never reaches
    machine address [00002183].
    HHH is not a pure simulator, because it aborts.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Thu Aug 15 11:52:10 2024
    On 2024-08-14 13:47:16 +0000, olcott said:

    On 8/14/2024 2:41 AM, Mikko wrote:
    On 2024-08-13 13:21:32 +0000, olcott said:

    On 8/13/2024 6:08 AM, Mikko wrote:
    On 2024-08-11 11:45:18 +0000, olcott said:

    On 8/11/2024 1:30 AM, Mikko wrote:
    On 2024-08-10 11:30:34 +0000, olcott said:

    On 8/10/2024 3:29 AM, Mikko wrote:
    On 2024-08-09 14:51:51 +0000, olcott said:

    On 8/9/2024 4:03 AM, Mikko wrote:
    On 2024-08-08 13:18:34 +0000, olcott said:

    void DDD()
    {
       HHH(DDD);
       return;
    }

    Each HHH of every HHH that can possibly exist definitely >>>>>>>>>>> *emulates zero to infinity instructions correctly* In
    none of these cases does the emulated DDD ever reach
    its "return" instruction halt state.

    The ranges of "each HHH" and "every HHH" are not defined above >>>>>>>>>> so that does not really mean anything.

    Here is something that literally does not mean anything:
    "0i34ine ir m0945r (*&ubYU  I*(ubn)I*054 gfdpodf["

    Looks like encrypted text that might mean something.

    "Colorless green ideas sleep furiously"

    This could be encrypted text, too, or perhaps refers to some
    inside knowledge or convention.

    I defined an infinite set of HHH x86 emulators.

    Maybe somewnete but not in the message I commented.

    I stipulated that each member of this set emulates
    zero to infinity instructions of DDD.

    That doesn't restrict much.

    *I can't say it this way without losing 90% of my audience*
    Each element of this set is mapped to one element of the
    set of non-negative integers indicating the number of
    x86 instructions of DDD that it emulates.

    It is easier to talk about mapping if is given a name.

    *This one seems to be good*
    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it emulates.

    That would mean that only a finite number (possibly zero) of
    instructions is emulated. But the restriction to DDD does not
    seem reasonable.


    *The set of HHH x86 emulators are defined such that*

    Each element of this set corresponds to one element of
    the set of positive integers indicating the number of
    x86 instructions of DDD that it correctly emulates.

    As we onece observed, this would be clearer with incdices.
    No journal woth of consideration will accept an article
    that uses the same name for a specific program and a set.



    void DDD()
    {
       HHH(DDD);
       return;
    }

    None-the-less it is clear that of the above specified infinite
    set DDD correctly emulated by each element of that set never
    reaches its own "return" instruction halt state.

    To emulate an infinite set of DDD by infintely manu emulators
    is too much to actually do. However, one may pick a HHHᵤ and
    DDDᵥ so that HHHᵤ(DDDᵥ) correctly determines that DDDᵥ halts.

    Through something like mathematical induction we can directly
    see that DDD correctly emulated by any HHH cannot possibly
    reach its "return" instruction final halt state.

    No, we don't see, at least as long as you don't show.


    _DDD()
    [00002172] 55 push ebp ; housekeeping
    [00002173] 8bec mov ebp,esp ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404 add esp,+04
    [00002182] 5d pop ebp
    [00002183] c3 ret
    Size in bytes:(0018) [00002183]

    The impossibility of DDD emulated by HHH
    (according to the semantics of the x86 language)
    to reach its own machine address [00002183] is
    compete proof.

    No, it is not. Nothing is a proof except a proof.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Fri Aug 16 13:48:14 2024
    On 2024-08-15 15:19:59 +0000, olcott said:

    On 8/15/2024 3:52 AM, Mikko wrote:
    On 2024-08-14 13:47:16 +0000, olcott said:


    _DDD()
    [00002172] 55         push ebp      ; housekeeping
    [00002173] 8bec       mov ebp,esp   ; housekeeping
    [00002175] 6872210000 push 00002172 ; push DDD
    [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
    [0000217f] 83c404     add esp,+04
    [00002182] 5d         pop ebp
    [00002183] c3         ret
    Size in bytes:(0018) [00002183]

    The impossibility of DDD emulated by HHH
    (according to the semantics of the x86 language)
    to reach its own machine address [00002183] is
    compete proof.

    No, it is not. Nothing is a proof except a proof.

    An inductive proof of the execution trace shows that
    DDD emulated according to the semantics of the x86
    language cannot possibly reach machine address 00002183.

    Note that induction is not a generally valid proof method.
    Induction over natural numbers is valid because there is,
    depending on the formalism, an induction axiom or axiom
    scheme. There are other similar methods for other theories,
    e.g. for set theory, but they are hardly relevant to
    computation theory.

    Some part of your claims may be provable with induction over natural
    numbers but you have never presented any inductive proof.

    --
    Mikko

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