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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 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; Genius
hits 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 method58Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method57olcott
27 Jun 25  +* 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 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 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 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