Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #125581
| 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.
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.
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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
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 olcott <polcott333@gmail.com> - 2026-11-01 08:09 -0600
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) 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