Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #144882
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: Why I post to the C / C++ groups |
| Date | 2026-11-01 15:17 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <11c8a8t$2b8t2$1@dont-email.me> (permalink) |
| References | (1 earlier) <WsALBoC7TQa8pUPlRzO68X0EVbU@jntp> <11c7glo$20un9$1@dont-email.me> <6-rW2QEBiz6y0ap3xdSb7Z5xZIE@jntp> <11c897t$2ajo5$1@dont-email.me> <IEn8rl-xjmcvRXP4nPIxAZglKdM@jntp> |
Cross-posted to 3 groups.
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?
--
Copyright 2026 Olcott
Computation(Olcott)
Paraphrase of Emil Post definition of computation
All computations are equivalent to the application of finite
string transformation rules to finite string inputs to derive
any and all outputs.
Because Post canonical systems are Turing-equivalent, anything
that cannot be derived by applying finite string transformations
to finite strings is outside the scope of Church–Turing computation.
Decider(Olcott)
Correcting the misnomer term-of-the-art: decider
Every Decider(Olcott) must apply finite string transformation
inference steps to their finite string inputs that are relevant
to the decision criteria. It must make its decision on this basis.
Halt Decider(Olcott)
Decider(Olcott) entails that Halt Decider(Olcott) H(D) must apply
finite-string inference steps according to the operational semantics
of the source-code computation language of D. The only way to determine
the halting property of a finite string input is to examine the same
behavior as the behavior of D simulated by H.
*Succinct refutation of the Halting Theorem*
https://github.com/plolcott/x86utm/blob/master/README.md
My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of general knowledge.
The complete structure of this system is now defined.
Back to comp.theory | 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
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