X-Received: by 2002:a05:622a:1750:b0:3f9:d266:7bc9 with SMTP id l16-20020a05622a175000b003f9d2667bc9mr5102534qtk.11.1687219805862; Mon, 19 Jun 2023 17:10:05 -0700 (PDT) X-Received: by 2002:a25:aa4b:0:b0:bec:9efe:1027 with SMTP id s69-20020a25aa4b000000b00bec9efe1027mr3303244ybi.8.1687219805606; Mon, 19 Jun 2023 17:10:05 -0700 (PDT) Path: csiph.com!1.us.feeder.erje.net!feeder.erje.net!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: sci.logic Date: Mon, 19 Jun 2023 17:10:05 -0700 (PDT) In-Reply-To: <87cz1rjcf8.fsf@bsb.me.uk> Injection-Info: google-groups.googlegroups.com; posting-host=79.206.206.253; posting-account=-75WZwoAAABL0f0-07Kn6tvNHWg7W9AE NNTP-Posting-Host: 79.206.206.253 References: <580d711a-afd0-4eae-b2bd-84b0126905d3n@googlegroups.com> <6a7076e8-79b9-49cb-8da9-dc538329cf89n@googlegroups.com> <87wmzzjjv6.fsf@bsb.me.uk> <87cz1rjcf8.fsf@bsb.me.uk> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9d57aa19-3ef6-4bb7-a5a4-a48ae2d7ea88n@googlegroups.com> Subject: Re: ChatGPT agrees that the halting problem input can be construed as an incorrect question From: Fritz Feldhase Injection-Date: Tue, 20 Jun 2023 00:10:05 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Lines: 12 Xref: csiph.com sci.logic:254670 On Tuesday, June 20, 2023 at 12:49:02=E2=80=AFAM UTC+2, Ben Bacarisse wrote= : > There are lots of reasons to engage. We all do it. My own motivation=20 > is usually to try to find out exactly how mad the crank's ideas are. It= =20 > can take years, but getting a clear statement of nonsense feels like a=20 > win to me.=20 My own "excuse" may be summarized by something Cantor stated: "I see it, bu= t I don't believe it!" ("Ich sehe es, aber ich glaube es nicht!=E2=80=9C) I guess it's just a personal weakness.