1. Forum
  2. Usenet
  3. COMP.THEORY

  • Re: Hypothetical possibilities --- Fake rebuttals trying to get away de

    From Fred. Zwarts@21:1/5 to All on Tue Jul 23 10:35:21 2024
    Op 22.jul.2024 om 22:00 schreef olcott:
    On 7/22/2024 1:33 PM, Alan Mackenzie wrote:
    olcott <polcott333@gmail.com> wrote:
    On 7/20/2024 3:03 PM, Alan Mackenzie wrote:
    In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:

    [ .... ]

    Olcott could not point to an error, but prefers to ignore it. So, I
    will
    repeat it, until either an error is found, or olcott admits that HHH >>>>> cannot possibly simulate itself correctly.

    This has the disadvantage of making your posts boring to read.  All but >>>> one poster on this newsgroup KNOW that Olcott is wrong, here.

    Continually repeating your argument won't get him to admit he's wrong. >>>> Richard has been trying that for much longer than you have, with the
    same lack of success.  Olcott's lack of capacity for abstract
    reasoning,
    combined with his ignorance, combined with his arrogance, prevent him
    learning at all.

    May I suggest that you reconsider your strategy of endless repetition?

    Thanks!



    Rebuttals like yours are entirely baseless by failing to point out any
    mistake. My proof shown below is a truism thus is necessarily correct.

    [ .... ]

    Your "proof" is no such thing.  It makes wild assertions, and doesn't
    start from that which is acknowledged to be true.


    Every X has property Y or not, there is no inbetween.

    But if X does not exists, it makes no sense to argue about property Y of X.

    void DDD()
    {
      HHH(DDD);
    }

    int main()
    {
      HHH(DDD);
    }

    (a) At least one HHH (of the recursive chain) aborts.
    (b) No HHH ever aborts.

    Because HHH must halt (b) is wrong.

    And because (a) causes an incomplete and therefore incorrect simulation,
    (a) is wrong.

    HHH cannot possibly simulate itself correctly.
    HHH that correctly simulates itself is an empty set. No discussion is
    needed about the properties of such an HHH.


    It is also a truism that any input that must be aborted to
    prevent the non-termination of the simulating termination
    analyzer does specify non-terminating behavior or it would
    never need to aborted.

    It is also a truism that the HHH that aborts aborts the simulation of
    itself one cycle too soon, making the simulation incomplete and
    therefore incorrect.

    When I say that all black cats are cats and anyone disagrees
    then we know who is lying.

    But when you conclude that therefore all dogs must be black, your logic
    fails.



    When I say that HHH cannot possibly simulate itself correctly and anyone disagrees, we know who does not tell the truth.
    In your words it would be a tautology: HHH cannot possibly simulate
    itself correctly.

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