Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior

Liste des GroupesRevenir à c theory 
Sujet : Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic comp.theory sci.math
Date : 27. Jun 2025, 22:42:35
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <9ab164aa0e814f5b8a7ee6c33fd33e5ccf06e063@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 6/27/25 4:10 PM, olcott wrote:
On 6/27/2025 2:55 PM, Richard Damon wrote:
On 6/27/25 3:43 PM, olcott wrote:
On 6/27/2025 2:24 PM, Richard Damon wrote:
On 6/27/25 3:11 PM, olcott wrote:>>
Turing Machines can and do compute mappings from finite
string inputs.
>
Right, and those finite strings can be representation of other abstract things, like programs or numbers.
>
>
>
*ChatGPT, Gemini and Grok all agree*
DDD correctly simulated by HHH cannot possibly reach
its simulated "return" statement final halt state.
>
https://chatgpt.com/share/685ed9e3-260c-8011-91d0-4dee3ee08f46
https://gemini.google.com/app/f2527954a959bce4
https://grok.com/share/c2hhcmQtMg%3D%3D_b750d0f1-9996-4394-b0e4- f76f6c77df3d
>
>
>
In other words, you ars admitting to accepting the LIES of a LLM because you have lied to them, over the reasoned proofs of people.
>
 <begin text input>
typedef void (*ptr)();
int HHH(ptr P);
  void DDD()
{
   HHH(DDD);
   return;
}
 int main()
{
   HHH(DDD);
   DDD();
}
 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.
<end text input>
 The above is *all* that I told them.
The above paragraph merely defines what a simulating
termination analyzer is and how it works, thus cannot
be a lie.
 *ChatGPT, Gemini, Grok and Claude all agree*
DDD correctly simulated by HHH cannot possibly reach
its simulated "return" statement final halt state.
 https://chatgpt.com/share/685ed9e3-260c-8011-91d0-4dee3ee08f46
https://gemini.google.com/app/f2527954a959bce4
https://grok.com/share/c2hhcmQtMg%3D%3D_b750d0f1-9996-4394-b0e4- f76f6c77df3d
https://claude.ai/share/c2bd913d-7bd1-4741-a919-f0acc040494b
 
And the LIE is that your HHH does what you say.
Yes, if the one and only HHH doesn't ever abort, then the DDD built on it will be non-halting.
But, if HHH ever aborts its simulation of the DIFFERENT DDD (since DDD is different for each different HHH that it is built oo), then it has stopped its simulation BEFORE it sees a REAL non-terminating pattern, as the pattern that HHH saw exists in the simulation of DDD when actually correctly simulated by a real correct simulator (which HHH isn't).
You admit that the direct execution of DDD halts, and thus a correct simulation of it must reach that final state.
Your "logic" is based on the LIE that a partial simulation that doesn't reach the terminal state can be thought of as "non-terminating"
Sorry, you are just proving that you are an IDIOT that has burnt out his brain by repeating his lies so many times that he can not think about them.
You have effectiveely ADMITTED that these are lies by acknoledging the basic facts that I present, and by NEVER actually trying to refute any of the error I point out you just show your stupidity by just repeating one of your lies that have been refuted.

Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method130Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method129olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method108olcott
29 Jun 25  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method107Mikko
29 Jun 25  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method105olcott
29 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method13olcott
30 Jun 25  i ii+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
30 Jun 25  i iii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
30 Jun 25  i iii `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
30 Jun 25  i iii  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i iii   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
1 Jul 25  i iii    +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
1 Jul 25  i iii    i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Richard Damon
1 Jul 25  i iii    i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i iii    i  +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i iii    i  `- Logic proves that Peter Olcott is just a liar.1Richard Damon
2 Jul 25  i iii    `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Heathfield
30 Jun 25  i ii`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method90Richard Damon
1 Jul 25  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method89Richard Damon
1 Jul 25  i ii +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i ii i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Fred. Zwarts
1 Jul 25  i ii ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i ii ii +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i ii ii `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Fred. Zwarts
1 Jul 25  i ii i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Richard Damon
1 Jul 25  i ii i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
2 Jul 25  i ii i  `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
3 Jul 25  i ii `* HHH(DDD)==0 is correct80olcott
3 Jul 25  i ii  +* Re: HHH(DDD)==0 is correct36Mikko
3 Jul 25  i ii  i`* Re: HHH(DDD)==0 is correct35olcott
3 Jul 25  i ii  i +- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul 25  i ii  i `* Re: HHH(DDD)==0 is correct33Mikko
4 Jul 25  i ii  i  `* Re: HHH(DDD)==0 is correct32olcott
4 Jul 25  i ii  i   +* Re: HHH(DDD)==0 is correct11joes
4 Jul 25  i ii  i   i`* Re: HHH(DDD)==0 is correct10olcott
4 Jul 25  i ii  i   i `* Re: HHH(DDD)==0 is correct9Richard Damon
4 Jul 25  i ii  i   i  `* Re: HHH(DDD)==0 is correct8olcott
4 Jul 25  i ii  i   i   `* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul 25  i ii  i   i    `* Re: HHH(DDD)==0 is correct6olcott
5 Jul 25  i ii  i   i     +* Re: HHH(DDD)==0 is correct2Fred. Zwarts
5 Jul 25  i ii  i   i     i`- Re: HHH(DDD)==0 is correct1olcott
5 Jul 25  i ii  i   i     `* Re: HHH(DDD)==0 is correct3Richard Damon
5 Jul 25  i ii  i   i      `* Re: HHH(DDD)==0 is correct2olcott
6 Jul01:25  i ii  i   i       `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul 25  i ii  i   +* Re: HHH(DDD)==0 is correct19Richard Damon
4 Jul 25  i ii  i   i`* Re: HHH(DDD)==0 is correct18olcott
4 Jul 25  i ii  i   i `* Re: HHH(DDD)==0 is correct17Richard Damon
4 Jul 25  i ii  i   i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul 25  i ii  i   i   `* Re: HHH(DDD)==0 is correct15Richard Damon
4 Jul 25  i ii  i   i    `* Re: HHH(DDD)==0 is correct14olcott
5 Jul 25  i ii  i   i     +* Re: HHH(DDD)==0 is correct3Fred. Zwarts
5 Jul 25  i ii  i   i     i`* Re: HHH(DDD)==0 is correct2olcott
6 Jul10:45  i ii  i   i     i `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul 25  i ii  i   i     `* Re: HHH(DDD)==0 is correct10Richard Damon
5 Jul 25  i ii  i   i      `* Re: HHH(DDD)==0 is correct9olcott
6 Jul01:36  i ii  i   i       `* Re: HHH(DDD)==0 is correct8Richard Damon
6 Jul03:23  i ii  i   i        `* Re: HHH(DDD)==0 is correct7olcott
6 Jul03:59  i ii  i   i         `* Re: HHH(DDD)==0 is correct6Richard Damon
6 Jul05:06  i ii  i   i          `* Re: HHH(DDD)==0 is correct5olcott
6 Jul10:40  i ii  i   i           +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
6 Jul12:48  i ii  i   i           `* Re: HHH(DDD)==0 is correct3Richard Damon
6 Jul16:08  i ii  i   i            `* Re: HHH(DDD)==0 is correct2olcott
6 Jul17:50  i ii  i   i             `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul 25  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul 25  i ii  `* Re: HHH(DDD)==0 is correct43Richard Damon
3 Jul 25  i ii   `* Re: HHH(DDD)==0 is correct42olcott
3 Jul 25  i ii    `* Re: HHH(DDD)==0 is correct41Richard Damon
3 Jul 25  i ii     `* Re: HHH(DDD)==0 is correct40olcott
3 Jul 25  i ii      +* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul 25  i ii      i`* Re: HHH(DDD)==0 is correct4olcott
4 Jul 25  i ii      i `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul 25  i ii      i  `* Re: HHH(DDD)==0 is correct2olcott
4 Jul 25  i ii      i   `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul 25  i ii      `* Re: HHH(DDD)==0 is correct34Mikko
4 Jul 25  i ii       `* Re: HHH(DDD)==0 is correct33olcott
5 Jul 25  i ii        +* Re: HHH(DDD)==0 is correct29Fred. Zwarts
5 Jul 25  i ii        i`* Re: HHH(DDD)==0 is correct28olcott
6 Jul10:19  i ii        i `* Re: HHH(DDD)==0 is correct27Mikko
6 Jul16:00  i ii        i  `* Re: HHH(DDD)==0 is correct26olcott
6 Jul17:53  i ii        i   +- Re: HHH(DDD)==0 is correct1Richard Damon
7 Jul09:25  i ii        i   `* Re: HHH(DDD)==0 is correct24Mikko
7 Jul15:02  i ii        i    `* Re: HHH(DDD)==0 is correct23olcott
7 Jul23:32  i ii        i     +- Re: HHH(DDD)==0 is correct1Richard Damon
8 Jul08:35  i ii        i     `* Re: HHH(DDD)==0 is correct21Mikko
8 Jul15:16  i ii        i      `* Re: HHH(DDD)==0 is correct20olcott
9 Jul09:32  i ii        i       +* Re: HHH(DDD)==0 is correct18Mikko
9 Jul13:45  i ii        i       i`* Re: HHH(DDD)==0 is correct17olcott
10 Jul02:35  i ii        i       i +- Re: HHH(DDD)==0 is correct1Richard Damon
10 Jul10:09  i ii        i       i `* Re: HHH(DDD)==0 is correct15Mikko
10 Jul15:15  i ii        i       i  `* Re: HHH(DDD)==0 is correct14olcott
11 Jul09:15  i ii        i       i   `* Re: HHH(DDD)==0 is correct13Mikko
11 Jul16:01  i ii        i       i    `* Re: HHH(DDD)==0 is correct12olcott
11 Jul16:54  i ii        i       i     +* Re: HHH(DDD)==0 is correct3joes
11 Jul21:53  i ii        i       i     i`* Re: HHH(DDD)==0 is correct2olcott
12 Jul00:21  i ii        i       i     i `- Re: HHH(DDD)==0 is correct1Richard Damon
11 Jul17:07  i ii        i       i     +* Re: HHH(DDD)==0 is correct6dbush
11 Jul18:32  i ii        i       i     i`* Re: HHH(DDD)==0 is correct5olcott
11 Jul18:35  i ii        i       i     i +* Re: HHH(DDD)==0 is correct2dbush
11 Jul18:45  i ii        i       i     i i`- Re: HHH(DDD)==0 is correct1olcott
12 Jul09:18  i ii        i       i     i `* Re: HHH(DDD)==0 is correct2Mikko
12 Jul00:13  i ii        i       i     +- Re: HHH(DDD)==0 is correct1Richard Damon
12 Jul09:14  i ii        i       i     `- Re: HHH(DDD)==0 is correct1Mikko
9 Jul12:18  i ii        i       `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul 25  i ii        `* Re: HHH(DDD)==0 is correct3Mikko
30 Jun 25  i i`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  i `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
27 Jun 25  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method20Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal