Re: HHH(DDD)==0 is correct

Liste des GroupesRevenir à c theory 
Sujet : Re: HHH(DDD)==0 is correct
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 04. Jul 2025, 21:33:32
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <03046f5e7157fc81f0e14a285499a7bc5d1d65b2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 7/4/25 2:24 PM, olcott wrote:
On 7/4/2025 12:48 PM, Richard Damon wrote:
On 7/4/25 9:32 AM, olcott wrote:
On 7/4/2025 8:22 AM, joes wrote:
Am Fri, 04 Jul 2025 07:50:23 -0500 schrieb olcott:
On 7/4/2025 2:35 AM, Mikko wrote:
On 2025-07-03 12:56:42 +0000, olcott said:
On 7/3/2025 3:57 AM, Mikko wrote:
On 2025-07-03 02:50:40 +0000, olcott said:
On 7/1/2025 11:37 AM, Mr Flibble wrote:
On Mon, 30 Jun 2025 21:12:48 -0400, Richard Damon wrote:
On 6/30/25 2:30 PM, Mr Flibble wrote:
>
No. A simulator does not have to run a simulation to completion if
it can determine that the input, A PROGRAM, never halts.
>
If. But here it confuses that with not being able to simulate past the
recursive call.
>
>
It is the correct simulation of the input that
specifies the actual behavior of this input.
>
Right, and that means correctly simulating EVERY instruction that makes up the PROGRAM, which must include the code of *THE* HHH, or you can't "correctly simulate" the call instruction.
>
SIn
>
>
If this simulation cannot simulate past the recursive
call then this correctly simulated input cannot possibly
reach its own correctly simulated final halt state.
>
>
But it can, as the call goes into HHH, and you then just simulate the code of HHH.
>
 Do you mean like this? (as I have been telling you for three years)
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
Yes, so where in that trace does HHH's "correct simulation" differ from the exact same simulation generated by HHH1 before HHH aborts?
Note, that this trace PROVES that "the input" includes the code of HHH, as that is what HHH is looking at, and if you are simulating "the input", whatever you simulate must have been part of the input.
Note also, this trace isn't the "simulation done by HHH" but the trace of the execution of HHH as listed by x86utm.
This trace is also nearly identical to a correct simulation of the direct execution of DDD, it just starts at the addresses of main instead of DDD, but the source and object code of both main and DDD are identical (just relocated to different addresses).
If you compare the trace that HHH actually does, it will exactly match this to the point that HHH decides to abort.
If you disagree, point to the line where they differ, else you are just admitting that you are just a pathetic liar that has been caught in the trap.

 I ignore the rest of your points because you
prove that it is almost impossible for you
to handle a single point.
No, you ignore them because you don't have an answer.
As I have pointed out, providing the trace doesn't show where it differs from the trace of the direct exectutuion of DDD.

 When I go over the exact same point 500 times
you never notice that I ever mentioned this point.
 
So, when are you going to answer the questions about that listing?

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 Jul 25  i ii      +* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul 25  i ii      i`* Re: HHH(DDD)==0 is correct4olcott
4 Jul 25  i ii      i `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul 25  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