Just a sample of the Echomail archive
COMPLANC:
[ << oldest | < older | list | newer > | newest >> ]
|  Message 241,938 of 243,097  |
|  olcott to David Brown  |
|  Re: D simulated by H cannot possibly rea  |
|  13 Nov 25 09:22:27  |
 
XPost: comp.theory, comp.lang.c++
From: polcott333@gmail.com
On 11/13/2025 1:54 AM, David Brown wrote:
> On 13/11/2025 05:36, olcott wrote:
>> On 11/12/2025 9:49 PM, Keith Thompson wrote:
>>> [...]
>>>
>>> I note that a substantial fraction of the articles recently posted
>>> to comp.lang.c (and probably comp.lang.c++) are cross-posted to
>>> comp.theory, and are about the Halting Problem.
>>>
>>> Some of these articles contain small fragments of C-like source code,
>>> but I suggest that doesn't make them either topical or interesting
>>> to most participants in the C and C++ newsgroups.
>>>
>>> I humbly suggest, yet again, that these discussions be restricted
>>> to comp.theory, and that users try to edit the "Newsgroups:" header
>>> even when replying to a cross-posted article.
>>>
>>
>> int D()
>> {
>> int Halt_Status = H(D);
>> if (Halt_Status)
>> HERE: goto HERE;
>> return Halt_Status;
>> }
>>
>> I would love to do that after one person confirms
>> that D simulated by H according to the semantics
>> of the C programming language cannot reach its
>> own "return" statement.
>>
>> People on all forums have been dodging that or
>> lying about that consistently for three years.
>>
>> I only came to this forum to get that one question
>> answered and until then I will keep repeating it
>> several times a day forever. Feel free to keep
>> ignoring it now that you know the consequences.
>>
>
> Given that you've been doing this for so many years, and got the same
> results every time - everyone disagrees with your fundamental concepts -
> what makes you think you can change people's minds by repeating the same
> questions and claims?
>
> If you are wrong, and everyone else is right, then you are wasting your
> time and everyone else's time.
>
> If you are right and everyone else is wrong, then your posts are /still/
> wasting your time and everyone else's time.
>
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);
}
This code has been fully operational
for three years so I know what it does.
That no one else has been able to confirm
that DD simulated by HHH cannot possibly
reach its own "return" instruction has been
the issue that everyone has ignored or lied
about for three years.
This is the first step of my important proof.
This first step is entirely appropriate for
the C/C++ groups. After this first step is
accepted I will move this discussion back to
comp.theory.
The people on comp.theory have been stonewalling
me on this for three years. Even the most competent
people have taken to flat out lying.
> If you are sure you are correct, you have to find a different way to
> prove it. How about you stop repeating yourself on Usenet groups
> (especially c.l.c and c.l.c++, but also comp.theory and other groups),
> and do something /useful/ with your breakthrough? You suggested your
> solution to the halting problem could lead to a universal truth
> identifier that would save the world. Surely that is more worthy of
> your time than beating your head against this wall? Give up on the
> ignorant masses here, and work with the LLM's that believe in you to
> create your truth identifier. When we hear on international news how it
> is changing the world, we'll get back to you and apologise for our lack
> of faith.
>
>
>
>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
[ << oldest | < older | list | newer > | newest >> ]
(c) 1994, bbs@darkrealms.ca