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 : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 21. Jul 2025, 13:30:22
Autres entêtes
Message-ID : <105lbst$2idvv$3@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.21
I think your bisimulation is broken.
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.
 

Date Sujet#  Auteur
17 Jul 25 * The halting problem as defined is a category error74olcott
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 Jul 25 +* Re: The halting problem as defined is a category error --- Flibble is correct47olcott
19 Jul15:42 i+* Re: The halting problem as defined is a category error --- Flibble is correct19olcott
19 Jul18:02 ii`* Re: The halting problem as defined is a category error --- Flibble is correct18Richard Damon
19 Jul20:19 ii `* Four Chatbots figure out on their own without prompting that HHH(DDD)==017olcott
20 Jul08:57 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 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]25olcott
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]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 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 Jul 25 +- 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 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