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

Liste des GroupesRevenir à s logic 
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 Jul19:01 * The halting problem as defined is a category error65olcott
21 Jul13:30 +* Re: The halting problem as defined is a category error2Mild Shock
21 Jul13:59 i`- Re: The halting problem as defined is a category error1olcott
18 Jul00:47 +* Re: The halting problem as defined is a category error --- Flibble is correct44olcott
19 Jul15:42 i+* Re: The halting problem as defined is a category error --- Flibble is correct18olcott
19 Jul18:02 ii`* Re: The halting problem as defined is a category error --- Flibble is correct17Richard Damon
19 Jul20:19 ii `* Four Chatbots figure out on their own without prompting that HHH(DDD)==016olcott
20 Jul08:57 ii  +* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==05Fred. Zwarts
20 Jul16:18 ii  i`* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==04olcott
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)==02Fred. Zwarts
21 Jul15:25 ii  i  `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01olcott
19 Jul20:47 ii  `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==010olcott
19 Jul21:01 ii   +* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==08olcott
19 Jul21:41 ii   i+* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==06olcott
19 Jul22:05 ii   ii`* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==05olcott
20 Jul15:33 ii   ii `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==04olcott
20 Jul23:11 ii   ii  `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==03Richard Damon
20 Jul23:57 ii   ii   `* Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==02olcott
21 Jul01:24 ii   ii    `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
20 Jul03:23 ii   i`- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
20 Jul03:23 ii   `- Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==01Richard Damon
19 Jul22:18 i+* Re: Respect [was: The halting problem as defined is a category error]24olcott
20 Jul03:12 ii+* Re: Respect [was: The halting problem as defined is a category error]19Richard Damon
20 Jul04:20 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 Jul08:38 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 Jul04:21 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 Jul08:44 ii`* Re: Respect [was: The halting problem as defined is a category error]4Fred. Zwarts
20 Jul16:07 ii `* Re: Respect [was: The halting problem as defined is a category error]3olcott
21 Jul07:39 ii  `* Re: Respect [was: The halting problem as defined is a category error]2Fred. Zwarts
21 Jul14:03 ii   `- Re: Respect [was: The halting problem as defined is a category error]1olcott
21 Jul15:19 i`- Re: The halting problem as defined is a category error --- Flibble is correct1olcott
17 Jul20:22 +* Re: The halting problem as defined is a category error9olcott
18 Jul00:26 i+* Re: The halting problem as defined is a category error5Richard Damon
18 Jul00:49 ii`* Re: The halting problem as defined is a category error -- Flibble is correct4olcott
18 Jul14:13 ii `* Re: The halting problem as defined is a category error -- Flibble is correct3Richard Damon
18 Jul14:58 ii  `* Re: The halting problem as defined is a category error -- Flibble is correct2olcott
18 Jul18:26 ii   `- Re: The halting problem as defined is a category error -- Flibble is correct1Richard Damon
19 Jul03:15 i+- Re: The halting problem as defined is a category error1Richard Damon
18 Jul23:52 i`* Re: The halting problem as defined is a category error2olcott
19 Jul03:19 i `- Re: The halting problem as defined is a category error1Richard Damon
18 Jul00:10 +- Re: The halting problem as defined is a category error1Richard Damon
19 Jul03:25 +* Re: The halting problem as defined is a category error6Richard Damon
19 Jul04:39 i`* Re: The halting problem as defined is a category error5olcott
19 Jul13:50 i `* Re: The halting problem as defined is a category error4Richard Damon
19 Jul15:15 i  +* Re: The halting problem as defined is a category error2olcott
19 Jul18:17 i  i`- Re: The halting problem as defined is a category error1Richard Damon
19 Jul18:15 i  `- Re: The halting problem as defined is a category error1Richard Damon
18 Jul23:54 +- Re: The halting problem as defined is a category error1olcott
21 Jul15:07 `- Re: The halting problem as defined is a category error1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal