Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0

Liste des GroupesRevenir à ca philosophy 
Sujet : Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic comp.ai.philosophy
Date : 21. Jul 2025, 01:24:44
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <8600d62d6acf327efda271be36260701282dc250@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
User-Agent : Mozilla Thunderbird
On 7/20/25 6:57 PM, olcott wrote:
On 7/20/2025 5:11 PM, Richard Damon wrote:
On 7/20/25 10:33 AM, olcott wrote:
On 7/20/2025 6:11 AM, joes wrote:
Am Sat, 19 Jul 2025 16:36:42 -0500 schrieb olcott:
On 7/19/2025 4:26 PM, wij wrote:
On Sat, 2025-07-19 at 16:05 -0500, olcott wrote:
>
DD correctly simulated by HHH cannot reach past the "if" statement
thus cannot reach the "return" statement.
>
That is roughly what HP proof says.
>
Not at all. The HP proof claims that DD correctly simulated by HHH
reaches the self-contradictory part of DD and thus forms a
contradiction.
>
No. It proves that the direct execution reaches the part that contra-
dicts HHH's return value.
>
>
<ChatGPT>
Misrepresentation of Input:
The standard proof assumes a decider
H(M,x) that determines whether machine
M halts on input x.
>
But this formulation is flawed, because:
Turing machines can only process finite
encodings (e.g. ⟨M⟩), not executable entities
like M.
>
So the valid formulation must be
H(⟨M⟩,x), where ⟨M⟩ is a string.
</ChatGPT>
>
>
>
In other words, your explaination to Chat GPR was just in error, as the decider *IS* given the representation of the program M.
>
 H(M,x) is wrong and H(⟨M⟩,x) is correct.
You must actually pay attention or you miss
important details.
 
But YOU are the one that said that DDD needs to call HHH(DDD) to meet the specificaitons.
Thus it is YOUR error,
Of course, the problem is try to be talking about Turing Machines, and the call you wrote wasn't intended to be in a discusison of Turing Machines, so it is YOU that made the category error,
Sorry, you are just AGAIN showing you don't understand what you are talking about but just quoting stuff by rote that you never learned, causing you to just lie.

Date Sujet#  Auteur
17 Jul 25 * The halting problem as defined is a category error77olcott
18 Jul 25 +* Re: The halting problem as defined is a category error --- Flibble is correct51olcott
19 Jul 25 i+* Re: The halting problem as defined is a category error --- Flibble is correct23olcott
19 Jul 25 ii`* Re: The halting problem as defined is a category error --- Flibble is correct22Richard Damon
19 Jul 25 ii `* Four Chatbots figure out on their own without prompting that HHH(DDD)==021olcott
20 Jul 25 ii  +* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==06Fred. Zwarts
20 Jul16:18 ii  i`* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==05olcott
20 Jul23:50 ii  i +- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
21 Jul09:38 ii  i `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==03Fred. Zwarts
21 Jul15:25 ii  i  `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==02olcott
22 Jul10:12 ii  i   `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Fred. Zwarts
19 Jul 25 ii  +- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01wij
19 Jul 25 ii  `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==013olcott
19 Jul 25 ii   +- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01wij
19 Jul 25 ii   +* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==010olcott
19 Jul 25 ii   i+* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==08olcott
19 Jul 25 ii   ii+- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01wij
19 Jul 25 ii   ii`* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==06olcott
20 Jul15:33 ii   ii +* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==04olcott
20 Jul23:11 ii   ii i`* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==03Richard Damon
20 Jul23:57 ii   ii i `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==02olcott
21 Jul01:24 ii   ii i  `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
19 Jul 25 ii   ii `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01wij
20 Jul 25 ii   i`- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
20 Jul 25 ii   `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
19 Jul 25 i+* Re: Respect [was: The halting problem as defined is a category error]25olcott
20 Jul 25 ii+* Re: Respect [was: The halting problem as defined is a category error]19Richard Damon
20 Jul 25 iii+* Re: Respect [was: The halting problem as defined is a category error]16olcott
20 Jul12:13 iiii+* Re: Respect [was: The halting problem as defined is a category error]3Richard Damon
20 Jul15:30 iiiii`* Re: Respect [was: The halting problem as defined is a category error]2olcott
21 Jul00:28 iiiii `- Re: Respect [was: The halting problem as defined is a category error]1Richard Damon
20 Jul 25 iiii`* Re: Respect [was: The halting problem as defined is a category error]12Fred. Zwarts
20 Jul15:08 iiii `* Re: Respect [was: The halting problem as defined is a category error]11olcott
21 Jul09:24 iiii  +- Re: Respect [was: The halting problem as defined is a category error]1Fred. Zwarts
21 Jul00:13 iiii  `* Re: Respect [was: The halting problem as defined is a category error]9Richard Damon
21 Jul00:54 iiii   `* Re: Respect [was: The halting problem as defined is a category error]8olcott
21 Jul01:29 iiii    `* Re: Respect [was: The halting problem as defined is a category error]7Richard Damon
21 Jul01:45 iiii     +* Re: Respect [was: The halting problem as defined is a category error]4olcott
21 Jul02:58 iiii     i`* Re: Respect [was: The halting problem as defined is a category error]3Richard Damon
21 Jul03:05 iiii     i `* Re: Respect [was: The halting problem as defined is a category error]2olcott
21 Jul14:26 iiii     i  `- Re: Respect [was: The halting problem as defined is a category error]1olcott
21 Jul01:48 iiii     `* Re: Respect [was: The halting problem as defined is a category error]2olcott
21 Jul02:58 iiii      `- Re: Respect [was: The halting problem as defined is a category error]1Richard Damon
20 Jul 25 iii`* Re: Respect [was: The halting problem as defined is a category error]2olcott
20 Jul12:18 iii `- Re: Respect [was: The halting problem as defined is a category error]1Richard Damon
20 Jul 25 ii`* Re: Respect [was: The halting problem as defined is a category error]5Fred. Zwarts
20 Jul16:07 ii `* Re: Respect [was: The halting problem as defined is a category error]4olcott
21 Jul07:39 ii  `* Re: Respect [was: The halting problem as defined is a category error]3Fred. Zwarts
21 Jul14:03 ii   `* Re: Respect [was: The halting problem as defined is a category error]2olcott
22 Jul10:01 ii    `- Re: Respect [was: The halting problem as defined is a category error]1Fred. Zwarts
21 Jul15:19 i`* Re: The halting problem as defined is a category error --- Flibble is correct2olcott
22 Jul10:08 i `- Re: The halting problem as defined is a category error --- Flibble is correct1Fred. Zwarts
17 Jul 25 +* Re: The halting problem as defined is a category error9olcott
18 Jul 25 i+* Re: The halting problem as defined is a category error5Richard Damon
18 Jul 25 ii`* Re: The halting problem as defined is a category error -- Flibble is correct4olcott
18 Jul 25 ii `* Re: The halting problem as defined is a category error -- Flibble is correct3Richard Damon
18 Jul 25 ii  `* Re: The halting problem as defined is a category error -- Flibble is correct2olcott
18 Jul 25 ii   `- Re: The halting problem as defined is a category error -- Flibble is correct1Richard Damon
19 Jul 25 i+- Re: The halting problem as defined is a category error1Richard Damon
18 Jul 25 i`* Re: The halting problem as defined is a category error2olcott
19 Jul 25 i `- Re: The halting problem as defined is a category error1Richard Damon
18 Jul 25 +- Re: The halting problem as defined is a category error1Richard Damon
19 Jul 25 +* Re: The halting problem as defined is a category error6Richard Damon
19 Jul 25 i`* Re: The halting problem as defined is a category error5olcott
19 Jul 25 i `* Re: The halting problem as defined is a category error4Richard Damon
19 Jul 25 i  +* Re: The halting problem as defined is a category error2olcott
19 Jul 25 i  i`- Re: The halting problem as defined is a category error1Richard Damon
19 Jul 25 i  `- Re: The halting problem as defined is a category error1Richard Damon
18 Jul 25 +* Re: The halting problem as defined is a category error2olcott
26 Jul00:28 i`- Re: The halting problem as defined is a category error1olcott
21 Jul15:07 `* Re: The halting problem as defined is a category error7olcott
22 Jul10:16  +- Re: The halting problem as defined is a category error1Fred. Zwarts
22 Jul14:56  `* Re: The halting problem as defined is a category error5olcott
23 Jul04:13   +- Re: The halting problem as defined is a category error1olcott
23 Jul04:50   +* Re: The halting problem as defined is a category error2olcott
23 Jul09:55   i`- Re: The halting problem as defined is a category error1Fred. Zwarts
24 Jul15:11   `- Re: The halting problem as defined is a category error1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal