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 method84Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method83olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method62olcott
29 Jun10:18  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method61Mikko
29 Jun15:09  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method59olcott
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 method44Richard Damon
1 Jul02:12  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method43Richard 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 correct34olcott
3 Jul09:57  i ii  +* Re: HHH(DDD)==0 is correct20Mikko
3 Jul13:56  i ii  i`* Re: HHH(DDD)==0 is correct19olcott
3 Jul15:24  i ii  i +- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:35  i ii  i `* Re: HHH(DDD)==0 is correct17Mikko
4 Jul13:50  i ii  i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul14:22  i ii  i   +* Re: HHH(DDD)==0 is correct7joes
4 Jul14:32  i ii  i   i`* Re: HHH(DDD)==0 is correct6olcott
4 Jul18:48  i ii  i   i `* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul19:24  i ii  i   i  `* Re: HHH(DDD)==0 is correct4olcott
4 Jul21:33  i ii  i   i   `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul23:17  i ii  i   i    `* Re: HHH(DDD)==0 is correct2olcott
5 Jul08:36  i ii  i   i     `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
4 Jul14:23  i ii  i   +* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul15:43  i ii  i   i`* Re: HHH(DDD)==0 is correct6olcott
4 Jul19:14  i ii  i   i `* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul19:25  i ii  i   i  `* Re: HHH(DDD)==0 is correct4olcott
4 Jul21:40  i ii  i   i   `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul23:24  i ii  i   i    `* Re: HHH(DDD)==0 is correct2olcott
5 Jul08:33  i ii  i   i     `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul09:42  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul15:16  i ii  `* Re: HHH(DDD)==0 is correct13Richard Damon
3 Jul15:39  i ii   `* Re: HHH(DDD)==0 is correct12olcott
3 Jul15:50  i ii    `* Re: HHH(DDD)==0 is correct11Richard Damon
3 Jul16:17  i ii     `* Re: HHH(DDD)==0 is correct10olcott
3 Jul23:59  i ii      +* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul00:15  i ii      i`* Re: HHH(DDD)==0 is correct4olcott
4 Jul01:22  i ii      i `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul01:36  i ii      i  `* Re: HHH(DDD)==0 is correct2olcott
4 Jul14:25  i ii      i   `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:42  i ii      `* Re: HHH(DDD)==0 is correct4Mikko
4 Jul13:57  i ii       `* Re: HHH(DDD)==0 is correct3olcott
5 Jul08:30  i ii        +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul09:44  i ii        `- Re: HHH(DDD)==0 is correct1Mikko
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 Jun 25  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method20Richard Damon
27 Jun 25   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method19olcott
27 Jun 25    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method18Richard Damon
27 Jun 25     +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method12olcott
27 Jun 25     i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
27 Jun 25     i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
27 Jun 25     i  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
27 Jun 25     i   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
27 Jun 25     i    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
27 Jun 25     i     `* ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior6olcott
27 Jun 25     i      +- Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior1Richard Damon
28 Jun 25     i      `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior4Richard Damon
28 Jun 25     i       `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior3olcott
28 Jun 25     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 Jun 25     `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
27 Jun 25      +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Alan Mackenzie
27 Jun 25      i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
27 Jun 25      i `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
27 Jun 25      `- 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