Re: The halting problem as defined is a category error

Liste des GroupesRevenir à s logic 
Sujet : Re: The halting problem as defined is a category error
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic
Date : 21. Jul 2025, 13:59:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <105ldjv$3v8t8$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 7/21/2025 7:30 AM, Mild Shock wrote:
I think your bisimulation is broken.
 
Counter factual.
This code has been fully operational for several years.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

olcott schrieb:
Claude.ai agrees that the halting problem as defined is a
category error.
>
https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a
>
This can only be directly seen within my notion of a
simulating halt decider. I used the Linz proof as my basis.
>
Sorrowfully Peter Linz passed away 2 days less than
one year ago on my Mom's birthday July 19, 2024.
>
 
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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