Sujet : Re: HHH(DDD)==0 is correct
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 05. Jul 2025, 14:01:48
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <47880ae0a4fac737e4332fc629d6d95124ebfa5d@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 25 26
User-Agent : Mozilla Thunderbird
On 7/4/25 6:17 PM, olcott wrote:
On 7/4/2025 3:33 PM, Richard Damon wrote:
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?
>
>
When we compare DDD emulated by HHH and DDD emulated
by HHH1 SIDE-BY-SIDE. (Mike didn't do it this way).
*The difference is when*
HHH begins to simulate itself simulating DDD and
HHH1 NEVER begins to simulate itself simulating DDD.
And where does that show as a difference in the trace?
"itself" isn't something in the code/
Both are supposed to be simuating the input, which is DDD calling HHH.
You still need to try to prove your FALSEHOOD that the simualtion of the HHH called by DDD depends on who is doing the simulation, when that concept is in direct contradiction to the defintions of correct simulation.
Sorry, you are just proving you are a stupid liar,
HHH doesn't actually abort its simulation of DDD until
after has simulated many hundreds of simulated instructions
later. HHH simulates itself simulating DDD until DDD calls
HHH(DDD) again.
And thus HHH is part of the input, and thus is the same HHH as is simulating it, and thus the first HHH simulated will also abort its simulation and return 0, a fact IGNORED by you, because you are too stupid.
I only address one point at a time because you
find that one single point to be impossibly too
difficult for you. When I tell you something
500 times you never notice that I even said it once.
So ADDRESSS it. You just repeat your same lies.
Your "one thing at a time" is just your excuse to not get to the actual problems, and just let you keep on equivocating between you multiple inconsistant definitions of what you are talking about.
That is the FACT of you argument, it is based on internally self-contradictory meanings.
For example, is the code of HHH part of the input, you need both:
NO, so that every variation of the program DDD is the "same", but also
YES, as you need it to be there to simulate it, it just isn't a "constant" part
In other words, your world is just based on lies.
Date | Sujet | # | | Auteur |
26 Jun 25 | Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 102 | | Alan Mackenzie |
26 Jun 25 |  Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 101 | | olcott |
27 Jun 25 |   Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 80 | | olcott |
29 Jun 25 |    Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 79 | | Mikko |
29 Jun 25 |     Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 77 | | olcott |
29 Jun 25 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 13 | | olcott |
30 Jun 25 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 11 | | Richard Damon |
30 Jun 25 |        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 Jun 25 |      Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 62 | | Richard Damon |
1 Jul02:12 |       Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 61 | | 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 | 52 | | olcott |
3 Jul09:57 |         Re: HHH(DDD)==0 is correct | 34 | | Mikko |
3 Jul13:56 |          Re: HHH(DDD)==0 is correct | 33 | | olcott |
3 Jul15:24 |           Re: HHH(DDD)==0 is correct | 1 | | Richard Damon |
4 Jul08:35 |           Re: HHH(DDD)==0 is correct | 31 | | Mikko |
4 Jul13:50 |            Re: HHH(DDD)==0 is correct | 30 | | olcott |
4 Jul14:22 |             Re: HHH(DDD)==0 is correct | 11 | | joes |
4 Jul14:32 |              Re: HHH(DDD)==0 is correct | 10 | | olcott |
4 Jul18:48 |               Re: HHH(DDD)==0 is correct | 9 | | Richard Damon |
4 Jul19:24 |                Re: HHH(DDD)==0 is correct | 8 | | olcott |
4 Jul21:33 |                 Re: HHH(DDD)==0 is correct | 7 | | Richard Damon |
4 Jul23:17 |                  Re: HHH(DDD)==0 is correct | 6 | | olcott |
5 Jul08:36 |                   Re: HHH(DDD)==0 is correct | 2 | | Fred. Zwarts |
5 Jul17:07 |                    Re: HHH(DDD)==0 is correct | 1 | | olcott |
5 Jul14:01 |                   Re: HHH(DDD)==0 is correct | 3 | | Richard Damon |
5 Jul17:16 |                    Re: HHH(DDD)==0 is correct | 2 | | olcott |
6 Jul01:25 |                     Re: HHH(DDD)==0 is correct | 1 | | Richard Damon |
4 Jul14:23 |             Re: HHH(DDD)==0 is correct | 17 | | Richard Damon |
4 Jul15:43 |              Re: HHH(DDD)==0 is correct | 16 | | olcott |
4 Jul19:14 |               Re: HHH(DDD)==0 is correct | 15 | | Richard Damon |
4 Jul19:25 |                Re: HHH(DDD)==0 is correct | 14 | | olcott |
4 Jul21:40 |                 Re: HHH(DDD)==0 is correct | 13 | | Richard Damon |
4 Jul23:24 |                  Re: HHH(DDD)==0 is correct | 12 | | olcott |
5 Jul08:33 |                   Re: HHH(DDD)==0 is correct | 3 | | Fred. Zwarts |
5 Jul17:03 |                    Re: HHH(DDD)==0 is correct | 2 | | olcott |
6 Jul10:45 |                     Re: HHH(DDD)==0 is correct | 1 | | Fred. Zwarts |
5 Jul14:07 |                   Re: HHH(DDD)==0 is correct | 8 | | Richard Damon |
5 Jul17:21 |                    Re: HHH(DDD)==0 is correct | 7 | | olcott |
6 Jul01:36 |                     Re: HHH(DDD)==0 is correct | 6 | | Richard Damon |
6 Jul03:23 |                      Re: HHH(DDD)==0 is correct | 5 | | olcott |
6 Jul03:59 |                       Re: HHH(DDD)==0 is correct | 4 | | Richard Damon |
6 Jul05:06 |                        Re: HHH(DDD)==0 is correct | 3 | | olcott |
6 Jul10:40 |                         Re: HHH(DDD)==0 is correct | 1 | | Fred. Zwarts |
6 Jul12:48 |                         Re: HHH(DDD)==0 is correct | 1 | | Richard Damon |
5 Jul09:42 |             Re: HHH(DDD)==0 is correct | 1 | | Mikko |
3 Jul15:16 |         Re: HHH(DDD)==0 is correct | 17 | | Richard Damon |
3 Jul15:39 |          Re: HHH(DDD)==0 is correct | 16 | | olcott |
3 Jul15:50 |           Re: HHH(DDD)==0 is correct | 15 | | Richard Damon |
3 Jul16:17 |            Re: HHH(DDD)==0 is correct | 14 | | olcott |
3 Jul23:59 |             Re: HHH(DDD)==0 is correct | 5 | | Richard Damon |
4 Jul00:15 |              Re: HHH(DDD)==0 is correct | 4 | | olcott |
4 Jul01:22 |               Re: HHH(DDD)==0 is correct | 3 | | Richard Damon |
4 Jul01:36 |                Re: HHH(DDD)==0 is correct | 2 | | olcott |
4 Jul14:25 |                 Re: HHH(DDD)==0 is correct | 1 | | Richard Damon |
4 Jul08:42 |             Re: HHH(DDD)==0 is correct | 8 | | Mikko |
4 Jul13:57 |              Re: HHH(DDD)==0 is correct | 7 | | olcott |
5 Jul08:30 |               Re: HHH(DDD)==0 is correct | 3 | | Fred. Zwarts |
5 Jul16:59 |                Re: HHH(DDD)==0 is correct | 2 | | olcott |
6 Jul10:19 |                 Re: HHH(DDD)==0 is correct | 1 | | Mikko |
5 Jul09:44 |               Re: HHH(DDD)==0 is correct | 3 | | Mikko |
5 Jul16:53 |                Re: HHH(DDD)==0 is correct | 2 | | olcott |
6 Jul10:35 |                 Re: HHH(DDD)==0 is correct | 1 | | Fred. Zwarts |
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 Jun 25 |           Re: ChatGPT agrees that HHH refutes the standard halting problem proof method | 7 | | Richard Damon |
27 Jun 25 |            ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 6 | | olcott |
27 Jun 25 |             Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 1 | | Richard Damon |
28 Jun 25 |             Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 4 | | Richard Damon |
28 Jun 25 |              Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 3 | | olcott |
28 Jun 25 |               Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior | 2 | | Richard Damon |
28 Jun 25 |                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 |