From Newsgroup: comp.lang.c

Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

What value should HHH(DD) correctly return?
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/13/2025 1:47 AM, Richard Heathfield wrote:

On 13/08/2025 07:05, olcott wrote:

On 8/13/2025 12:56 AM, Lawrence D'Oliveiro wrote:

Feel free to explain how it *is* self-evident.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

I can directly see that that when HHH(DD) is executed
that this begins simulating DD that calls HHH(DD) that
begins simulating DD that calls HHH(DD) again.

...and when HHH eventually reports?

But of course that's self-evident.

The above execution trace seems self-evident to me.
Do you see this now that it has been pointed out?

Three different LLM systems did figure out that
execution trace on their own.

Line 996 matches the
*recursive simulation non-halting behavior pattern* https://github.com/plolcott/x86utm/blob/master/Halt7.c

Its not as self-evident, yet all three LLM systems
recognized that this pattern has been matched and I
did not even tell them that this pattern exists.

The initial post in this thread was the entire basis
that these three LLM systems had.

https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

What exactly is “self-evident” supposed to mean? Please explain.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 14.08.2025 um 08:40 schrieb Lawrence D'Oliveiro:

What exactly is “self-evident” supposed to mean? Please explain.

Pete seems to often have this tendency to consider things self-evident. Usually, these are things that others don't think about because they're irrelevant.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 2025-08-13 05:30:56 +0000, olcott said:

Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

What value should HHH(DD) correctly return?

The subject line asks about "this" answer but the message
presents an unanswered question. A non-existent answer
cannot be self-evident.

The answer to the question is !HHH(DD) but whether the
anwser is self-evident is not clear.
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all
the evidence anyone needs to easily determine that the answer is true.
In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost
always not the one that would be chosen if the brain were fully engaged.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/14/2025 8:06 AM, James Kuyper wrote:

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all
the evidence anyone needs to easily determine that the answer is true.
In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost always not the one that would be chosen if the brain were fully engaged.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

*The above was self-evident to three LLM systems*
I still find that it is absurd that no one here can
figure out something as simple as recursive simulation.

Three different LLM systems figured out that the execution
trace of DD correctly simulated by HHH does match the
*recursive simulation non-halting behavior pattern*
on their own without prompting that such a pattern even exists.

The simulation shows DD calling HHH(DD) repeatedly
This creates an infinite recursive loop in the simulation
No simulated execution path leads to DD's return statement
being reached
https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

In other words, simulating DD() requires simulating
HHH(DD), which requires simulating DD() again… recursive
simulation.

This creates an infinite regress — HHH cannot finish
simulating DD() because to simulate it, it must simulate
itself again, and again, and again…
https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

When HHH simulates DD, it must model DD's execution,
including the call to HHH(DD) within DD.
This introduces a recursive simulation: HHH simulating
DD involves simulating DD's call to HHH(DD), which
requires HHH to simulate DD again, and so on.

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 14.08.2025 um 16:17 schrieb olcott:

On 8/14/2025 8:06 AM, James Kuyper wrote:

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all
the evidence anyone needs to easily determine that the answer is true.
In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost
always not the one that would be chosen if the brain were fully engaged.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
  int Halt_Status = HHH(DD);
  if (Halt_Status)
    HERE: goto HERE;
  return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

*The above was self-evident to three LLM systems*
I still find that it is absurd that no one here can
figure out something as simple as recursive simulation.

Three different LLM systems figured out that the execution
trace of DD correctly simulated by HHH does match the
*recursive simulation non-halting behavior pattern*
on their own without prompting that such a pattern even exists.

   The simulation shows DD calling HHH(DD) repeatedly
   This creates an infinite recursive loop in the simulation
   No simulated execution path leads to DD's return statement
   being reached
   https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

   In other words, simulating DD() requires simulating
   HHH(DD), which requires simulating DD() again… recursive
   simulation.

   This creates an infinite regress — HHH cannot finish
   simulating DD() because to simulate it, it must simulate
   itself again, and again, and again…
   https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

   When HHH simulates DD, it must model DD's execution,
   including the call to HHH(DD) within DD.
   This introduces a recursive simulation: HHH simulating
   DD involves simulating DD's call to HHH(DD), which
   requires HHH to simulate DD again, and so on.

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21- eedd0f09e141

This whole thread is sheer nonsense. Your summer too hot??
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 14.08.2025 08:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

I think,
"without loss of generality" we can assume that "self-evident"
is, "as trivially can be seen [or deduced]", something "obvious",
so any comments, questions, or criticism is unnecessary and void
"per [our] definition".

Note: since this post's application area is also self-evident any
comments on logic-errors or semantical errors are thus meaningless
and will gracefully be dismissed.

Janis ;-p

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 14.08.2025 um 18:54 schrieb minforth:

Am 14.08.2025 um 16:17 schrieb olcott:

On 8/14/2025 8:06 AM, James Kuyper wrote:

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all
the evidence anyone needs to easily determine that the answer is true.
In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost
always not the one that would be chosen if the brain were fully engaged.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

*The above was self-evident to three LLM systems*
I still find that it is absurd that no one here can
figure out something as simple as recursive simulation.

Three different LLM systems figured out that the execution
trace of DD correctly simulated by HHH does match the
*recursive simulation non-halting behavior pattern*
on their own without prompting that such a pattern even exists.

    The simulation shows DD calling HHH(DD) repeatedly
    This creates an infinite recursive loop in the simulation
    No simulated execution path leads to DD's return statement
    being reached
    https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

    In other words, simulating DD() requires simulating
    HHH(DD), which requires simulating DD() again… recursive
    simulation.

    This creates an infinite regress — HHH cannot finish
    simulating DD() because to simulate it, it must simulate
    itself again, and again, and again…
    https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

    When HHH simulates DD, it must model DD's execution,
    including the call to HHH(DD) within DD.
    This introduces a recursive simulation: HHH simulating
    DD involves simulating DD's call to HHH(DD), which
    requires HHH to simulate DD again, and so on.

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-
eedd0f09e141

This whole thread is sheer nonsense. Your summer too hot??

No, pete has a psychosis or is manic.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 2:35 AM, Bonita Montero wrote:

Am 14.08.2025 um 18:54 schrieb minforth:

Am 14.08.2025 um 16:17 schrieb olcott:

On 8/14/2025 8:06 AM, James Kuyper wrote:

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all >>>> the evidence anyone needs to easily determine that the answer is true. >>>> In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost >>>> always not the one that would be chosen if the brain were fully
engaged.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until: >>> (a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

*The above was self-evident to three LLM systems*
I still find that it is absurd that no one here can
figure out something as simple as recursive simulation.

Three different LLM systems figured out that the execution
trace of DD correctly simulated by HHH does match the
*recursive simulation non-halting behavior pattern*
on their own without prompting that such a pattern even exists.

    The simulation shows DD calling HHH(DD) repeatedly
    This creates an infinite recursive loop in the simulation
    No simulated execution path leads to DD's return statement
    being reached
    https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

    In other words, simulating DD() requires simulating
    HHH(DD), which requires simulating DD() again… recursive
    simulation.

    This creates an infinite regress — HHH cannot finish
    simulating DD() because to simulate it, it must simulate
    itself again, and again, and again…
    https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

    When HHH simulates DD, it must model DD's execution,
    including the call to HHH(DD) within DD.
    This introduces a recursive simulation: HHH simulating
    DD involves simulating DD's call to HHH(DD), which
    requires HHH to simulate DD again, and so on.

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-
eedd0f09e141

This whole thread is sheer nonsense. Your summer too hot??

No, pete has a psychosis or is manic.

The actual case is that you are too f-cking
stupid to find any mistake in my work.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.
And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of
the Halting Problem is flawed. You don't think that matters?

*Of course* it matters... IF he's right.

He /isn't/ right, but /he/ doesn't know that.

And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.

You start.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 23.08.2025 um 16:41 schrieb Richard Heathfield:

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of the
Halting Problem is flawed. You don't think that matters?

That has no practical relevance.

*Of course* it matters... IF he's right.

He /isn't/ right, but /he/ doesn't know that.

And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.

You start.

I don't argue against him in his sense.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 23/08/2025 08:35, Bonita Montero wrote:

Am 14.08.2025 um 18:54 schrieb minforth:

Am 14.08.2025 um 16:17 schrieb olcott:

On 8/14/2025 8:06 AM, James Kuyper wrote:

On 2025-08-14 02:40, Lawrence D'Oliveiro wrote:

What exactly is “self-evident” supposed to mean? Please explain.

It means that the message providing the answer contains, in itself, all >>>> the evidence anyone needs to easily determine that the answer is true. >>>> In practice, it is often used when the answer is not actually true.
Compare with a "no-brainer", where, in practice, the decision is almost >>>> always not the one that would be chosen if the brain were fully
engaged.

<Input to LLM systems>
Simulating Termination Analyzer HHH correctly simulates its input until: >>> (a) Detects a non-terminating behavior pattern: abort simulation and
return 0.
(b) Simulated input reaches its simulated "return" statement: return 1.

typedef int (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

What value should HHH(DD) correctly return?
<Input to LLM systems>

*The above was self-evident to three LLM systems*
I still find that it is absurd that no one here can
figure out something as simple as recursive simulation.

Three different LLM systems figured out that the execution
trace of DD correctly simulated by HHH does match the
*recursive simulation non-halting behavior pattern*
on their own without prompting that such a pattern even exists.

    The simulation shows DD calling HHH(DD) repeatedly
    This creates an infinite recursive loop in the simulation
    No simulated execution path leads to DD's return statement
    being reached
    https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c

    In other words, simulating DD() requires simulating
    HHH(DD), which requires simulating DD() again… recursive
    simulation.

    This creates an infinite regress — HHH cannot finish
    simulating DD() because to simulate it, it must simulate
    itself again, and again, and again…
    https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c

    When HHH simulates DD, it must model DD's execution,
    including the call to HHH(DD) within DD.
    This introduces a recursive simulation: HHH simulating
    DD involves simulating DD's call to HHH(DD), which
    requires HHH to simulate DD again, and so on.

https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-
eedd0f09e141

This whole thread is sheer nonsense. Your summer too hot??

No, pete has a psychosis or is manic.

This applies to people as well who respond to others knowing their situation. I
know I shouldn't respond to you, but I don't know whether you're
psychotic or manic as well. You are Italian/German, but I don't make generalisations about such things.





--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.
And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.

The analog of the technology applied to the HP proofs
equally applies to the Tarski Undecidability theorem
thus enabling a Boolean True(Language L, Expression E)
to return TRUE for all expressions E of language L
that are proven true on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 10:10 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:41 schrieb Richard Heathfield:

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of the
Halting Problem is flawed. You don't think that matters?

That has no practical relevance.

Like the practical relevance of
proofs of total correctness.

We could do something like
https://en.wikipedia.org/wiki/Considered_harmful
and restrict programming style so that termination
is always provable.

*Of course* it matters... IF he's right.

He /isn't/ right, but /he/ doesn't know that.

And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.

You start.

I don't argue against him in his sense.

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

From Newsgroup: comp.lang.c

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any mistake
in my work.

I wonder why one has to pursue such a question so paranoidly for years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's
obvious that Pete is crazy. It's best not to respond at all, then maybe
it will calm down.

The analog of the technology applied to the HP proofs equally applies to
the Tarski Undecidability theorem thus enabling a Boolean True(Language
L, Expression E)
to return TRUE for all expressions E of language L that are proven true
on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by Olcott")==TRUE

/Flibble
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 9:41 AM, Richard Heathfield wrote:

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of the
Halting Problem is flawed. You don't think that matters?

*Of course* it matters... IF he's right.

Thus providing evidence that Bonita Montero is a mere troll.

He /isn't/ right, but /he/ doesn't know that.

*This is a fact proven true on the basis of its meaning*
When 0 to ∞ instructions of DD are correctly
simulated by HHH this simulated DD never reaches
its own simulated "return" statement final halt state.

And I can't understand why others here are arguing so vehemently
against it. It's obvious that Pete is crazy. It's best not to
respond at all, then maybe it will calm down.

You start.

I don't let people get away with denying facts
that are proven true by the meaning of their words.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 10:33 AM, Mr Flibble wrote:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any mistake >>>> in my work.

I wonder why one has to pursue such a question so paranoidly for years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's
obvious that Pete is crazy. It's best not to respond at all, then maybe
it will calm down.

The analog of the technology applied to the HP proofs equally applies to
the Tarski Undecidability theorem thus enabling a Boolean True(Language
L, Expression E)
to return TRUE for all expressions E of language L that are proven true
on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by Olcott")==TRUE

/Flibble

True("English",
"Halting Problem proofs have not "
"yet been completely refuted by Olcott")==TRUE

*This is proven entirely true on the sole basis of its meaning*
When 0 to ∞ instructions of DD are correctly
simulated by HHH this simulated DD never reaches
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
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On Sat, 23 Aug 2025 11:23:51 -0500, olcott wrote:

On 8/23/2025 10:33 AM, Mr Flibble wrote:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any
mistake in my work.

I wonder why one has to pursue such a question so paranoidly for
years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's
obvious that Pete is crazy. It's best not to respond at all, then
maybe it will calm down.

The analog of the technology applied to the HP proofs equally applies
to the Tarski Undecidability theorem thus enabling a Boolean
True(Language L, Expression E)
to return TRUE for all expressions E of language L that are proven
true on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by
Olcott")==TRUE

/Flibble

True("English",
"Halting Problem proofs have not "
"yet been completely refuted by Olcott")==TRUE

*This is proven entirely true on the sole basis of its meaning*
When 0 to ∞ instructions of DD are correctly simulated by HHH this simulated DD never reaches its own simulated "return" statement final
halt state.

The simulated DD may never reach its final state but nobody cares about
what your simulation does, what actually matters is what HHH reports (and
all deciders must report) to the REAL DD (the ultimate caller of HHH) and
then what the REAL DD does.

/Flibble
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

Am 23.08.2025 um 17:33 schrieb Mr Flibble:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any mistake >>>> in my work.

I wonder why one has to pursue such a question so paranoidly for years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's
obvious that Pete is crazy. It's best not to respond at all, then maybe
it will calm down.

The analog of the technology applied to the HP proofs equally applies to
the Tarski Undecidability theorem thus enabling a Boolean True(Language
L, Expression E)
to return TRUE for all expressions E of language L that are proven true
on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by Olcott")==TRUE

You're not much better than Pete.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On Sat, 23 Aug 2025 18:46:05 +0200, Bonita Montero wrote:

Am 23.08.2025 um 17:33 schrieb Mr Flibble:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any
mistake in my work.

I wonder why one has to pursue such a question so paranoidly for
years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's
obvious that Pete is crazy. It's best not to respond at all, then
maybe it will calm down.

The analog of the technology applied to the HP proofs equally applies
to the Tarski Undecidability theorem thus enabling a Boolean
True(Language L, Expression E)
to return TRUE for all expressions E of language L that are proven
true on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by
Olcott")==TRUE

You're not much better than Pete.

It is a well known fact that you are just a troll.

/Flibble
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 11:41 AM, Mr Flibble wrote:

On Sat, 23 Aug 2025 11:23:51 -0500, olcott wrote:

On 8/23/2025 10:33 AM, Mr Flibble wrote:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any
mistake in my work.

I wonder why one has to pursue such a question so paranoidly for
years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's >>>>> obvious that Pete is crazy. It's best not to respond at all, then
maybe it will calm down.

The analog of the technology applied to the HP proofs equally applies
to the Tarski Undecidability theorem thus enabling a Boolean
True(Language L, Expression E)
to return TRUE for all expressions E of language L that are proven
true on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by
Olcott")==TRUE

/Flibble

True("English",
"Halting Problem proofs have not"
"yet been completely refuted by Olcott")==TRUE

*This is proven entirely true on the sole basis of its meaning*
When 0 to ∞ instructions of DD are correctly simulated by HHH this
simulated DD never reaches its own simulated "return" statement final
halt state.

The simulated DD may never reach its final state but nobody cares about
what your simulation does,

*Unless they pay attention to this*
Turing machine deciders only compute the mapping
from their inputs...

and also realize that DD correctly simulated by HHH
does correctly measure the actual behavior actually
specified by the actual input...

what actually matters is what HHH reports (and

Not at all. Not in the least little bit.
What matters is what HHH(DD) should report
on the basis of the actual behavior that the
actual input actually specifies as correctly
measured by DD correctly simulated by HHH.

Thus we can know that HHH(DD)==0 is correct.

all deciders must report) to the REAL DD (the ultimate caller of HHH) and then what the REAL DD does.

/Flibble

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

From Newsgroup: comp.lang.c

On 8/23/2025 11:48 AM, Mr Flibble wrote:

On Sat, 23 Aug 2025 18:46:05 +0200, Bonita Montero wrote:

Am 23.08.2025 um 17:33 schrieb Mr Flibble:

On Sat, 23 Aug 2025 10:25:29 -0500, olcott wrote:

On 8/23/2025 9:26 AM, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking stupid to find any
mistake in my work.

I wonder why one has to pursue such a question so paranoidly for
years.
I mean, it's nothing that has practical relevance. And I can't
understand why others here are arguing so vehemently against it. It's >>>>> obvious that Pete is crazy. It's best not to respond at all, then
maybe it will calm down.

The analog of the technology applied to the HP proofs equally applies
to the Tarski Undecidability theorem thus enabling a Boolean
True(Language L, Expression E)
to return TRUE for all expressions E of language L that are proven
true on the basis of their meaning.

True("English", "Donald Trump lied about election fraud")==TRUE
True("English", "Severe climate change is caused by humans")==TRUE

True("English", "Halting Problem proofs have not been refuted by
Olcott")==TRUE

You're not much better than Pete.

It is a well known fact that you are just a troll.

/Flibble

Good call, at least in this case.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

In comp.lang.c Bonita Montero <Bonita.Montero@gmail.com> wrote:

Am 23.08.2025 um 16:41 schrieb Richard Heathfield:

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of the
Halting Problem is flawed. You don't think that matters?

That has no practical relevance.

It has more relevance than you want to admit. If Pete had working
halting decider he would not waste time on newsgroups. He would
be making money, possibly as a service to business. Or he would
generate a lot of bitcoins. Or turn to illegal activity, for
example break encryption and use the break to hijack money flowing
in electronic exchanges.

Note that basically one call to halting decider gives you one
bit towards solution of arbitrary problem, with cost depending
only on length of problem description. Few thousends of calls
and you have broken RSA as it is currently used.

But Pete does not have working halting decider, so instead he tries
to get some attention in newsgroups. And that works quite well,
for many years he gets many replies. It is not clear if he has
psychic problem. Maybe he just has fun wasting others time
(which you could argue is a psychic problem too, but relatively
light compared to first alternative).
--
Waldek Hebisch
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.c

On 8/23/2025 12:46 PM, Waldek Hebisch wrote:

In comp.lang.c Bonita Montero <Bonita.Montero@gmail.com> wrote:

Am 23.08.2025 um 16:41 schrieb Richard Heathfield:

On 23/08/2025 15:26, Bonita Montero wrote:

Am 23.08.2025 um 16:16 schrieb olcott:

The actual case is that you are too f-cking
stupid to find any mistake in my work.

I wonder why one has to pursue such a question so paranoidly
for years. I mean, it's nothing that has practical relevance.

I beg your pardon?

If he's right, the conventional proof of the undecidability of the
Halting Problem is flawed. You don't think that matters?

That has no practical relevance.

It has more relevance than you want to admit. If Pete had working
halting decider he would not waste time on newsgroups. He would
be making money, possibly as a service to business. Or he would
generate a lot of bitcoins. Or turn to illegal activity, for
example break encryption and use the break to hijack money flowing
in electronic exchanges.

Note that basically one call to halting decider gives you one
bit towards solution of arbitrary problem, with cost depending
only on length of problem description. Few thousends of calls
and you have broken RSA as it is currently used.

But Pete does not have working halting decider, so instead he tries
to get some attention in newsgroups. And that works quite well,
for many years he gets many replies. It is not clear if he has
psychic problem. Maybe he just has fun wasting others time
(which you could argue is a psychic problem too, but relatively
light compared to first alternative).

I have conclusively proved that in the conventional
halting problem proofs the decider H would be correct
to reject its input P on the basis that P correctly
simulated by H cannot possibly reach its own simulated
final halt state.

That people ignore this verified fact as the basis
for denigrating my work and my character is the
kind of reckless disregard for the truth that loses
defamation cases.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2