Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 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 method | 58 | | Alan Mackenzie |
26 Jun 25 |  Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 57 | | olcott |
27 Jun14:57 |   Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 36 | | olcott |
29 Jun10:18 |    Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 35 | | Mikko |
29 Jun15:09 |     Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 33 | | olcott |
29 Jun20:26 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 13 | | olcott |
30 Jun03:46 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 11 | | Richard Damon |
30 Jun04:05 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 10 | | olcott |
30 Jun12:28 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 9 | | Richard Damon |
30 Jun18:00 |          Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 8 | | olcott |
1 Jul02:10 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 7 | | Richard Damon |
1 Jul02:26 |            Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 5 | | olcott |
1 Jul12:28 |             Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 4 | | Richard Damon |
1 Jul13:07 |              Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 3 | | olcott |
2 Jul02:25 |               Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |
2 Jul21:40 |               Logic proves that Peter Olcott is just a liar. | 1 | | Richard Damon |
2 Jul11:12 |            Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Heathfield |
30 Jun09:47 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Mikko |
30 Jun03:39 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 18 | | Richard Damon |
1 Jul02:12 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 17 | | Richard Damon |
1 Jul02:34 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 8 | | olcott |
1 Jul09:28 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 4 | | Fred. Zwarts |
1 Jul12:52 |          Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 3 | | olcott |
2 Jul02:28 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |
2 Jul09:37 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Fred. Zwarts |
1 Jul12:32 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 3 | | Richard Damon |
1 Jul12:55 |          Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 2 | | olcott |
2 Jul02:31 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |
3 Jul03:50 |        HHH(DDD)==0 is correct | 8 | | olcott |
3 Jul09:57 |         Re: HHH(DDD)==0 is correct | 3 | | Mikko |
3 Jul13:56 |          Re: HHH(DDD)==0 is correct | 2 | | olcott |
3 Jul15:24 |           Re: HHH(DDD)==0 is correct | 1 | | Richard Damon |
3 Jul15:16 |         Re: HHH(DDD)==0 is correct | 4 | | Richard Damon |
3 Jul15:39 |          Re: HHH(DDD)==0 is correct | 3 | | olcott |
3 Jul15:50 |           Re: HHH(DDD)==0 is correct | 2 | | Richard Damon |
3 Jul16:17 |            Re: HHH(DDD)==0 is correct | 1 | | olcott |
30 Jun09:39 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Mikko |
30 Jun09:28 |     Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Mikko |
27 Jun15:06 |   Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 20 | | Richard Damon |
27 Jun15:44 |    Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 19 | | olcott |
27 Jun16:59 |     Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 18 | | Richard Damon |
27 Jun17:16 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 12 | | olcott |
27 Jun18:54 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 11 | | Richard Damon |
27 Jun20:11 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 10 | | olcott |
27 Jun20:24 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 9 | | Richard Damon |
27 Jun20:43 |          Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 8 | | olcott |
27 Jun20:55 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 7 | | Richard Damon |
27 Jun21:10 |            ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 6 | | olcott |
27 Jun22:42 |             Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 1 | | Richard Damon |
28 Jun02:12 |             Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 4 | | Richard Damon |
28 Jun02:20 |              Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 3 | | olcott |
28 Jun04:07 |               Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 2 | | Richard Damon |
28 Jun14:04 |                Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 1 | | Richard Damon |
27 Jun17:34 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 5 | | olcott |
27 Jun18:27 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 3 | | Alan Mackenzie |
27 Jun19:11 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 2 | | olcott |
27 Jun20:24 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |
27 Jun18:50 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |