Re: ChatGPT agrees that HHH refutes the standard halting problem proof method

Liste des GroupesRevenir à theory 
Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 30. Jun 2025, 03:39:10
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 6/29/25 3:51 PM, Mr Flibble wrote:
On Sun, 29 Jun 2025 15:00:35 -0400, Richard Damon wrote:
 
Remember, the simulator must be simulating the INPUT, and thus to go
past the call HHH instruction, the code must be part of the input, and
the input needs to be a constant.
  No. If HHH is simulating DDD then HHH can detect a call to itself being
passed DDD within DDD and can assert at that point that the input is non-
halting.
 /Flibble
And thus isn't simu;ating THE INPUT, and that the input isn't a PROGRAM.
Also, what if DDD is using a copy of HHH, as per the proof program, which might have variations in the code.
Sorry, just shows you don't understand the problem.

Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method58Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method57olcott
27 Jun14:57  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method36olcott
29 Jun10:18  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method35Mikko
29 Jun15:09  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method33olcott
29 Jun20:26  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method13olcott
30 Jun03:46  i ii+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
30 Jun04:05  i iii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
30 Jun12:28  i iii `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
30 Jun18:00  i iii  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul02:10  i iii   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
1 Jul02:26  i iii    +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
1 Jul12:28  i iii    i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Richard Damon
1 Jul13:07  i iii    i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul02:25  i iii    i  +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul21:40  i iii    i  `- Logic proves that Peter Olcott is just a liar.1Richard Damon
2 Jul11:12  i iii    `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Heathfield
30 Jun09:47  i ii`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun03:39  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method18Richard Damon
1 Jul02:12  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method17Richard Damon
1 Jul02:34  i ii +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul09:28  i ii i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Fred. Zwarts
1 Jul12:52  i ii ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul02:28  i ii ii +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul09:37  i ii ii `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Fred. Zwarts
1 Jul12:32  i ii i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Richard Damon
1 Jul12:55  i ii i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
2 Jul02:31  i ii i  `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
3 Jul03:50  i ii `* HHH(DDD)==0 is correct8olcott
3 Jul09:57  i ii  +* Re: HHH(DDD)==0 is correct3Mikko
3 Jul13:56  i ii  i`* Re: HHH(DDD)==0 is correct2olcott
3 Jul15:24  i ii  i `- Re: HHH(DDD)==0 is correct1Richard Damon
3 Jul15:16  i ii  `* Re: HHH(DDD)==0 is correct4Richard Damon
3 Jul15:39  i ii   `* Re: HHH(DDD)==0 is correct3olcott
3 Jul15:50  i ii    `* Re: HHH(DDD)==0 is correct2Richard Damon
3 Jul16:17  i ii     `- Re: HHH(DDD)==0 is correct1olcott
30 Jun09:39  i i`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun09:28  i `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
27 Jun15:06  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method20Richard Damon
27 Jun15:44   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method19olcott
27 Jun16:59    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method18Richard Damon
27 Jun17:16     +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method12olcott
27 Jun18:54     i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
27 Jun20:11     i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
27 Jun20:24     i  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
27 Jun20:43     i   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
27 Jun20:55     i    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
27 Jun21:10     i     `* ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior6olcott
27 Jun22:42     i      +- Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior1Richard Damon
28 Jun02:12     i      `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior4Richard Damon
28 Jun02:20     i       `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior3olcott
28 Jun04:07     i        `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior2Richard Damon
28 Jun14:04     i         `- Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior1Richard Damon
27 Jun17:34     `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
27 Jun18:27      +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Alan Mackenzie
27 Jun19:11      i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
27 Jun20:24      i `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
27 Jun18:50      `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal