Re: Why I post to the C / C++ groups

Message-ID	<RClTPC3tJ_GDwpTFw_y7Is8vGkk@jntp> (permalink)
Subject	Re: Why I post to the C / C++ groups
References	(2 earlier) <11c7glo$20un9$1@dont-email.me> <6-rW2QEBiz6y0ap3xdSb7Z5xZIE@jntp> <11c897t$2ajo5$1@dont-email.me> <IEn8rl-xjmcvRXP4nPIxAZglKdM@jntp> <11c8a8t$2b8t2$1@dont-email.me>
Newsgroups	comp.theory, comp.lang.c, comp.lang.c++
Date	2026-11-01 21:20 +0000
Organization	Nemoweb
From	Python <python@cccp.invalid>

Cross-posted to 3 groups.

Show all headers | View raw

Le 01/11/2026 à 22:17, olcott a écrit :
> On 11/1/2026 3:03 PM, Python wrote:
>> Le 01/11/2026 à 21:59, olcott a écrit :
>>> On 11/1/2026 2:44 PM, Python wrote:
>>>> I am not erasing the context. 
>>>
>>> This is the exact context that I will respond to.
>>> ANYTHING ELSE IS A DISHONEST DIVERSION AWAY FROM THE POINT
>>>
>>> typedef int (*ptr)();
>>> int HHH(ptr P);
>>>
>>> 01 int DD()
>>> 02 {
>>> 03   int Halt_Status = HHH(DD);
>>> 04   if (Halt_Status)
>>> 05     HERE: goto HERE;
>>> 06   return Halt_Status;
>>> 07 }
>>> 08
>>> 09 void main()
>>> 10 {
>>> 11  HHH(DD);
>>> 12 }
>>>
>>> There does there exist any finite number of N simulations
>>> of DD simulated by HHH such that the simulated DD reaches
>>> its own simulated "return" statement while DD is being
>>> simulated by HHH.
>> 
>> NO.
>> 
>> There is NO such finite N, PROVIDED you assume that at every one of 
>> those N levels the nested HHH call continues the simulation instead of 
>> returning.
>> 
>> That is trivial.
>> 
> 
> Then why did it take you a dozen or more exchanges
> to pay enough attention to finally acknowledge this
> self-evident truth?

Because that is NOT the proposition I spent those exchanges disputing.

I have repeatedly agreed that:

    IF every nested HHH continues simulating instead of returning,
    then no finite nesting depth reaches DD's return.

What I have repeatedly REJECTED is your next step:

    therefore no nested HHH can ever return,
    therefore the recursion is infinite,
    therefore DD cannot halt.

You finally asked the first proposition explicitly, with the quantifier 
over finite N, and I answered NO immediately.

So don't do exactly what I warned you about:

    I agreed with A.
    You believe A => B.
    Therefore you announce that I finally "acknowledged" B.

I acknowledged A.

I still reject B.

Thread

Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 07:35 -0600
  Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 13:46 +0000
    Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 08:00 -0600
      Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 20:44 +0000
        Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 14:49 -0600
          Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 20:56 +0000
        Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 14:59 -0600
          Re: Why I post to the C / C++ groups dart200 <user7160@newsgrouper.org.invalid> - 2026-11-01 13:02 -0800
            Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:14 -0600
              Re: Why I post to the C / C++ groups dart200 <user7160@newsgrouper.org.invalid> - 2026-11-01 13:31 -0800
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:45 -0600
                Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 21:47 +0000
                Re: Why I post to the C / C++ groups dart200 <user7160@newsgrouper.org.invalid> - 2026-11-01 14:15 -0800
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 16:26 -0600
                Re: Why I post to the C / C++ groups dart200 <user7160@newsgrouper.org.invalid> - 2026-11-01 15:10 -0800
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 17:15 -0600
                Re: Why I post to the C / C++ groups dart200 <user7160@newsgrouper.org.invalid> - 2026-11-01 18:24 -0800
                Re: Why I post to the C / C++ groups makendo <makendo@makendo.invalid> - 2026-11-02 19:10 +0800
                Re: Why I post to the C / C++ groups --- 4-way consensus olcott <polcott333@gmail.com> - 2026-11-02 08:09 -0600
                Re: Why I post to the C / C++ groups --- 4-way consensus Python <python@cccp.invalid> - 2026-11-02 14:21 +0000
                Re: Why I post to the C / C++ groups --- 4-way consensus olcott <polcott333@gmail.com> - 2026-11-02 08:26 -0600
                Olcott's HHH: the counterexample, the missing proof, and borrowed  "agreements" Python <python@cccp.invalid> - 2026-11-02 14:33 +0000
                DD simulated by HHH behavior --- agreement by Python olcott <polcott333@gmail.com> - 2026-11-02 08:45 -0600
                Re: DD simulated by HHH behavior --- agreement by Python Python <python@cccp.invalid> - 2026-11-02 14:50 +0000
                Re: DD simulated by HHH behavior --- agreement by Python olcott <polcott333@gmail.com> - 2026-11-02 08:55 -0600
                Re: DD simulated by HHH behavior --- agreement by Python olcott <polcott333@gmail.com> - 2026-11-02 09:29 -0600
                Re: Olcott's HHH: the counterexample, the missing proof, and borrowed "agreements" David Brown <david.brown@hesbynett.no> - 2026-11-02 16:36 +0100
                Re: Olcott's HHH: the counterexample, the missing proof, and borrowed "agreements" olcott <polcott333@gmail.com> - 2026-11-02 09:55 -0600
                Re: Olcott's HHH: the counterexample, the missing proof, and borrowed "agreements" Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-11-02 08:57 -0800
          Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 21:03 +0000
            Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:17 -0600
              Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 21:20 +0000
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:30 -0600
                Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 21:39 +0000
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:53 -0600
                Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 22:00 +0000
  Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 09:01 -0500
    Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 08:09 -0600
      Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 09:14 -0500
    Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 08:50 -0600
      Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 10:09 -0500
        Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 11:44 -0600
          Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 12:59 -0500
            Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 12:10 -0600
              Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 13:36 -0500
            Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 12:53 -0600
              Re: Why I post to the C / C++ groups (not Olcott) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-11-01 11:30 -0800
                Re: Why I post to the C / C++ groups (not Olcott) olcott <polcott333@gmail.com> - 2026-11-01 13:39 -0600
              Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 15:18 -0500
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 14:21 -0600
                Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 15:38 -0500
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 14:44 -0600
                Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 16:04 -0500
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:26 -0600
                Re: Why I post to the C / C++ groups dbush <dbush.mobile@gmail.com> - 2026-11-01 19:09 -0500
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 18:16 -0600
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:42 -0600
                Re: Why I post to the C / C++ groups Python <python@cccp.invalid> - 2026-11-01 21:46 +0000
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 15:56 -0600
                Re: Why I post to the C / C++ groups olcott <polcott333@gmail.com> - 2026-11-01 16:09 -0600
                Re: Why I post to the C / C++ groups --- Most important agreement in five years olcott <polcott333@gmail.com> - 2026-11-04 18:56 -0600
                Re: Why I post to the C / C++ groups --- Most important agreement in five years olcott <polcott333@gmail.com> - 2026-11-04 19:03 -0600
  Re: Why I post to the C / C++ groups Bonita Montero <Bonita.Montero@gmail.com> - 2026-11-02 07:41 +0100
    Re: Why I post to the C / C++ groups --- 4-way consensus olcott <polcott333@gmail.com> - 2026-11-02 07:58 -0600

csiph-web