Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 01. Jul 2025, 13:07:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1040j2b$2ql69$6@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 7/1/2025 6:28 AM, Richard Damon wrote:
On 6/30/25 9:26 PM, olcott wrote:
On 6/30/2025 8:10 PM, Richard Damon wrote:
On 6/30/25 1:00 PM, olcott wrote:
>
One line of C source-code is a C statement.
HHH simulates six statements of DDD.
>
No it doesn't, as that line of C refers to HHH, and to process that line, you need to process ALL the lines in HHH.
>
>
Yes this is true.
What the F did you think that I meant by:
>
HHH simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH...
Except that isn't what you said HHH does!
YOu said HHH simulated DDD until it recognizes a non-halting pattern.
You have omitted this in your "loop"
Recursive emulation is not a loop.
It should be:
HHH simulated DDD that calls HHH, until it recognizes a non-halting pattern,
Which results in it simulating HHH simulating DDD until it recognizes a non-halting pattern...
Which results in it simulating HHH simulating DDD until it recognizes a non-halting pattern...
Which results in it simulating HHH simulating DDD until it recognizes a non-halting pattern...
Which results in it simulating HHH simulating DDD until it recognizes a non-halting pattern...
It is more precisely accurate the way that you
did it yet too confusing to get the gist of the
idea of recursive emulation.
The problem is when you include that we KNOW that, since the outer HHH *WILL* at some point abort (since you assume that will happen) that this simulated HHH will also do that, and thus make the DDD that called it halting.
If you are going to call impossibly reaching its final halt state
halting you might as well call it also makes you breakfast in bed.
Your problem is you didn't CORRECTLY simulate the HHH that DDD calls, as you ERRONEOUSLY assumed that it will not halt in order to claim that you have a non-halting pattern.
When N x86 instructions of DDD are simulated
according to the semantics of the x86 language
then N N x86 instructions of DDD are simulated
correctly. This includes HHH simulating itself
simulating DDD at least once.
I don't understand why this is so difficult for
you unless you grossly exaggerated your competence
at programming.
THe problem is whatever criteria is used to abort, is part of the code that is being analyized, and thus you need to take that into account when you try to prove that the pattern is non-halting.
Repeat this to yourself 500 times so that you will
remember it by the time you make your next reply.
*DDD correctly simulated by HHH cannot possibly reach*
*its own simulated "return" statement final halt state*
*DDD correctly simulated by HHH cannot possibly reach*
*its own simulated "return" statement final halt state*
*DDD correctly simulated by HHH cannot possibly reach*
*its own simulated "return" statement final halt state*
Your "logic" doesn't understand how programs work and are defined, because your "logic" comes out of your own ignorance of the field.
>
>
You are just showing you don't understand the basics of how computers and programs work.
>
>
Note, "C" doesn't define "instructions", but operations as defined by the abstract machine.
>
The operations defined in DDD:
>
Fetch the value of DDD
Pass that as a parameter to HHH
Call the funciton HHH,
Perform the operations of function HHH
Return
>
>
At the machine language level HHH correctly
simulated four x86 instructions of DDD six times.
>
Nope, doesn't simulate the CALL instruction.
>
>
Yes it does.
Then why doesn't it show the x86 instuctions executed?
Of the sequence points inside of the HHH that it called?
>
What the F did you think that I meant by:
HHH simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH
that simulates DDD that calls HHH...
>
>
As I said, that isn't a simulation of HHH, as that isn't what HHH doess, because it LIES about the fact that HHH, as you have defined it, *WILL* abort and return 0, and thus every DDD will halt.
All you are doing is proving that you don't understand what you are talkinga about, and just refuse to look at the facts, because you are just a pathological liar that has been brainwashed by yourself into unconditionaly believing your own lies.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
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 Jun 25 |   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 Jun 25 |   Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 20 | | Richard Damon |
27 Jun 25 |    Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 19 | | olcott |
27 Jun 25 |     Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 18 | | Richard Damon |
27 Jun 25 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 12 | | olcott |
27 Jun 25 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 11 | | Richard Damon |
27 Jun 25 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 10 | | olcott |
27 Jun 25 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 9 | | Richard Damon |
27 Jun 25 |          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 Jun 25 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 5 | | olcott |
27 Jun 25 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 3 | | Alan Mackenzie |
27 Jun 25 |        Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 2 | | olcott |
27 Jun 25 |         Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |
27 Jun 25 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 1 | | Richard Damon |