Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135783
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.ai.philosophy, sci.math |
| Subject | Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself |
| Date | 2025-11-16 09:29 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10fcqlf$7ttl$1@dont-email.me> (permalink) |
| References | (21 earlier) <87seled0zy.fsf@nosuchdomain.example.com> <8Pydna01vafzFYr0nZ2dnZfqlJydnZ2d@giganews.com> <Ki9SQ.17928$DJ42.15442@fx16.ams4> <10fb8gp$3s2m5$1@dont-email.me> <IEjSQ.9831$Uyd1.1726@fx06.ams4> |
Cross-posted to 4 groups.
On 11/16/2025 6:42 AM, HAL 9000 wrote:
> On Sat, 15 Nov 2025 19:14:00 -0600, olcott wrote:
>
>> On 11/15/2025 6:56 PM, HAL 9000 wrote:
>>> On Fri, 14 Nov 2025 13:52:14 -0600, olcott wrote:
>>>
>>>> On 5/8/2025 8:30 PM, Keith Thompson wrote:
>>>>> olcott <polcott333@gmail.com> writes:
>>>>>> On 5/8/2025 6:49 PM, Keith Thompson wrote:
>>>>>>> olcott <polcott333@gmail.com> writes:
>>>>>>> [...]
>>>>>>>> void DDD()
>>>>>>>> {
>>>>>>>> HHH(DDD);
>>>>>>>> return;
>>>>>>>> }
>>>>>>>>
>>>>>>>> If you are a competent C programmer then you know that DDD
>>>>>>>> correctly simulated by HHH cannot possibly each its own "return"
>>>>>>>> instruction.
>>>>>>> "cannot possibly each"?
>>>>
>>>> This is what On 5/8/2025 8:30 PM, Keith Thompson wrote:
>>>> is responding to below:
>>>>
>>>>>>> I am a competent C programmer (and I don't believe you can make the
>>>>>>> same claim). I don't know what HHH is. The name "HHH" tells me
>>>>>>> nothing about what it's supposed to do. Without knowing what HHH
>>>>>>> is,
>>>>>>> I can't say much about your code (or is it pseudo-code?).
>>>>>>>
>>>>>>>
>>>>>> For the purpose of this discussion HHH is exactly what I said it is.
>>>>>> It correctly simulates DDD.
>>>>>
>>>>> Does HHH correctly simulate DDD *and do nothing else*?
>>>>>
>>>>> Does HHH correctly simulate *every* function whose address is passed
>>>>> to it? Must the passed function be one that takes no arguments and
>>>>> does not return a value?
>>>>>
>>>>> Can HHH just *call* the function whose address is passed to it?
>>>>> If it's a correct simulation, there should be no difference between
>>>>> calling the function and "correctly simulating" it.
>>>>>
>>>>> My knowledge of C tells me nothing about *how* HHH might simulate
>>>>> DDD.
>>>>>
>>>>>> We need not know anything else about HHH to know that DDD correctly
>>>>>> simulated by HHH cannot possibly REACH its own "return" instruction.
>>>>>
>>>>>
>>>> *Here is his response *
>>>>
>>>>> Assuming that HHH(DDD) "correctly simulates" DDD, and assuming it
>>>>> does nothing else, your code would be equivalent to this:
>>>>>
>>>>> void DDD(void) {
>>>>> DDD(); return;
>>>>> }
>>>>>
>>>>> Then the return statement (which is unnecessary anyway) will never be
>>>>> reached. In practice, the program will likely crash due to a stack
>>>>> overflow, unless the compiler implements tail-call optimization, in
>>>>> which case the program might just run forever -- which also means the
>>>>> unnecessary return statement will never be reached.
>>>>>
>>>>>
>>> That is only the case if HHH is of an erroneous design: whatever HHH
>>> does with DDD should NOT leak out of HHH so your SHD is designed
>>> incorrectly. If HHH(DDD) reports non-halting then DDD will halt thus
>>> HHH is erroneous.
>>>
>>> /HAL
>>>
>>>
>>>
>> It great to have someone new here, welcome.
>>
>> https://github.com/plolcott/x86utm/blob/master/Halt7.c Simulating
>> termination analyzer HHH and input DD have been a fully operational
>> software system for more than three years.
>>
>> typedef int (*ptr)();
>> int HHH(ptr P);
>>
>> int DD()
>> {
>> int Halt_Status = HHH(DD);
>> if (Halt_Status)
>> HERE: goto HERE;
>> return Halt_Status;
>> }
>>
>> int main()
>> {
>> HHH(DD);
>> }
>>
>> When N statements of DD are simulated by HHH according to the semantics
>> of the C programming language the simulated DD cannot reach its own
>> simulated "return" statement final halt state for any value of N.
>>
>> HHH report on the actual behavior that its actual input actually
>> specifies as measured by DD simulated by HHH.
>>
>> HHH cannot possibly report on the behavior of its caller because HHH has
>> no way of knowing what function is calling it.
>>
>> This means that when the halting problem requires HHH to report on the
>> behavior of its caller: DD() that its is requiring something outside the
>> scope of computation,
>
> No, if HHH(DD) reports non-halting to DD then DD will halt thus HHH is
> erroneous.
>
> /HAL
>
>
That is the key objection to my work.
The information that HHH is required to report
on simply is not contained in its input.
HHH cannot report on the behavior of its
caller because it has no way of even knowing
which function called it. The same thing applies
to the Peter Linz Turing machine version.
HHH(DD) does correctly report on the behavior
that its input specifies. No decider can ever
report on more than that.
int sum(int x, int y){ return x + y;}
sum(3,4) cannot report on the sum of 5+6
even if required to do so. That requirement
is incorrect.
I have worked on this for 28 years because:
If the halting problem is correct then the notion
of "true on the basis of meaning" is broken.
--
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.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <NoOne@NoWhere.com> - 2025-11-14 13:52 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 19:57 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 14:11 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 20:23 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 14:44 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 21:40 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 16:05 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 02:35 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 21:10 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 03:51 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself wij <wyniijj5@gmail.com> - 2025-11-15 12:57 +0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself wij <wyniijj5@gmail.com> - 2025-11-15 13:23 +0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 23:25 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 05:37 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 23:48 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 06:47 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 10:36 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-15 16:27 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 10:43 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 18:11 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 12:58 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:11 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 14:22 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 21:33 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 15:49 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 22:08 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 14:15 -0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 17:26 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-11-14 21:34 -0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-14 23:42 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 06:54 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 10:38 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 18:07 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 12:55 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:17 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-15 13:11 -0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:57 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-11-15 16:36 -0800
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 19:00 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself HAL 9000 <hal@discovery.nasa> - 2025-11-16 00:56 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-15 19:14 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself HAL 9000 <hal@discovery.nasa> - 2025-11-16 12:42 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-16 09:29 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself HAL 9000 <hal@discovery.nasa> - 2025-11-16 16:46 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself olcott <polcott333@gmail.com> - 2025-11-16 11:07 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself joes <noreply@example.org> - 2025-11-16 17:11 +0000
DD simulated by HHH cannot possibly terminate normally olcott <polcott333@gmail.com> - 2025-11-16 11:20 -0600
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself HAL 9000 <hal@discovery.nasa> - 2025-11-16 18:40 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-16 18:43 +0000
Re: Kaz ---Keith said DDD simulated by HHH is equivalent to DDD calling itself "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 13:18 -0800
csiph-web