Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logic sci.mathSuivi-à : comp.theoryDate : 27. Jun 2025, 18:27:51
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <103mkan$111i$1@news.muc.de>
References : 1 2 3 4 5 6 7
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
[ Followup-To: set ]
In comp.theory olcott <
polcott333@gmail.com> wrote:
[ .... ]
I know that DDD .... simulated by HHH cannot
possibly reach its own simulated "return" statement
final halt state because the execution trace
conclusively proves this.
Everybody else knows this, too, and nobody has said otherwise. The
conclusion is that the simulation by HHH is incorrect.
That no one else can possibly provide a correct
execution trace that refutes this means there has
been no actual rebuttal.
Dream on.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
-- Alan Mackenzie (Nuremberg, Germany).
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 |