Re: HHH(DDD)==0 is correct

Liste des GroupesRevenir à theory 
Sujet : Re: HHH(DDD)==0 is correct
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 04. Jul 2025, 18:48:19
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <26fa177bac9523d317f0cf5899abd882e7515374@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
User-Agent : Mozilla Thunderbird
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.
The problem is that you HHH just always gives up and just returns 0, and thus that is the behavior of *THE* HHH that exists.
If you instead create a different DDD from the different THE HHH that never aborts, then you are correct, that actually correct simulation will never reach the end, but continue forever. Your problem is that this is a DIFFERENT DDD, as to "correctly simulate" the input of DDD, that input *MUST* include the code for HHH, or you are just admitting that you are lying about correctly simulating that input.

int main()
{
   DDD();  // Calls HHH(DDD) which is not accountable
}         // for the behavior of its caller
But *IS* accoutable for the behavior of the input, which happens, in this case, to be the caller.
Yes, in:
void foo() {
    HHH(DDD);
loop: goto loop;
}
int main()
{
    foo();
}
HHH isn't responsible for the non-halting behavior of its caller, but is responsible for the halting behavior of DDD, which does halt because HHH returns and answer.
You just don't understand what the meaning of the terms you are using are.

 
That is *not* the actual question.
THe actual question is whatever someone asks.
What is the area of a square circle with a radius of 2?
DDD halts.
>
HHH(DDD) is asked: Does your input specify a computation that halts*?
DDD correctly simulated by HHH cannot possibly reach its own "return"
statement final halt state, so NO.
 
*when executed directly, which is what should be simulated. HHH can't.
>
 HHH1(DDD) has the same behavior as the directly executed DDD()
No, DDD doesn't return an answer, HHH1 returns the value 1.
Those are DIFFERENT behavior.
Yes, they both halt, and HHH1 does correctly simulate its input, and the fact that you admit that HHH1 is able to simulate the input means that it MUST include the code of HHH, or else it couldn't do that.

 
THat is the same question if the input specifies the computation as
DDD. If it does not then HHH(DDD) is irrelevant and either the user's
manual of HHH species another input for the purpose or HHH is not
relevant to the halting problem.
>
HHH1(DDD) is asked: Does your input specify a computation that halts?
DDD correctly simulated by HHH1 reaches its own "return" statement
final halt state, so YES.
The user's manual of HHH1 apparently dpecifies different encoding
rules.
The full execution trace of the input to HHH1(DDD) is different than The
full execution trace of the input to HHH(DDD)
because DDD calls HHH in recursive simulation and does not call HHH1 in
recursive simulation.
 
Uh, the traces both show a call to HHH.
>
 *This one page analysis by Clause.ai sum its up nicely*
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
 
Which begins with your lie, so you are just showing your stupidity.
Sorry, perhaps you should be brought up on charges for the contributing to the mistraining of an AI.

Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method84Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method83olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method62olcott
29 Jun10:18  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method61Mikko
29 Jun15:09  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method59olcott
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 method44Richard Damon
1 Jul02:12  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method43Richard 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 correct34olcott
3 Jul09:57  i ii  +* Re: HHH(DDD)==0 is correct20Mikko
3 Jul13:56  i ii  i`* Re: HHH(DDD)==0 is correct19olcott
3 Jul15:24  i ii  i +- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul08:35  i ii  i `* Re: HHH(DDD)==0 is correct17Mikko
4 Jul13:50  i ii  i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul14:22  i ii  i   +* Re: HHH(DDD)==0 is correct7joes
4 Jul14:32  i ii  i   i`* Re: HHH(DDD)==0 is correct6olcott
4 Jul18:48  i ii  i   i `* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul19:24  i ii  i   i  `* Re: HHH(DDD)==0 is correct4olcott
4 Jul21:33  i ii  i   i   `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul23:17  i ii  i   i    `* Re: HHH(DDD)==0 is correct2olcott
5 Jul08:36  i ii  i   i     `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
4 Jul14:23  i ii  i   +* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul15:43  i ii  i   i`* Re: HHH(DDD)==0 is correct6olcott
4 Jul19:14  i ii  i   i `* Re: HHH(DDD)==0 is correct5Richard Damon
4 Jul19:25  i ii  i   i  `* Re: HHH(DDD)==0 is correct4olcott
4 Jul21:40  i ii  i   i   `* Re: HHH(DDD)==0 is correct3Richard Damon
4 Jul23:24  i ii  i   i    `* Re: HHH(DDD)==0 is correct2olcott
5 Jul08:33  i ii  i   i     `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul09:42  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul15:16  i ii  `* Re: HHH(DDD)==0 is correct13Richard Damon
3 Jul15:39  i ii   `* Re: HHH(DDD)==0 is correct12olcott
3 Jul15:50  i ii    `* Re: HHH(DDD)==0 is correct11Richard Damon
3 Jul16:17  i ii     `* Re: HHH(DDD)==0 is correct10olcott
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 correct4Mikko
4 Jul13:57  i ii       `* Re: HHH(DDD)==0 is correct3olcott
5 Jul08:30  i ii        +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul09:44  i ii        `- Re: HHH(DDD)==0 is correct1Mikko
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 Jun 25     i      `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior4Richard Damon
28 Jun 25     i       `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior3olcott
28 Jun 25     i        `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior2Richard Damon
28 Jun 25     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