Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #123040
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH |
| Date | 2025-11-21 18:22 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251121102105.727@kylheku.com> (permalink) |
| References | (25 earlier) <10foqhr$3eb6d$1@dont-email.me> <20251120204649.502@kylheku.com> <10fpvu7$3p6d2$1@dont-email.me> <20251121090816.391@kylheku.com> <10fqa78$3sq73$1@dont-email.me> |
Cross-posted to 3 groups.
On 2025-11-21, olcott <polcott333@gmail.com> wrote:
> On 11/21/2025 11:29 AM, Kaz Kylheku wrote:
>> On 2025-11-21, olcott <polcott333@gmail.com> wrote:
>>> On 11/20/2025 11:04 PM, Kaz Kylheku wrote:
>>>> No, it states that D would be non-halting in the hypothetical situtation
>>>> in whch H neglected to abort, and just kept simulating.
>>>>
>>>
>>> HHH has no idea that DD is calling itself, HHH
>>> can only see that DD is calling the same function
>>> twice in sequence with no conditional branch in
>>> DD to stop this from infinitely repeating.
>>
>> It's been explained to you that ths doesn't happen.
>>
>> Any given invocation of DD makes only one call to HHH
>> (as anyone can plainly see from its simple code of several
>> lines!)
>>
>
> Those double-talk weasel words count as lying within
> the context of this.
>
> int DD()
> {
> int Halt_Status = HHH(DD);
There, that is one call. DD calls HHH exactly once.
HHH does not anything that could call HHH again, including DD.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 17:24 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 02:42 +0000
polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 20:50 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 04:12 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-20 22:41 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 12:15 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 18:22 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 19:18 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-21 13:33 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-21 22:05 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <NoOne@NoWhere.com> - 2025-11-21 23:14 -0600
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH Richard Heathfield <rjh@cpax.org.uk> - 2025-11-22 05:39 +0000
Re: polcott agrees the Kaz is a damned liar --- DD simulated by HHH olcott <polcott333@gmail.com> - 2025-11-22 07:05 -0600
Glossary of names in my termination analyzer system olcott <polcott333@gmail.com> - 2025-11-22 22:50 -0600
csiph-web