Re: ChatGPT agrees that HHH refutes the standard halting problem proof method

Liste des GroupesRevenir à c 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 method117Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method116olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method95olcott
29 Jun 25  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method94Mikko
29 Jun 25  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method92olcott
29 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method13olcott
30 Jun 25  i ii+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
30 Jun 25  i iii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
30 Jun 25  i iii `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
30 Jun 25  i iii  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i iii   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
1 Jul 25  i iii    +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott
1 Jul 25  i iii    i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Richard Damon
1 Jul 25  i iii    i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i iii    i  +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i iii    i  `- Logic proves that Peter Olcott is just a liar.1Richard Damon
2 Jul 25  i iii    `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Heathfield
30 Jun 25  i ii`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  i i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method77Richard Damon
1 Jul 25  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method76Richard Damon
1 Jul 25  i ii +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
1 Jul 25  i ii i+* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method4Fred. Zwarts
1 Jul 25  i ii ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
2 Jul 25  i ii ii +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
2 Jul 25  i ii ii `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Fred. Zwarts
1 Jul 25  i ii i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3Richard Damon
1 Jul 25  i ii i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method2olcott
2 Jul 25  i ii i  `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon
3 Jul 25  i ii `* HHH(DDD)==0 is correct67olcott
3 Jul 25  i ii  +* Re: HHH(DDD)==0 is correct36Mikko
3 Jul 25  i ii  i`* Re: HHH(DDD)==0 is correct35olcott
3 Jul 25  i ii  i +- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:35  i ii  i `* Re: HHH(DDD)==0 is correct33Mikko
4 Jul13:50  i ii  i  `* Re: HHH(DDD)==0 is correct32olcott
4 Jul14:22  i ii  i   +* Re: HHH(DDD)==0 is correct11joes
4 Jul14:32  i ii  i   i`* Re: HHH(DDD)==0 is correct10olcott
4 Jul18:48  i ii  i   i `* Re: HHH(DDD)==0 is correct9Richard Damon
4 Jul19:24  i ii  i   i  `* Re: HHH(DDD)==0 is correct8olcott
4 Jul21:33  i ii  i   i   `* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul23:17  i ii  i   i    `* Re: HHH(DDD)==0 is correct6olcott
5 Jul08:36  i ii  i   i     +* Re: HHH(DDD)==0 is correct2Fred. Zwarts
5 Jul17:07  i ii  i   i     i`- Re: HHH(DDD)==0 is correct1olcott
5 Jul14:01  i ii  i   i     `* Re: HHH(DDD)==0 is correct3Richard Damon
5 Jul17:16  i ii  i   i      `* Re: HHH(DDD)==0 is correct2olcott
6 Jul01:25  i ii  i   i       `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul14:23  i ii  i   +* Re: HHH(DDD)==0 is correct19Richard Damon
4 Jul15:43  i ii  i   i`* Re: HHH(DDD)==0 is correct18olcott
4 Jul19:14  i ii  i   i `* Re: HHH(DDD)==0 is correct17Richard Damon
4 Jul19:25  i ii  i   i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul21:40  i ii  i   i   `* Re: HHH(DDD)==0 is correct15Richard Damon
4 Jul23:24  i ii  i   i    `* Re: HHH(DDD)==0 is correct14olcott
5 Jul08:33  i ii  i   i     +* Re: HHH(DDD)==0 is correct3Fred. Zwarts
5 Jul17:03  i ii  i   i     i`* Re: HHH(DDD)==0 is correct2olcott
6 Jul10:45  i ii  i   i     i `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul14:07  i ii  i   i     `* Re: HHH(DDD)==0 is correct10Richard Damon
5 Jul17:21  i ii  i   i      `* Re: HHH(DDD)==0 is correct9olcott
6 Jul01:36  i ii  i   i       `* Re: HHH(DDD)==0 is correct8Richard Damon
6 Jul03:23  i ii  i   i        `* Re: HHH(DDD)==0 is correct7olcott
6 Jul03:59  i ii  i   i         `* Re: HHH(DDD)==0 is correct6Richard Damon
6 Jul05:06  i ii  i   i          `* Re: HHH(DDD)==0 is correct5olcott
6 Jul10:40  i ii  i   i           +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
6 Jul12:48  i ii  i   i           `* Re: HHH(DDD)==0 is correct3Richard Damon
6 Jul16:08  i ii  i   i            `* Re: HHH(DDD)==0 is correct2olcott
6 Jul17:50  i ii  i   i             `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul09:42  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul 25  i ii  `* Re: HHH(DDD)==0 is correct30Richard Damon
3 Jul 25  i ii   `* Re: HHH(DDD)==0 is correct29olcott
3 Jul 25  i ii    `* Re: HHH(DDD)==0 is correct28Richard Damon
3 Jul 25  i ii     `* Re: HHH(DDD)==0 is correct27olcott
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 correct21Mikko
4 Jul13:57  i ii       `* Re: HHH(DDD)==0 is correct20olcott
5 Jul08:30  i ii        +* Re: HHH(DDD)==0 is correct16Fred. Zwarts
5 Jul16:59  i ii        i`* Re: HHH(DDD)==0 is correct15olcott
6 Jul10:19  i ii        i `* Re: HHH(DDD)==0 is correct14Mikko
6 Jul16:00  i ii        i  `* Re: HHH(DDD)==0 is correct13olcott
6 Jul17:53  i ii        i   +- Re: HHH(DDD)==0 is correct1Richard Damon
7 Jul09:25  i ii        i   `* Re: HHH(DDD)==0 is correct11Mikko
7 Jul15:02  i ii        i    `* Re: HHH(DDD)==0 is correct10olcott
7 Jul23:32  i ii        i     +- Re: HHH(DDD)==0 is correct1Richard Damon
8 Jul08:35  i ii        i     `* Re: HHH(DDD)==0 is correct8Mikko
8 Jul15:16  i ii        i      `* Re: HHH(DDD)==0 is correct7olcott
9 Jul09:32  i ii        i       +* Re: HHH(DDD)==0 is correct5Mikko
9 Jul13:45  i ii        i       i`* Re: HHH(DDD)==0 is correct4olcott
10 Jul02:35  i ii        i       i +- Re: HHH(DDD)==0 is correct1Richard Damon
10 Jul10:09  i ii        i       i `* Re: HHH(DDD)==0 is correct2Mikko
10 Jul15:15  i ii        i       i  `- Re: HHH(DDD)==0 is correct1olcott
9 Jul12:18  i ii        i       `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul09:44  i ii        `* Re: HHH(DDD)==0 is correct3Mikko
5 Jul16:53  i ii         `* Re: HHH(DDD)==0 is correct2olcott
6 Jul10:35  i ii          `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
30 Jun 25  i i`- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Mikko
30 Jun 25  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     `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method5olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal