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 : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 30. Jun 2025, 03:39:10
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 6/29/25 3:51 PM, Mr Flibble wrote:
On Sun, 29 Jun 2025 15:00:35 -0400, Richard Damon wrote:
 
Remember, the simulator must be simulating the INPUT, and thus to go
past the call HHH instruction, the code must be part of the input, and
the input needs to be a constant.
  No. If HHH is simulating DDD then HHH can detect a call to itself being
passed DDD within DDD and can assert at that point that the input is non-
halting.
 /Flibble
And thus isn't simu;ating THE INPUT, and that the input isn't a PROGRAM.
Also, what if DDD is using a copy of HHH, as per the proof program, which might have variations in the code.
Sorry, just shows you don't understand the problem.

Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method132Alan Mackenzie
26 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method131olcott
27 Jun 25  +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method110olcott
29 Jun 25  i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method109Mikko
29 Jun 25  i +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method107olcott
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 method92Richard Damon
1 Jul 25  i ii`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method91Richard 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 correct82olcott
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 Jul 25  i ii  i `* Re: HHH(DDD)==0 is correct33Mikko
4 Jul 25  i ii  i  `* Re: HHH(DDD)==0 is correct32olcott
4 Jul 25  i ii  i   +* Re: HHH(DDD)==0 is correct11joes
4 Jul 25  i ii  i   i`* Re: HHH(DDD)==0 is correct10olcott
4 Jul 25  i ii  i   i `* Re: HHH(DDD)==0 is correct9Richard Damon
4 Jul 25  i ii  i   i  `* Re: HHH(DDD)==0 is correct8olcott
4 Jul 25  i ii  i   i   `* Re: HHH(DDD)==0 is correct7Richard Damon
4 Jul 25  i ii  i   i    `* Re: HHH(DDD)==0 is correct6olcott
5 Jul 25  i ii  i   i     +* Re: HHH(DDD)==0 is correct2Fred. Zwarts
5 Jul 25  i ii  i   i     i`- Re: HHH(DDD)==0 is correct1olcott
5 Jul 25  i ii  i   i     `* Re: HHH(DDD)==0 is correct3Richard Damon
5 Jul 25  i ii  i   i      `* Re: HHH(DDD)==0 is correct2olcott
6 Jul 25  i ii  i   i       `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul 25  i ii  i   +* Re: HHH(DDD)==0 is correct19Richard Damon
4 Jul 25  i ii  i   i`* Re: HHH(DDD)==0 is correct18olcott
4 Jul 25  i ii  i   i `* Re: HHH(DDD)==0 is correct17Richard Damon
4 Jul 25  i ii  i   i  `* Re: HHH(DDD)==0 is correct16olcott
4 Jul 25  i ii  i   i   `* Re: HHH(DDD)==0 is correct15Richard Damon
4 Jul 25  i ii  i   i    `* Re: HHH(DDD)==0 is correct14olcott
5 Jul 25  i ii  i   i     +* Re: HHH(DDD)==0 is correct3Fred. Zwarts
5 Jul 25  i ii  i   i     i`* Re: HHH(DDD)==0 is correct2olcott
6 Jul 25  i ii  i   i     i `- Re: HHH(DDD)==0 is correct1Fred. Zwarts
5 Jul 25  i ii  i   i     `* Re: HHH(DDD)==0 is correct10Richard Damon
5 Jul 25  i ii  i   i      `* Re: HHH(DDD)==0 is correct9olcott
6 Jul 25  i ii  i   i       `* Re: HHH(DDD)==0 is correct8Richard Damon
6 Jul 25  i ii  i   i        `* Re: HHH(DDD)==0 is correct7olcott
6 Jul 25  i ii  i   i         `* Re: HHH(DDD)==0 is correct6Richard Damon
6 Jul 25  i ii  i   i          `* Re: HHH(DDD)==0 is correct5olcott
6 Jul 25  i ii  i   i           +- Re: HHH(DDD)==0 is correct1Fred. Zwarts
6 Jul 25  i ii  i   i           `* Re: HHH(DDD)==0 is correct3Richard Damon
6 Jul 25  i ii  i   i            `* Re: HHH(DDD)==0 is correct2olcott
6 Jul 25  i ii  i   i             `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul 25  i ii  i   `- Re: HHH(DDD)==0 is correct1Mikko
3 Jul 25  i ii  `* Re: HHH(DDD)==0 is correct45Richard Damon
3 Jul 25  i ii   `* Re: HHH(DDD)==0 is correct44olcott
3 Jul 25  i ii    `* Re: HHH(DDD)==0 is correct43Richard Damon
3 Jul 25  i ii     `* Re: HHH(DDD)==0 is correct42olcott
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 Jul 25  i ii      i   `- Re: HHH(DDD)==0 is correct1Richard Damon
4 Jul 25  i ii      `* Re: HHH(DDD)==0 is correct36Mikko
4 Jul 25  i ii       `* Re: HHH(DDD)==0 is correct35olcott
5 Jul 25  i ii        +* Re: HHH(DDD)==0 is correct31Fred. Zwarts
5 Jul 25  i ii        i`* Re: HHH(DDD)==0 is correct30olcott
6 Jul 25  i ii        i `* Re: HHH(DDD)==0 is correct29Mikko
6 Jul 25  i ii        i  `* Re: HHH(DDD)==0 is correct28olcott
6 Jul 25  i ii        i   +- Re: HHH(DDD)==0 is correct1Richard Damon
7 Jul 25  i ii        i   `* Re: HHH(DDD)==0 is correct26Mikko
7 Jul 25  i ii        i    `* Re: HHH(DDD)==0 is correct25olcott
7 Jul 25  i ii        i     +- Re: HHH(DDD)==0 is correct1Richard Damon
8 Jul 25  i ii        i     `* Re: HHH(DDD)==0 is correct23Mikko
8 Jul 25  i ii        i      `* Re: HHH(DDD)==0 is correct22olcott
9 Jul 25  i ii        i       +* Re: HHH(DDD)==0 is correct20Mikko
9 Jul 25  i ii        i       i`* Re: HHH(DDD)==0 is correct19olcott
10 Jul 25  i ii        i       i +- Re: HHH(DDD)==0 is correct1Richard Damon
10 Jul 25  i ii        i       i `* Re: HHH(DDD)==0 is correct17Mikko
10 Jul 25  i ii        i       i  `* Re: HHH(DDD)==0 is correct16olcott
11 Jul 25  i ii        i       i   `* Re: HHH(DDD)==0 is correct15Mikko
11 Jul 25  i ii        i       i    `* Re: HHH(DDD)==0 is correct14olcott
11 Jul 25  i ii        i       i     +* Re: HHH(DDD)==0 is correct3joes
11 Jul 25  i ii        i       i     i`* Re: HHH(DDD)==0 is correct2olcott
12 Jul 25  i ii        i       i     i `- Re: HHH(DDD)==0 is correct1Richard Damon
11 Jul 25  i ii        i       i     +* Re: HHH(DDD)==0 is correct8dbush
11 Jul 25  i ii        i       i     i`* Re: HHH(DDD)==0 is correct7olcott
11 Jul 25  i ii        i       i     i +* Re: HHH(DDD)==0 is correct2dbush
11 Jul 25  i ii        i       i     i i`- Re: HHH(DDD)==0 is correct1olcott
12 Jul 25  i ii        i       i     i `* Re: HHH(DDD)==0 is correct4Mikko
12 Jul 25  i ii        i       i     +- Re: HHH(DDD)==0 is correct1Richard Damon
12 Jul 25  i ii        i       i     `- Re: HHH(DDD)==0 is correct1Mikko
9 Jul 25  i ii        i       `- Re: HHH(DDD)==0 is correct1Richard Damon
5 Jul 25  i ii        `* Re: HHH(DDD)==0 is correct3Mikko
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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal