Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c++ > #122383

Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory

From olcott <polcott333@gmail.com>
Newsgroups comp.lang.c++
Subject Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory
Date 2025-06-28 10:46 -0500
Organization A noiseless patient Spider
Message-ID <103p2o7$u9sa$1@dont-email.me> (permalink)
References (3 earlier) <103p0sf$tnu1$1@dont-email.me> <103p11e$u0ef$1@dont-email.me> <103p18v$tnu1$2@dont-email.me> <103p1qp$u424$1@dont-email.me> <103p2c5$tnu1$3@dont-email.me>

Show all headers | View raw

On 6/28/2025 10:39 AM, dbush wrote:
> On 6/28/2025 11:30 AM, olcott wrote:
>> On 6/28/2025 10:21 AM, dbush wrote:
>>> On 6/28/2025 11:17 AM, olcott wrote:
>>>> On 6/28/2025 10:14 AM, dbush wrote:
>>>>> On 6/28/2025 11:04 AM, olcott wrote:
>>>>>> On 6/28/2025 2:43 AM, wij wrote:
>>>>>>> On Fri, 2025-06-27 at 14:36 -0500, olcott wrote:
>>>>>>>> I am only here for the validation of the behavior
>>>>>>>> of DDD correctly simulated by HHH.
>>>>>>>
>>>>>>> The definition of HHH is missing.
>>>>>>
>>>>>> The definition is specified in this part that you
>>>>>> dishonestly erased:
>>>>>>
>>>>>> On 6/27/2025 2:36 PM, olcott wrote:
>>>>>>  > Termination Analyzer HHH simulates its input until
>>>>>>  > it detects a non-terminating behavior pattern. When
>>>>>>  > HHH detects such a pattern it aborts its simulation
>>>>>>  > and returns 0.
>>>>>>
>>>>>
>>>>> The dishonest one here is YOU, as it was not wij who snipped the 
>>>>> below in his reply but YOU:
>>>>>
>>>>
>>>> I stop at the first counter-factual mistake so I stop here.
>>>> Everything else is ignored.
>>>>
>>>
>>> In other words, you INTENTIONALLY don't read things that prove you 
>>> wrong.
>>>
>>
>> On 6/28/2025 2:43 AM, wij wrote:
>>  >
>>  > The definition of HHH is missing.
>>
>> On 6/27/2025 2:36 PM, olcott wrote:
>>  > Termination Analyzer HHH simulates its input until
>>  > it detects a non-terminating behavior pattern. When
>>  > HHH detects such a pattern it aborts its simulation
>>  > and returns 0.
>>  >
>>
>> It is a verified fact that the definition of HHH was
>> provided thus the claim that it was not provided is
>> counter factual.
> 
> 
> No, you didn't give a definition of HHH, just gave a vauge incomplete 
> description of what you think it does.
> 

It completely defines the generic notion of a simulating
termination analyzer and

It specifies every detail about HHH that is required
to correctly determine whether or not DDD correctly
simulated by HHH can possibly reach its own simulated
"return" statement final halt state.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-27 14:36 -0500
  Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 01:14 +0100
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:00 -0500
      Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 17:22 +0100
        Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 11:47 -0500
          Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 18:38 +0100
            Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 13:08 -0500
            Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 14:16 -0500
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-29 10:41 -0500
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- (Typo corrected) olcott <polcott333@gmail.com> - 2025-06-29 10:48 -0500
  Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory wij <wyniijj5@gmail.com> - 2025-06-28 15:43 +0800
    Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:04 -0500
      Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:14 -0400
        Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:17 -0500
          Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:21 -0400
            Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:30 -0500
              Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:39 -0400
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:46 -0500
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:52 -0400
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 11:03 -0500
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 13:13 -0400
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 12:27 -0500
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 13:43 -0400
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 13:16 -0500
                Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 12:35 -0500

csiph-web